Sha256: 3b556bbd18e4fc611b351a78d40b44e96456c6d13af05533f3a5df422c5a8703

Contents?: true

Size: 768 Bytes

Versions: 19

Compression:

Stored size: 768 Bytes

Contents

require 'spec_helper'
module Finitio
  describe StructType, "equality" do

    let(:type1)  { StructType.new([intType, floatType]) }
    let(:type2)  { StructType.new([intType, floatType]) }
    let(:type3)  { StructType.new([floatType, intType]) }

    it 'should apply structural equality' do
      expect(type1 == type2).to eq(true)
      expect(type2 == type1).to eq(true)
    end

    it 'should apply distinguish different types' do
      expect(type1 == type3).to eq(false)
      expect(type2 == type3).to eq(false)
    end

    it 'should be a total function, with nil for non types' do
      expect(type1 == 12).to eq(false)
    end

    it 'should implement hash accordingly' do
      expect([type1, type2].map(&:hash).uniq.size).to eq(1)
    end

  end
end

Version data entries

19 entries across 19 versions & 1 rubygems

Version Path
finitio-0.12.0 spec/type/struct_type/test_equality.rb
finitio-0.11.4 spec/type/struct_type/test_equality.rb
finitio-0.11.3 spec/type/struct_type/test_equality.rb
finitio-0.11.2 spec/type/struct_type/test_equality.rb
finitio-0.11.1 spec/type/struct_type/test_equality.rb
finitio-0.10.0 spec/type/struct_type/test_equality.rb
finitio-0.9.1 spec/type/struct_type/test_equality.rb
finitio-0.9.0 spec/type/struct_type/test_equality.rb
finitio-0.8.0 spec/type/struct_type/test_equality.rb
finitio-0.7.0 spec/type/struct_type/test_equality.rb
finitio-0.7.0.pre.rc4 spec/type/struct_type/test_equality.rb
finitio-0.7.0.pre.rc3 spec/type/struct_type/test_equality.rb
finitio-0.7.0.pre.rc2 spec/type/struct_type/test_equality.rb
finitio-0.7.0.pre.rc1 spec/type/struct_type/test_equality.rb
finitio-0.6.1 spec/type/struct_type/test_equality.rb
finitio-0.6.0 spec/type/struct_type/test_equality.rb
finitio-0.5.2 spec/type/struct_type/test_equality.rb
finitio-0.5.1 spec/type/struct_type/test_equality.rb
finitio-0.5.0 spec/type/struct_type/test_equality.rb