finitio 0.7.0.pre.rc2 → 0.9.0

data/spec/type/union_type/test_suppremum.rb

@@ -0,0 +1,51 @@
+require 'spec_helper'
+module Finitio
+  describe UnionType, "suppremum" do
+
+    subject{
+      left.suppremum(right)
+    }
+
+    let(:left){
+      UnionType.new([intType, nilType])
+    }
+
+    context 'when right is not a union type' do
+      let(:right){
+        stringType
+      }
+
+      it 'works' do
+        expect(subject).to be_a(UnionType)
+        expect(subject.candidates).to eql(left.candidates + [right])
+      end
+    end
+
+    context 'when right is a union type' do
+      let(:right){
+        UnionType.new([stringType, nilType])
+      }
+
+      it 'works' do
+        expect(subject).to be_a(UnionType)
+        expect(subject.candidates).to eql([intType, nilType, stringType])
+      end
+    end
+
+    context 'when union type is on the right' do
+      let(:left){
+        stringType
+      }
+
+      let(:right){
+        UnionType.new([intType, nilType])
+      }
+
+      it 'works' do
+        expect(subject).to be_a(UnionType)
+        expect(subject.candidates).to eql([intType, nilType, stringType])
+      end
+    end
+
+  end
+end

data/tasks/test.rake

@@ -18,7 +18,7 @@ namespace :test do
     require 'cucumber/rake/task'
 
     Cucumber::Rake::Task.new(:cucumber) do |t|
-      t.cucumber_opts = "features --format pretty"
+      t.cucumber_opts = "features --format progress"
     end
   rescue LoadError => ex
     task :unit do

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: finitio
 version: !ruby/object:Gem::Version
-  version: 0.7.0.pre.rc2
+  version: 0.9.0
 platform: ruby
 authors:
 - Bernard Lambeau
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2019-02-21 00:00:00.000000000 Z
+date: 2020-12-16 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: citrus
@@ -50,6 +50,33 @@ files:
 - finitio.gemspec
 - lib/finitio.rb
 - lib/finitio/errors.rb
+- lib/finitio/generation.rb
+- lib/finitio/generation/ad_type.rb
+- lib/finitio/generation/alias_type.rb
+- lib/finitio/generation/any_type.rb
+- lib/finitio/generation/builtin_type.rb
+- lib/finitio/generation/hash_based_type.rb
+- lib/finitio/generation/heuristic.rb
+- lib/finitio/generation/heuristic/constant.rb
+- lib/finitio/generation/heuristic/random.rb
+- lib/finitio/generation/rel_based_type.rb
+- lib/finitio/generation/seq_type.rb
+- lib/finitio/generation/set_type.rb
+- lib/finitio/generation/sub_type.rb
+- lib/finitio/generation/union_type.rb
+- lib/finitio/inference.rb
+- lib/finitio/json_schema.rb
+- lib/finitio/json_schema/ad_type.rb
+- lib/finitio/json_schema/alias_type.rb
+- lib/finitio/json_schema/any_type.rb
+- lib/finitio/json_schema/builtin_type.rb
+- lib/finitio/json_schema/hash_based_type.rb
+- lib/finitio/json_schema/rel_based_type.rb
+- lib/finitio/json_schema/seq_type.rb
+- lib/finitio/json_schema/set_type.rb
+- lib/finitio/json_schema/struct_type.rb
+- lib/finitio/json_schema/sub_type.rb
+- lib/finitio/json_schema/union_type.rb
 - lib/finitio/stdlib/finitio/data.fio
 - lib/finitio/support.rb
 - lib/finitio/support/attribute.rb
@@ -57,8 +84,10 @@ files:
 - lib/finitio/support/constraint.rb
 - lib/finitio/support/contract.rb
 - lib/finitio/support/dress_helper.rb
+- lib/finitio/support/fetch_scope.rb
 - lib/finitio/support/heading.rb
 - lib/finitio/support/metadata.rb
+- lib/finitio/support/proc_with_code.rb
 - lib/finitio/support/type_factory.rb
 - lib/finitio/syntax.rb
 - lib/finitio/syntax/definitions.rb
@@ -99,6 +128,8 @@ files:
 - lib/finitio/syntax/type/external_pair.rb
 - lib/finitio/syntax/type/heading.rb
 - lib/finitio/syntax/type/heading_extra.rb
+- lib/finitio/syntax/type/high_order_type_instantiation.rb
+- lib/finitio/syntax/type/high_order_vars.rb
 - lib/finitio/syntax/type/inline_pair.rb
 - lib/finitio/syntax/type/lambda_expr.rb
 - lib/finitio/syntax/type/main_type.rb
@@ -125,6 +156,7 @@ files:
 - lib/finitio/type/collection_type.rb
 - lib/finitio/type/hash_based_type.rb
 - lib/finitio/type/heading_based_type.rb
+- lib/finitio/type/high_order_type.rb
 - lib/finitio/type/multi_relation_type.rb
 - lib/finitio/type/multi_tuple_type.rb
 - lib/finitio/type/proxy_type.rb
@@ -151,18 +183,37 @@ files:
 - spec/finitio/system.fio
 - spec/finitio/test_ast.rb
 - spec/finitio/test_parse.rb
+- spec/finitio/test_stdlib_memoization.rb
 - spec/finitio/test_system.rb
-- spec/finitio/with-duplicates.fio
+- spec/generation/test_generation.rb
 - spec/heading/test_allow_extra.rb
 - spec/heading/test_each.rb
 - spec/heading/test_equality.rb
 - spec/heading/test_hash.rb
 - spec/heading/test_hash_get.rb
 - spec/heading/test_initialize.rb
+- spec/heading/test_looks_similar.rb
 - spec/heading/test_multi.rb
 - spec/heading/test_size.rb
+- spec/heading/test_suppremum.rb
 - spec/heading/test_to_name.rb
+- spec/inference/test_inference.rb
+- spec/json_schema/test_ad_type.rb
+- spec/json_schema/test_alias_type.rb
+- spec/json_schema/test_any_type.rb
+- spec/json_schema/test_builtin_type.rb
+- spec/json_schema/test_multi_relation_type.rb
+- spec/json_schema/test_multi_tuple_type.rb
+- spec/json_schema/test_relation_type.rb
+- spec/json_schema/test_seq_type.rb
+- spec/json_schema/test_set_type.rb
+- spec/json_schema/test_struct_type.rb
+- spec/json_schema/test_sub_type.rb
+- spec/json_schema/test_tuple_type.rb
+- spec/json_schema/test_union_type.rb
 - spec/spec_helper.rb
+- spec/support/test_compare_attrs.rb
+- spec/support/test_proc_with_code.rb
 - spec/syntax/expr/test_free_variables.rb
 - spec/syntax/expr/test_to_proc_source.rb
 - spec/syntax/nodes/imported.fio
@@ -193,7 +244,10 @@ files:
 - spec/syntax/nodes/test_unnamed_constraint.rb
 - spec/syntax/test_compile.rb
 - spec/syntax/test_compile_type.rb
+- spec/system/fixtures/system.fio
+- spec/system/fixtures/with-duplicates.fio
 - spec/system/test_add_type.rb
+- spec/system/test_check_and_warn.rb
 - spec/system/test_dsl.rb
 - spec/system/test_dup.rb
 - spec/system/test_fetch.rb
@@ -232,26 +286,27 @@ files:
 - spec/type/multi_tuple_type/test_include.rb
 - spec/type/multi_tuple_type/test_initialize.rb
 - spec/type/multi_tuple_type/test_name.rb
-- spec/type/proxy_type/test_delegation.rb
-- spec/type/proxy_type/test_resolve.rb
 - spec/type/relation_type/test_default_name.rb
 - spec/type/relation_type/test_dress.rb
 - spec/type/relation_type/test_equality.rb
 - spec/type/relation_type/test_include.rb
 - spec/type/relation_type/test_initialize.rb
 - spec/type/relation_type/test_name.rb
+- spec/type/relation_type/test_suppremum.rb
 - spec/type/seq_type/test_default_name.rb
 - spec/type/seq_type/test_dress.rb
 - spec/type/seq_type/test_equality.rb
 - spec/type/seq_type/test_include.rb
 - spec/type/seq_type/test_initialize.rb
 - spec/type/seq_type/test_name.rb
+- spec/type/seq_type/test_suppremum.rb
 - spec/type/set_type/test_default_name.rb
 - spec/type/set_type/test_dress.rb
 - spec/type/set_type/test_equality.rb
 - spec/type/set_type/test_include.rb
 - spec/type/set_type/test_initialize.rb
 - spec/type/set_type/test_name.rb
+- spec/type/set_type/test_suppremum.rb
 - spec/type/struct_type/test_default_name.rb
 - spec/type/struct_type/test_dress.rb
 - spec/type/struct_type/test_equality.rb
@@ -264,18 +319,22 @@ files:
 - spec/type/sub_type/test_include.rb
 - spec/type/sub_type/test_initialize.rb
 - spec/type/sub_type/test_name.rb
+- spec/type/test_suppremum.rb
+- spec/type/test_unconstrained.rb
 - spec/type/tuple_type/test_default_name.rb
 - spec/type/tuple_type/test_dress.rb
 - spec/type/tuple_type/test_equality.rb
 - spec/type/tuple_type/test_include.rb
 - spec/type/tuple_type/test_initialize.rb
 - spec/type/tuple_type/test_name.rb
+- spec/type/tuple_type/test_suppremum.rb
 - spec/type/union_type/test_default_name.rb
 - spec/type/union_type/test_dress.rb
 - spec/type/union_type/test_equality.rb
 - spec/type/union_type/test_include.rb
 - spec/type/union_type/test_initialize.rb
 - spec/type/union_type/test_name.rb
+- spec/type/union_type/test_suppremum.rb
 - spec/type_factory/dsl/test_adt.rb
 - spec/type_factory/dsl/test_any.rb
 - spec/type_factory/dsl/test_attribute.rb
@@ -312,172 +371,198 @@ required_ruby_version: !ruby/object:Gem::Requirement
       version: '0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ">"
+  - - ">="
     - !ruby/object:Gem::Version
-      version: 1.3.1
+      version: '0'
 requirements: []
-rubyforge_project: 
-rubygems_version: 2.5.2
+rubygems_version: 3.1.2
 signing_key: 
 specification_version: 4
 summary: Finitio - in Ruby
 test_files:
-- spec/spec_helper.rb
-- spec/type_factory/factory/test_tuple_type.rb
-- spec/type_factory/factory/test_builtin.rb
-- spec/type_factory/factory/test_set_type.rb
-- spec/type_factory/factory/test_struct_type.rb
-- spec/type_factory/factory/test_sub_type.rb
-- spec/type_factory/factory/test_seq_type.rb
+- spec/inference/test_inference.rb
+- spec/json_schema/test_union_type.rb
+- spec/json_schema/test_alias_type.rb
+- spec/json_schema/test_builtin_type.rb
+- spec/json_schema/test_set_type.rb
+- spec/json_schema/test_multi_tuple_type.rb
+- spec/json_schema/test_sub_type.rb
+- spec/json_schema/test_relation_type.rb
+- spec/json_schema/test_multi_relation_type.rb
+- spec/json_schema/test_any_type.rb
+- spec/json_schema/test_ad_type.rb
+- spec/json_schema/test_seq_type.rb
+- spec/json_schema/test_tuple_type.rb
+- spec/json_schema/test_struct_type.rb
+- spec/syntax/nodes/test_system.rb
+- spec/syntax/nodes/test_union_type.rb
+- spec/syntax/nodes/test_constraints.rb
+- spec/syntax/nodes/test_builtin_type.rb
+- spec/syntax/nodes/test_set_type.rb
+- spec/syntax/nodes/test_unnamed_constraint.rb
+- spec/syntax/nodes/test_type_ref.rb
+- spec/syntax/nodes/test_constraint_def.rb
+- spec/syntax/nodes/imported.fio
+- spec/syntax/nodes/test_sub_type.rb
+- spec/syntax/nodes/test_contract.rb
+- spec/syntax/nodes/test_relation_type.rb
+- spec/syntax/nodes/test_attribute.rb
+- spec/syntax/nodes/test_any_type.rb
+- spec/syntax/nodes/test_spacing.rb
+- spec/syntax/nodes/test_import.rb
+- spec/syntax/nodes/test_metadata.rb
+- spec/syntax/nodes/test_ad_type.rb
+- spec/syntax/nodes/test_named_constraint.rb
+- spec/syntax/nodes/test_expression.rb
+- spec/syntax/nodes/test_seq_type.rb
+- spec/syntax/nodes/test_tuple_type.rb
+- spec/syntax/nodes/test_comment.rb
+- spec/syntax/nodes/test_type_def.rb
+- spec/syntax/nodes/test_struct_type.rb
+- spec/syntax/nodes/test_heading.rb
+- spec/syntax/test_compile.rb
+- spec/syntax/expr/test_free_variables.rb
+- spec/syntax/expr/test_to_proc_source.rb
+- spec/syntax/test_compile_type.rb
+- spec/support/test_proc_with_code.rb
+- spec/support/test_compare_attrs.rb
+- spec/type_factory/dsl/test_struct.rb
+- spec/type_factory/dsl/test_set.rb
 - spec/type_factory/dsl/test_attributes.rb
+- spec/type_factory/dsl/test_seq.rb
 - spec/type_factory/dsl/test_builtin.rb
+- spec/type_factory/dsl/test_multi_relation.rb
+- spec/type_factory/dsl/test_union.rb
 - spec/type_factory/dsl/test_adt.rb
+- spec/type_factory/dsl/test_attribute.rb
+- spec/type_factory/dsl/test_subtype.rb
 - spec/type_factory/dsl/test_multi_tuple.rb
-- spec/type_factory/dsl/test_seq.rb
-- spec/type_factory/dsl/test_multi_relation.rb
+- spec/type_factory/dsl/test_relation.rb
 - spec/type_factory/dsl/test_tuple.rb
-- spec/type_factory/dsl/test_set.rb
-- spec/type_factory/dsl/test_attribute.rb
 - spec/type_factory/dsl/test_any.rb
-- spec/type_factory/dsl/test_union.rb
-- spec/type_factory/dsl/test_struct.rb
-- spec/type_factory/dsl/test_relation.rb
-- spec/type_factory/dsl/test_subtype.rb
-- spec/attribute/test_initialize.rb
-- spec/attribute/test_equality.rb
-- spec/attribute/test_to_name.rb
-- spec/attribute/test_fetch_on.rb
-- spec/attribute/test_optional.rb
-- spec/attribute/test_required.rb
+- spec/type_factory/factory/test_set_type.rb
+- spec/type_factory/factory/test_sub_type.rb
+- spec/type_factory/factory/test_builtin.rb
+- spec/type_factory/factory/test_seq_type.rb
+- spec/type_factory/factory/test_tuple_type.rb
+- spec/type_factory/factory/test_struct_type.rb
 - spec/heading/test_hash_get.rb
+- spec/heading/test_multi.rb
+- spec/heading/test_to_name.rb
+- spec/heading/test_looks_similar.rb
+- spec/heading/test_each.rb
 - spec/heading/test_initialize.rb
+- spec/heading/test_size.rb
+- spec/heading/test_suppremum.rb
 - spec/heading/test_equality.rb
-- spec/heading/test_to_name.rb
-- spec/heading/test_multi.rb
 - spec/heading/test_hash.rb
 - spec/heading/test_allow_extra.rb
-- spec/heading/test_size.rb
-- spec/heading/test_each.rb
-- spec/test_finitio.rb
-- spec/finitio/test_ast.rb
-- spec/finitio/with-duplicates.fio
-- spec/finitio/system.fio
-- spec/finitio/test_system.rb
-- spec/finitio/test_parse.rb
-- spec/system/test_initialize.rb
-- spec/system/test_get_type.rb
-- spec/system/test_fetch.rb
+- spec/generation/test_generation.rb
 - spec/system/test_dup.rb
-- spec/system/test_add_type.rb
+- spec/system/fixtures/system.fio
+- spec/system/fixtures/with-duplicates.fio
 - spec/system/test_dsl.rb
-- spec/type/multi_relation_type/test_name.rb
-- spec/type/multi_relation_type/test_initialize.rb
-- spec/type/multi_relation_type/test_equality.rb
-- spec/type/multi_relation_type/test_include.rb
-- spec/type/multi_relation_type/test_default_name.rb
-- spec/type/multi_relation_type/test_dress.rb
-- spec/type/sub_type/test_name.rb
-- spec/type/sub_type/test_initialize.rb
-- spec/type/sub_type/test_equality.rb
-- spec/type/sub_type/test_include.rb
-- spec/type/sub_type/test_default_name.rb
-- spec/type/sub_type/test_dress.rb
-- spec/type/proxy_type/test_resolve.rb
-- spec/type/proxy_type/test_delegation.rb
-- spec/type/ad_type/test_name.rb
-- spec/type/ad_type/test_initialize.rb
-- spec/type/ad_type/test_include.rb
-- spec/type/ad_type/test_default_name.rb
-- spec/type/ad_type/test_dress.rb
-- spec/type/struct_type/test_name.rb
-- spec/type/struct_type/test_initialize.rb
-- spec/type/struct_type/test_equality.rb
-- spec/type/struct_type/test_include.rb
-- spec/type/struct_type/test_default_name.rb
-- spec/type/struct_type/test_dress.rb
-- spec/type/set_type/test_name.rb
+- spec/system/test_initialize.rb
+- spec/system/test_add_type.rb
+- spec/system/test_check_and_warn.rb
+- spec/system/test_fetch.rb
+- spec/system/test_get_type.rb
+- spec/test_finitio.rb
+- spec/spec_helper.rb
+- spec/type/union_type/test_dress.rb
+- spec/type/union_type/test_default_name.rb
+- spec/type/union_type/test_initialize.rb
+- spec/type/union_type/test_suppremum.rb
+- spec/type/union_type/test_include.rb
+- spec/type/union_type/test_equality.rb
+- spec/type/union_type/test_name.rb
+- spec/type/set_type/test_dress.rb
+- spec/type/set_type/test_default_name.rb
 - spec/type/set_type/test_initialize.rb
-- spec/type/set_type/test_equality.rb
+- spec/type/set_type/test_suppremum.rb
 - spec/type/set_type/test_include.rb
-- spec/type/set_type/test_default_name.rb
-- spec/type/set_type/test_dress.rb
-- spec/type/relation_type/test_name.rb
-- spec/type/relation_type/test_initialize.rb
-- spec/type/relation_type/test_equality.rb
-- spec/type/relation_type/test_include.rb
-- spec/type/relation_type/test_default_name.rb
-- spec/type/relation_type/test_dress.rb
-- spec/type/any_type/test_name.rb
-- spec/type/any_type/test_initialize.rb
-- spec/type/any_type/test_equality.rb
-- spec/type/any_type/test_include.rb
-- spec/type/any_type/test_default_name.rb
-- spec/type/any_type/test_dress.rb
-- spec/type/builtin_type/test_name.rb
+- spec/type/set_type/test_equality.rb
+- spec/type/set_type/test_name.rb
+- spec/type/alias_type/test_default_name.rb
+- spec/type/alias_type/test_delegation.rb
+- spec/type/alias_type/test_name.rb
+- spec/type/multi_tuple_type/test_dress.rb
+- spec/type/multi_tuple_type/test_default_name.rb
+- spec/type/multi_tuple_type/test_initialize.rb
+- spec/type/multi_tuple_type/test_include.rb
+- spec/type/multi_tuple_type/test_equality.rb
+- spec/type/multi_tuple_type/test_name.rb
+- spec/type/struct_type/test_dress.rb
+- spec/type/struct_type/test_default_name.rb
+- spec/type/struct_type/test_initialize.rb
+- spec/type/struct_type/test_include.rb
+- spec/type/struct_type/test_equality.rb
+- spec/type/struct_type/test_name.rb
+- spec/type/builtin_type/test_dress.rb
+- spec/type/builtin_type/test_default_name.rb
 - spec/type/builtin_type/test_initialize.rb
-- spec/type/builtin_type/test_equality.rb
 - spec/type/builtin_type/test_include.rb
-- spec/type/builtin_type/test_default_name.rb
-- spec/type/builtin_type/test_dress.rb
-- spec/type/union_type/test_name.rb
-- spec/type/union_type/test_initialize.rb
-- spec/type/union_type/test_equality.rb
-- spec/type/union_type/test_include.rb
-- spec/type/union_type/test_default_name.rb
-- spec/type/union_type/test_dress.rb
-- spec/type/tuple_type/test_name.rb
+- spec/type/builtin_type/test_equality.rb
+- spec/type/builtin_type/test_name.rb
+- spec/type/multi_relation_type/test_dress.rb
+- spec/type/multi_relation_type/test_default_name.rb
+- spec/type/multi_relation_type/test_initialize.rb
+- spec/type/multi_relation_type/test_include.rb
+- spec/type/multi_relation_type/test_equality.rb
+- spec/type/multi_relation_type/test_name.rb
+- spec/type/any_type/test_dress.rb
+- spec/type/any_type/test_default_name.rb
+- spec/type/any_type/test_initialize.rb
+- spec/type/any_type/test_include.rb
+- spec/type/any_type/test_equality.rb
+- spec/type/any_type/test_name.rb
+- spec/type/relation_type/test_dress.rb
+- spec/type/relation_type/test_default_name.rb
+- spec/type/relation_type/test_initialize.rb
+- spec/type/relation_type/test_suppremum.rb
+- spec/type/relation_type/test_include.rb
+- spec/type/relation_type/test_equality.rb
+- spec/type/relation_type/test_name.rb
+- spec/type/test_unconstrained.rb
+- spec/type/tuple_type/test_dress.rb
+- spec/type/tuple_type/test_default_name.rb
 - spec/type/tuple_type/test_initialize.rb
-- spec/type/tuple_type/test_equality.rb
+- spec/type/tuple_type/test_suppremum.rb
 - spec/type/tuple_type/test_include.rb
-- spec/type/tuple_type/test_default_name.rb
-- spec/type/tuple_type/test_dress.rb
-- spec/type/alias_type/test_name.rb
-- spec/type/alias_type/test_default_name.rb
-- spec/type/alias_type/test_delegation.rb
-- spec/type/seq_type/test_name.rb
+- spec/type/tuple_type/test_equality.rb
+- spec/type/tuple_type/test_name.rb
+- spec/type/sub_type/test_dress.rb
+- spec/type/sub_type/test_default_name.rb
+- spec/type/sub_type/test_initialize.rb
+- spec/type/sub_type/test_include.rb
+- spec/type/sub_type/test_equality.rb
+- spec/type/sub_type/test_name.rb
+- spec/type/seq_type/test_dress.rb
+- spec/type/seq_type/test_default_name.rb
 - spec/type/seq_type/test_initialize.rb
-- spec/type/seq_type/test_equality.rb
+- spec/type/seq_type/test_suppremum.rb
 - spec/type/seq_type/test_include.rb
-- spec/type/seq_type/test_default_name.rb
-- spec/type/seq_type/test_dress.rb
-- spec/type/multi_tuple_type/test_name.rb
-- spec/type/multi_tuple_type/test_initialize.rb
-- spec/type/multi_tuple_type/test_equality.rb
-- spec/type/multi_tuple_type/test_include.rb
-- spec/type/multi_tuple_type/test_default_name.rb
-- spec/type/multi_tuple_type/test_dress.rb
-- spec/syntax/nodes/test_tuple_type.rb
-- spec/syntax/nodes/test_set_type.rb
-- spec/syntax/nodes/test_union_type.rb
-- spec/syntax/nodes/test_heading.rb
-- spec/syntax/nodes/test_builtin_type.rb
-- spec/syntax/nodes/imported.fio
-- spec/syntax/nodes/test_import.rb
-- spec/syntax/nodes/test_constraints.rb
-- spec/syntax/nodes/test_type_ref.rb
-- spec/syntax/nodes/test_system.rb
-- spec/syntax/nodes/test_attribute.rb
-- spec/syntax/nodes/test_contract.rb
-- spec/syntax/nodes/test_named_constraint.rb
-- spec/syntax/nodes/test_metadata.rb
-- spec/syntax/nodes/test_type_def.rb
-- spec/syntax/nodes/test_struct_type.rb
-- spec/syntax/nodes/test_sub_type.rb
-- spec/syntax/nodes/test_any_type.rb
-- spec/syntax/nodes/test_constraint_def.rb
-- spec/syntax/nodes/test_ad_type.rb
-- spec/syntax/nodes/test_expression.rb
-- spec/syntax/nodes/test_relation_type.rb
-- spec/syntax/nodes/test_spacing.rb
-- spec/syntax/nodes/test_comment.rb
-- spec/syntax/nodes/test_seq_type.rb
-- spec/syntax/nodes/test_unnamed_constraint.rb
-- spec/syntax/expr/test_to_proc_source.rb
-- spec/syntax/expr/test_free_variables.rb
-- spec/syntax/test_compile.rb
-- spec/syntax/test_compile_type.rb
-- spec/constraint/test_name.rb
-- spec/constraint/test_equality.rb
-- spec/constraint/test_anonymous.rb
+- spec/type/seq_type/test_equality.rb
+- spec/type/seq_type/test_name.rb
+- spec/type/test_suppremum.rb
+- spec/type/ad_type/test_dress.rb
+- spec/type/ad_type/test_default_name.rb
+- spec/type/ad_type/test_initialize.rb
+- spec/type/ad_type/test_include.rb
+- spec/type/ad_type/test_name.rb
+- spec/finitio/test_system.rb
+- spec/finitio/test_stdlib_memoization.rb
+- spec/finitio/system.fio
+- spec/finitio/test_parse.rb
+- spec/finitio/test_ast.rb
+- spec/attribute/test_to_name.rb
+- spec/attribute/test_required.rb
+- spec/attribute/test_initialize.rb
+- spec/attribute/test_fetch_on.rb
+- spec/attribute/test_optional.rb
+- spec/attribute/test_equality.rb
 - spec/constraint/test_named.rb
+- spec/constraint/test_anonymous.rb
+- spec/constraint/test_equality.rb
 - spec/constraint/test_triple_equal.rb
+- spec/constraint/test_name.rb