finitio 0.11.4 → 0.12.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
-SHA1:
-  metadata.gz: 29fd883abee1e98b436a1c8aa80ee32ffc9740dc
-  data.tar.gz: 9aa135c687855dbdfb6a52e245d21c3488ef0128
+SHA256:
+  metadata.gz: 92c67dd32e89dd6c4597b4a8456572bb1a5b3de07bdf58e88bcb9dc3f0874462
+  data.tar.gz: 4ecd7898e477113040613415f9bc2cc8f23bc3605d0f71a3ccaefbbe1eaf31ff
 SHA512:
-  metadata.gz: 0af6653c37bc1fdb2e5aeef7f0d43e70f92d967658219b638c58a8039b975460f64ab80339d7d727aed716175cc722614973e387c5720315868bd6b8a6d1fc7c
-  data.tar.gz: ef96c4bd3a7f4910b83acab224940afe7a1885be98eeddf5ce8542c0037d0c702da98e372f55a42638cb7cef3cfbf9394dd8c0d162daace35c6731e86083c061
+  metadata.gz: eb3042b639a82d469bb760807e6c94e1f70c39a3249420d30e339d5f004048e8abe6026de3b3b834e3703f88b3dd10a6d2937abdba5a183444af13609cc150b5
+  data.tar.gz: f44c30f37848ad1e0b8344487cc0f0353ad694ce31c535ff6dd4ae02e903bebc92d11b29ac78ae0aa7d21f7bce6ba3fbd7ecdceb2cb6d14aa4bd3f9d6fb5164a

data/CHANGELOG.md

@@ -1,4 +1,12 @@
-# 0.11.4 - 2023/01/06
+## 0.12.0 - 2023/05/23
+
+* Remove support for ruby < 2.6
+
+* Remove support for .Fixnum and .Bignum, .Integer is now used
+  everywhere. To ease the transition, Fixum and Bignum still exist
+  in the finitio/data stdlib schema, but will be removed in 0.13.x
+
+## 0.11.4 - 2023/01/06
 
 * The proxy resolution is fixed and clarified. When compiling
   a system, all proxies are actually replaced by their actual
@@ -13,27 +21,27 @@
 * Generated names of instantiated high order types are better
   (e.g. Collection<String>).
 
-# 0.11.3 - 2023/01/06
+## 0.11.3 - 2023/01/06
 
 * Fix json_schema generation on unresolved ProxyTypes. We use
   "object" by default, waiting for a better support for recursive
   types.
 
-# 0.11.2 - 2023/01/06
+## 0.11.2 - 2023/01/06
 
 * Fix json_schema generation on builtin_type NilClass. "null"
   is not a valid value, we now use "string" instead.
 
-# 0.11.1 - 2021/12/09
+## 0.11.1 - 2021/12/09
 
 * Fix github actions and extend test grid.
 
-# 0.11.0 - 2021/12/09
+## 0.11.0 - 2021/12/09
 
 * Fix json schema generation of Boolean and union types with a |Nil
 * Add support for dashses in attribute names (tuple & relation types).
 
-# 0.10.0 - 2021/01/11
+## 0.10.0 - 2021/01/11
 
 * Upgrade all dependencies.
 
@@ -41,18 +49,18 @@
 
 * Fix code and build under Ruby 3.0.
 
-# 0.9.1 - 2020/12/24
+## 0.9.1 - 2020/12/24
 
 * Fixes a bug where proxy types are not properly resolved when used
   in a heading extra, e.g. `{ ...: Proxy }`
 
-# 0.9.0 - 2020/12/16
+## 0.9.0 - 2020/12/16
 
 * Add Type#to_json_schema that converts Finitio types to JSON schema
   representations. This first implementation skips all constraints on sub types,
   though. You need to explicitly require 'finitio/json_schema' to use it.
 
-# 0.8.0 - 2019/10/21
+## 0.8.0 - 2019/10/21
 
 * Add `Type#unconstrained` that returns a super type with all user specific
   constraints removed on sub types, recursively on all non scalar types.
@@ -62,7 +70,7 @@
 * Add support for random data generation through `Finitio::Generation`.
   Please `require 'finitio/generation'` to use it.
 
-# 0.7.0 / 2019-02-28
+## 0.7.0 / 2019-02-28
 
 * Implement (basic) @import feature, working with relative paths
   and a standard library. The standard library systems are memoized
@@ -75,28 +83,28 @@
 * WARN: Finitio::DEFAULT_SYSTEM is deprecated. Use @import
   finitio/data instead.
 
-# 0.6.1 / 2018-03-23
+## 0.6.1 / 2018-03-23
 
 * Fix support for typed extra attributes, a KeyError was raised when
   keys were Symbols and not Strings.
 
-# 0.6.0 / 2018-02-17
+## 0.6.0 / 2018-02-17
 
 * Add support for typed extra attributes, e.g. { ...: Integer }
 
-# 0.5.2 / 2017-01-08
+## 0.5.2 / 2017-01-08
 
 * Disable memoization in parser because it leads to terrible performance
   issues on some schemas.
 * Avoid alternatives on high-level rules (Union, SubType) to prevent many
   fallbacks that kill performance without memoization enabled.
 
-# 0.5.1 / 2015-09-22
+## 0.5.1 / 2015-09-22
 
 * Enabled memoization in parser to avoid very long parsing time on complex
   schemas.
 
-# 0.5.0 / 2015-09-18
+## 0.5.0 / 2015-09-18
 
 * Breaking changes on public API
 
@@ -162,29 +170,29 @@
   * Make Finitio compatible with both Citrus 2.4.x and Citrus 3.x
   * Fixed parsing of constraint expressions having inner parentheses
 
-# 0.4.1 / 2014-03-20
+## 0.4.1 / 2014-03-20
 
 * Fixed access to the default system that lead to 'Unknown system
   Finitio/default (Finitio::Error)'
 
-# 0.4.0 / 2014-03-20
+## 0.4.0 / 2014-03-20
 
 * Finitio(-rb) is born from the sources of Q(rb) 0.3.0
 * Finitio.parse now recognizes Path-like objects (responding to :to_path),
   allowing to parse files directly (through Pathname, Path, etc.).
 
-# 0.3.0 / 2014-03-09
+## 0.3.0 / 2014-03-09
 
 * Added AnyType abstraction, aka '.'
 * Added support for external contracts in ADTs
 * Added support for extracting an Abstract Syntax Tree from parsing result
 * Allows camelCasing in constraint names
 
-# 0.2.0 / 2014-03-04
+## 0.2.0 / 2014-03-04
 
 * Fix dependencies in gemspec (judofyr)
 
-# 0.1.0 / 2014-03-03
+## 0.1.0 / 2014-03-03
 
 * Enhancements
 

data/Gemfile.lock

@@ -1,21 +1,21 @@
 PATH
   remote: .
   specs:
-    finitio (0.11.4)
+    finitio (0.12.0)
       citrus (>= 3.0, < 4.0)
 
 GEM
   remote: https://rubygems.org/
   specs:
-    activesupport (5.2.8.1)
+    activesupport (7.0.4.3)
       concurrent-ruby (~> 1.0, >= 1.0.2)
-      i18n (>= 0.7, < 2)
-      minitest (~> 5.1)
-      tzinfo (~> 1.1)
+      i18n (>= 1.6, < 2)
+      minitest (>= 5.1)
+      tzinfo (~> 2.0)
     awesome_print (1.9.2)
     builder (3.2.4)
     citrus (3.0.2)
-    concurrent-ruby (1.1.10)
+    concurrent-ruby (1.2.2)
     coveralls (0.8.23)
       json (>= 1.8, < 3)
       simplecov (~> 0.16.1)
@@ -54,16 +54,16 @@ GEM
       cucumber-cucumber-expressions (~> 10.1, >= 10.1.0)
       cucumber-messages (~> 12.2, >= 12.2.0)
     diff-lcs (1.3)
-    docile (1.3.5)
+    docile (1.4.0)
     ffi (1.15.5)
-    i18n (1.12.0)
+    i18n (1.13.0)
       concurrent-ruby (~> 1.0)
     json (2.6.3)
     middleware (0.1.0)
-    minitest (5.15.0)
+    minitest (5.18.0)
     multi_json (1.15.0)
     multi_test (0.1.2)
-    path (2.0.1)
+    path (2.1.0)
     protobuf-cucumber (3.10.8)
       activesupport (>= 3.2)
       middleware
@@ -74,12 +74,12 @@ GEM
       rspec-core (~> 3.12.0)
       rspec-expectations (~> 3.12.0)
       rspec-mocks (~> 3.12.0)
-    rspec-core (3.12.0)
+    rspec-core (3.12.2)
       rspec-support (~> 3.12.0)
-    rspec-expectations (3.12.1)
+    rspec-expectations (3.12.3)
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.12.0)
-    rspec-mocks (3.12.1)
+    rspec-mocks (3.12.5)
       diff-lcs (>= 1.2.0, < 2.0)
       rspec-support (~> 3.12.0)
     rspec-support (3.12.0)
@@ -89,16 +89,16 @@ GEM
       simplecov-html (~> 0.10.0)
     simplecov-html (0.10.2)
     sync (0.5.0)
-    sys-uname (1.2.2)
+    sys-uname (1.2.3)
       ffi (~> 1.1)
     term-ansicolor (1.7.1)
       tins (~> 1.0)
-    thor (1.2.1)
+    thor (1.2.2)
     thread_safe (0.3.6)
     tins (1.32.1)
       sync
-    tzinfo (1.2.10)
-      thread_safe (~> 0.1)
+    tzinfo (2.0.6)
+      concurrent-ruby (~> 1.0)
 
 PLATFORMS
   x86_64-linux
@@ -109,7 +109,7 @@ DEPENDENCIES
   cucumber (~> 4.1)
   finitio!
   multi_json (~> 1.15)
-  path (>= 2.0, < 3.0)
+  path (>= 2.1, < 3.0)
   rake (~> 13.0)
   rspec (~> 3.0)
 

data/finitio.gemspec

@@ -19,13 +19,13 @@ Gem::Specification.new do |s|
   s.test_files = Dir["test/**/*"] + Dir["spec/**/*"]
   s.bindir = "bin"
   s.executables = (Dir["bin/*"]).collect{|f| File.basename(f)}
-  
+
   s.add_dependency("citrus", ">= 3.0", "< 4.0")
-  
+
   s.add_development_dependency("rake", "~> 13.0")
   s.add_development_dependency("rspec", "~> 3.0")
   s.add_development_dependency("cucumber", "~> 4.1")
-  s.add_development_dependency("path", ">= 2.0", "< 3.0")
+  s.add_development_dependency("path", ">= 2.1", "< 3.0")
   s.add_development_dependency("awesome_print", "~> 1.8")
   s.add_development_dependency("coveralls", "~> 0.8")
   s.add_development_dependency("multi_json", "~> 1.15")

data/lib/finitio/json_schema/builtin_type.rb

@@ -5,8 +5,6 @@ module Finitio
       NilClass => "string", # jsonapi does not support null
       String => "string",
       Integer => "integer",
-      Fixnum => "integer",
-      Bignum => "integer",
       Float => "number",
       Numeric => "number",
       TrueClass => "boolean",

data/lib/finitio/stdlib/finitio/data.fio

@@ -11,8 +11,8 @@ Boolean    = .TrueClass|.FalseClass
 
 # Numbers
 Numeric = .Numeric
-Fixnum  = .Fixnum
-Bignum  = .Bignum
+Fixnum = .Integer
+Bignum = .Integer
 Integer = .Integer
 Float   = .Float
 Real    = .Float

data/lib/finitio/type/ad_type.rb

@@ -30,7 +30,7 @@ module Finitio
   #     rgb_infotype  = TupleType.new(...)
   #
   #     # The RGB contract converter, an object that responds to `call` to
-  #     # convert from a valid Hash[r: Fixnum, ...] to a ColorImpl instance.
+  #     # convert from a valid Hash[r: Integer, ...] to a ColorImpl instance.
   #     rgb_contract = ...
   #
   #     AdType.new(ColorImpl, rgb: [rgb_infotype, rgb_contract], hex: ...)

data/lib/finitio/type/builtin_type.rb

@@ -3,21 +3,21 @@ module Finitio
   # A BuiltinType generator allows capuring an information type to a type of
   # the host language, here a Ruby class. For instance,
   #
-  #     Int := BuiltinType(ruby.Fixnum)
+  #     Int := BuiltinType(ruby.Integer)
   #
   # The set of values captured by the information type is the same set of
   # values that can be represented by the host type. In the example, `Int`
-  # captures the same set of numbers as ruby's Fixnum.
+  # captures the same set of numbers as ruby's Integer.
   #
   # The ruby class is used as concrete representation of the information type.
   # In the example:
   #
-  #     R(Int) = Fixnum
+  #     R(Int) = Integer
   #
   # Accordingly, the `dress` transformation function has the following signature:
   #
   #     dress :: Alpha  -> Int    throws TypeError
-  #     dress :: Object -> Fixnum throws TypeError
+  #     dress :: Object -> Integer throws TypeError
   #
   class BuiltinType < Type
 

data/lib/finitio/type/struct_type.rb

@@ -8,7 +8,7 @@ module Finitio
   #
   # This class allows capturing those information types, as in:
   #
-  #     Length = BuiltinType.new(Fixnum)
+  #     Length = BuiltinType.new(Integer)
   #     Angle  = BuiltinType.new(Float)
   #     Point  = StructType.new([Length, Angle])
   #
@@ -16,7 +16,7 @@ module Finitio
   # values map to the concrete representations of each component type:
   #
   #     R(Point) = Array[R(Length) ^ R(Angle)]
-  #              = Array[Fixnum ^ Float]
+  #              = Array[Integer ^ Float]
   #              = Array[Numeric]
   #
   # where `^` denotes the `least common super type` operator on ruby classes.

data/lib/finitio/type/sub_type.rb

@@ -18,12 +18,12 @@ module Finitio
   # The concrete representation of the super type is kept as representation
   # of the sub type. In other words:
   #
-  #     R(Byte) = R(Int) = Fixnum
+  #     R(Byte) = R(Int) = Integer
   #
   # Accordingly, the `dress` transformation function has the following signature:
   #
   #     dress :: Alpha  -> Byte   throws TypeError
-  #     dress :: Object -> Fixnum throws TypeError
+  #     dress :: Object -> Integer throws TypeError
   #
   class SubType < Type
 

data/lib/finitio/type/tuple_type.rb

@@ -7,7 +7,7 @@ module Finitio
   #
   # This class allows capturing those information types, as in:
   #
-  #     Length = BuiltinType.new(Fixnum)
+  #     Length = BuiltinType.new(Integer)
   #     Angle  = BuiltinType.new(Float)
   #     Point  = TupleType.new(Heading.new([
   #                Attribute.new(:r, Length),
@@ -19,7 +19,7 @@ module Finitio
   # type:
   #
   #     R(Point) = Hash[r: R(Length), theta: R(Angle)]
-  #              = Hash[r: Fixnum, theta: Float]
+  #              = Hash[r: Integer, theta: Float]
   #
   # Accordingly, the `dress` transformation function has the signature below.
   # It expects it's Alpha/Object argument to be a Hash with all and only the
@@ -27,7 +27,7 @@ module Finitio
   # applies on every attribute value according to their respective type.
   #
   #     dress :: Alpha  -> Point                         throws TypeError
-  #     dress :: Object -> Hash[r: Fixnum, theta: Float] throws TypeError
+  #     dress :: Object -> Hash[r: Integer, theta: Float] throws TypeError
   #
   class TupleType < Type
     include HeadingBasedType

data/lib/finitio/type/union_type.rb

@@ -8,7 +8,7 @@ module Finitio
   #
   # This class allows capturing such union types, as follows:
   #
-  #     Int     = BuiltinType.new(Fixnum)
+  #     Int     = BuiltinType.new(Integer)
   #     Real    = BuiltinType.new(Float)
   #     Numeric = UnionType.new([ Int, Real ])
   #
@@ -17,7 +17,7 @@ module Finitio
   # value ends the process and the value is simply returned. Accordingly,
   # the concrete representation will be
   #
-  #     R(Numeric) = R(Int) ^ R(Real) = Fixnum ^ Float = Numeric
+  #     R(Numeric) = R(Int) ^ R(Real) = Integer ^ Float = Numeric
   #
   # where `^` denotes the `least common super type` operator on ruby classes.
   #

data/lib/finitio/version.rb

@@ -2,8 +2,8 @@ module Finitio
   module Version
 
     MAJOR = 0
-    MINOR = 11
-    TINY  = 4
+    MINOR = 12
+    TINY  = 0
 
     def self.to_s
       [ MAJOR, MINOR, TINY ].join('.')

data/spec/finitio/test_ast.rb

@@ -3,7 +3,7 @@ describe Finitio, "ast" do
 
   subject{
     Finitio.ast <<-EOF
-      Posint = .Fixnum( i | i>=0 )
+      Posint = .Integer( i | i>=0 )
       Point  = { x: Posint, y: Posint }
       {{ p: Point }}
     EOF
@@ -14,7 +14,7 @@ describe Finitio, "ast" do
       [ :type_def,
         "Posint",
         [ :sub_type,
-          [:builtin_type, "Fixnum"],
+          [:builtin_type, "Integer"],
           [ :constraint,
             "default",
             [:fn, [:parameters, "i"], [:source, "i>=0"] ]

data/spec/finitio/test_parse.rb

@@ -4,7 +4,7 @@ describe Finitio, "parse" do
   context 'with a string' do
     subject{
       Finitio.parse <<-EOF
-        Posint = .Fixnum( i | i>=0 )
+        Posint = .Integer( i | i>=0 )
         Point  = { x: Posint, y: Posint }
       EOF
     }

data/spec/finitio/test_system.rb

@@ -4,7 +4,7 @@ describe Finitio, "system" do
   context 'with a string' do
     subject{
       Finitio.system <<-EOF
-        Posint = .Fixnum( i | i>=0 )
+        Posint = .Integer( i | i>=0 )
         Point  = { x: Posint, y: Posint }
       EOF
     }

data/spec/json_schema/test_builtin_type.rb

@@ -26,13 +26,11 @@ module Finitio
         end
       end
 
-      [Fixnum, Bignum, Integer].each do |rt|
-        context "with #{rt}" do
-          let(:ruby_type){ rt }
+      context "with Integer" do
+        let(:ruby_type){ Integer }
 
-          it 'works' do
-            expect(subject).to eql({ type: "integer" })
-          end
+        it 'works' do
+          expect(subject).to eql({ type: "integer" })
         end
       end
 

data/spec/type_factory/factory/test_sub_type.rb

@@ -8,9 +8,9 @@ module Finitio
 
       it{ should be_a(SubType) }
 
-      it 'should have the BuiltinType(Fixnum) super type' do
+      it 'should have the BuiltinType(Integer) super type' do
         expect(subject.super_type).to be_a(BuiltinType)
-        expect(subject.super_type.ruby_type).to be(Fixnum)
+        expect(subject.super_type.ruby_type).to be(Integer)
       end
 
       it 'should have the correct constraint' do
@@ -22,7 +22,7 @@ module Finitio
 
     context 'when use with a ruby class and a block' do
       subject{
-        factory.type(Fixnum){|i| i>=0 and i<=10 }
+        factory.type(Integer){|i| i>=0 and i<=10 }
       }
 
       it_should_behave_like "The 1..10 type"

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: finitio
 version: !ruby/object:Gem::Version
-  version: 0.11.4
+  version: 0.12.0
 platform: ruby
 authors:
 - Bernard Lambeau
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2023-01-07 00:00:00.000000000 Z
+date: 2023-05-23 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: citrus
@@ -78,7 +78,7 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '2.0'
+        version: '2.1'
     - - "<"
       - !ruby/object:Gem::Version
         version: '3.0'
@@ -88,7 +88,7 @@ dependencies:
     requirements:
     - - ">="
       - !ruby/object:Gem::Version
-        version: '2.0'
+        version: '2.1'
     - - "<"
       - !ruby/object:Gem::Version
         version: '3.0'
@@ -486,199 +486,198 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubyforge_project: 
-rubygems_version: 2.6.14.4
+rubygems_version: 3.3.26
 signing_key: 
 specification_version: 4
 summary: Finitio - in Ruby
 test_files:
-- spec/regression/test_dress_on_recursive_type.rb
-- spec/regression/test_name_of_generic_types.rb
-- spec/regression/test_heading_extra_are_proxy_resolved.rb
-- spec/test_finitio.rb
-- spec/constraint/test_named.rb
+- spec/attribute/test_equality.rb
+- spec/attribute/test_fetch_on.rb
+- spec/attribute/test_initialize.rb
+- spec/attribute/test_optional.rb
+- spec/attribute/test_required.rb
+- spec/attribute/test_to_name.rb
 - spec/constraint/test_anonymous.rb
 - spec/constraint/test_equality.rb
 - spec/constraint/test_name.rb
+- spec/constraint/test_named.rb
 - spec/constraint/test_triple_equal.rb
+- 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/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/type_factory/factory/test_tuple_type.rb
-- spec/type_factory/factory/test_set_type.rb
-- spec/type_factory/factory/test_builtin.rb
-- spec/type_factory/factory/test_sub_type.rb
-- spec/type_factory/factory/test_seq_type.rb
-- spec/type_factory/factory/test_struct_type.rb
-- spec/type_factory/dsl/test_subtype.rb
-- spec/type_factory/dsl/test_any.rb
-- spec/type_factory/dsl/test_attributes.rb
-- spec/type_factory/dsl/test_tuple.rb
-- spec/type_factory/dsl/test_union.rb
-- spec/type_factory/dsl/test_builtin.rb
-- spec/type_factory/dsl/test_multi_tuple.rb
-- spec/type_factory/dsl/test_relation.rb
-- spec/type_factory/dsl/test_set.rb
-- spec/type_factory/dsl/test_struct.rb
-- spec/type_factory/dsl/test_seq.rb
-- spec/type_factory/dsl/test_multi_relation.rb
-- spec/type_factory/dsl/test_adt.rb
-- spec/type_factory/dsl/test_attribute.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_recursive_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/regression/test_dress_on_recursive_type.rb
+- spec/regression/test_heading_extra_are_proxy_resolved.rb
+- spec/regression/test_name_of_generic_types.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
+- spec/syntax/nodes/test_ad_type.rb
+- spec/syntax/nodes/test_any_type.rb
+- spec/syntax/nodes/test_attribute.rb
+- spec/syntax/nodes/test_builtin_type.rb
+- spec/syntax/nodes/test_comment.rb
+- spec/syntax/nodes/test_constraint_def.rb
+- spec/syntax/nodes/test_constraints.rb
+- spec/syntax/nodes/test_contract.rb
+- spec/syntax/nodes/test_expression.rb
+- spec/syntax/nodes/test_heading.rb
+- spec/syntax/nodes/test_import.rb
+- spec/syntax/nodes/test_metadata.rb
+- spec/syntax/nodes/test_named_constraint.rb
+- spec/syntax/nodes/test_relation_type.rb
+- spec/syntax/nodes/test_seq_type.rb
+- spec/syntax/nodes/test_set_type.rb
+- spec/syntax/nodes/test_spacing.rb
+- spec/syntax/nodes/test_struct_type.rb
+- spec/syntax/nodes/test_sub_type.rb
+- spec/syntax/nodes/test_system.rb
+- spec/syntax/nodes/test_tuple_type.rb
+- spec/syntax/nodes/test_type_def.rb
+- spec/syntax/nodes/test_type_ref.rb
+- spec/syntax/nodes/test_union_type.rb
+- 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
+- spec/system/test_get_type.rb
+- spec/system/test_initialize.rb
+- spec/test_finitio.rb
+- spec/type/ad_type/test_default_name.rb
+- spec/type/ad_type/test_dress.rb
+- spec/type/ad_type/test_include.rb
+- spec/type/ad_type/test_initialize.rb
+- spec/type/ad_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/alias_type/test_default_name.rb
-- spec/type/struct_type/test_include.rb
-- spec/type/struct_type/test_dress.rb
-- spec/type/struct_type/test_equality.rb
-- spec/type/struct_type/test_name.rb
-- spec/type/struct_type/test_default_name.rb
-- spec/type/struct_type/test_initialize.rb
-- spec/type/relation_type/test_include.rb
+- spec/type/any_type/test_default_name.rb
+- spec/type/any_type/test_dress.rb
+- spec/type/any_type/test_equality.rb
+- spec/type/any_type/test_include.rb
+- spec/type/any_type/test_initialize.rb
+- spec/type/any_type/test_name.rb
+- spec/type/builtin_type/test_default_name.rb
+- spec/type/builtin_type/test_dress.rb
+- spec/type/builtin_type/test_equality.rb
+- spec/type/builtin_type/test_include.rb
+- spec/type/builtin_type/test_initialize.rb
+- spec/type/builtin_type/test_name.rb
+- spec/type/multi_relation_type/test_default_name.rb
+- spec/type/multi_relation_type/test_dress.rb
+- spec/type/multi_relation_type/test_equality.rb
+- spec/type/multi_relation_type/test_include.rb
+- spec/type/multi_relation_type/test_initialize.rb
+- spec/type/multi_relation_type/test_name.rb
+- spec/type/multi_tuple_type/test_default_name.rb
+- spec/type/multi_tuple_type/test_dress.rb
+- spec/type/multi_tuple_type/test_equality.rb
+- 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/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_default_name.rb
 - spec/type/relation_type/test_suppremum.rb
-- spec/type/relation_type/test_initialize.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/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_default_name.rb
 - spec/type/seq_type/test_suppremum.rb
-- spec/type/seq_type/test_initialize.rb
-- spec/type/builtin_type/test_include.rb
-- spec/type/builtin_type/test_dress.rb
-- spec/type/builtin_type/test_equality.rb
-- spec/type/builtin_type/test_name.rb
-- spec/type/builtin_type/test_default_name.rb
-- spec/type/builtin_type/test_initialize.rb
-- spec/type/multi_tuple_type/test_include.rb
-- spec/type/multi_tuple_type/test_dress.rb
-- spec/type/multi_tuple_type/test_equality.rb
-- spec/type/multi_tuple_type/test_name.rb
-- spec/type/multi_tuple_type/test_default_name.rb
-- spec/type/multi_tuple_type/test_initialize.rb
-- spec/type/ad_type/test_include.rb
-- spec/type/ad_type/test_dress.rb
-- spec/type/ad_type/test_name.rb
-- spec/type/ad_type/test_default_name.rb
-- spec/type/ad_type/test_initialize.rb
-- spec/type/multi_relation_type/test_include.rb
-- spec/type/multi_relation_type/test_dress.rb
-- spec/type/multi_relation_type/test_equality.rb
-- spec/type/multi_relation_type/test_name.rb
-- spec/type/multi_relation_type/test_default_name.rb
-- spec/type/multi_relation_type/test_initialize.rb
-- spec/type/any_type/test_include.rb
-- spec/type/any_type/test_dress.rb
-- spec/type/any_type/test_equality.rb
-- spec/type/any_type/test_name.rb
-- spec/type/any_type/test_default_name.rb
-- spec/type/any_type/test_initialize.rb
-- spec/type/test_unconstrained.rb
-- spec/type/union_type/test_include.rb
-- spec/type/union_type/test_dress.rb
-- spec/type/union_type/test_equality.rb
-- spec/type/union_type/test_name.rb
-- spec/type/union_type/test_default_name.rb
-- spec/type/union_type/test_suppremum.rb
-- spec/type/union_type/test_initialize.rb
-- spec/type/sub_type/test_include.rb
-- spec/type/sub_type/test_dress.rb
-- spec/type/sub_type/test_equality.rb
-- spec/type/sub_type/test_name.rb
-- spec/type/sub_type/test_default_name.rb
-- spec/type/sub_type/test_initialize.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/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_default_name.rb
 - spec/type/set_type/test_suppremum.rb
-- spec/type/set_type/test_initialize.rb
+- spec/type/struct_type/test_default_name.rb
+- spec/type/struct_type/test_dress.rb
+- spec/type/struct_type/test_equality.rb
+- spec/type/struct_type/test_include.rb
+- spec/type/struct_type/test_initialize.rb
+- spec/type/struct_type/test_name.rb
+- spec/type/sub_type/test_default_name.rb
+- spec/type/sub_type/test_dress.rb
+- spec/type/sub_type/test_equality.rb
+- 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/tuple_type/test_include.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_default_name.rb
 - spec/type/tuple_type/test_suppremum.rb
-- spec/type/tuple_type/test_initialize.rb
-- spec/support/test_proc_with_code.rb
-- spec/support/test_compare_attrs.rb
-- spec/heading/test_size.rb
-- spec/heading/test_hash_get.rb
-- spec/heading/test_hash.rb
-- spec/heading/test_each.rb
-- spec/heading/test_equality.rb
-- spec/heading/test_multi.rb
-- spec/heading/test_looks_similar.rb
-- spec/heading/test_allow_extra.rb
-- spec/heading/test_suppremum.rb
-- spec/heading/test_initialize.rb
-- spec/heading/test_to_name.rb
-- spec/json_schema/test_tuple_type.rb
-- spec/json_schema/test_alias_type.rb
-- spec/json_schema/test_set_type.rb
-- spec/json_schema/test_relation_type.rb
-- spec/json_schema/test_ad_type.rb
-- spec/json_schema/test_builtin_type.rb
-- spec/json_schema/test_multi_relation_type.rb
-- spec/json_schema/test_recursive_type.rb
-- spec/json_schema/test_sub_type.rb
-- spec/json_schema/test_any_type.rb
-- spec/json_schema/test_seq_type.rb
-- spec/json_schema/test_union_type.rb
-- spec/json_schema/test_multi_tuple_type.rb
-- spec/json_schema/test_struct_type.rb
-- spec/system/test_dsl.rb
-- spec/system/test_get_type.rb
-- spec/system/test_add_type.rb
-- spec/system/test_dup.rb
-- spec/system/fixtures/system.fio
-- spec/system/fixtures/with-duplicates.fio
-- spec/system/test_check_and_warn.rb
-- spec/system/test_fetch.rb
-- spec/system/test_initialize.rb
-- spec/attribute/test_required.rb
-- spec/attribute/test_optional.rb
-- spec/attribute/test_equality.rb
-- spec/attribute/test_fetch_on.rb
-- spec/attribute/test_initialize.rb
-- spec/attribute/test_to_name.rb
-- spec/syntax/nodes/test_unnamed_constraint.rb
-- spec/syntax/nodes/test_constraints.rb
-- spec/syntax/nodes/test_tuple_type.rb
-- spec/syntax/nodes/test_set_type.rb
-- spec/syntax/nodes/test_heading.rb
-- spec/syntax/nodes/test_comment.rb
-- spec/syntax/nodes/test_spacing.rb
-- spec/syntax/nodes/test_metadata.rb
-- spec/syntax/nodes/test_type_ref.rb
-- spec/syntax/nodes/test_relation_type.rb
-- spec/syntax/nodes/test_contract.rb
-- spec/syntax/nodes/test_ad_type.rb
-- spec/syntax/nodes/test_constraint_def.rb
-- spec/syntax/nodes/test_builtin_type.rb
-- spec/syntax/nodes/test_system.rb
-- spec/syntax/nodes/test_named_constraint.rb
-- spec/syntax/nodes/test_type_def.rb
-- spec/syntax/nodes/imported.fio
-- spec/syntax/nodes/test_sub_type.rb
-- spec/syntax/nodes/test_any_type.rb
-- spec/syntax/nodes/test_seq_type.rb
-- spec/syntax/nodes/test_union_type.rb
-- spec/syntax/nodes/test_attribute.rb
-- spec/syntax/nodes/test_import.rb
-- spec/syntax/nodes/test_struct_type.rb
-- spec/syntax/nodes/test_expression.rb
-- spec/syntax/expr/test_free_variables.rb
-- spec/syntax/expr/test_to_proc_source.rb
-- spec/syntax/test_compile_type.rb
-- spec/syntax/test_compile.rb
-- spec/spec_helper.rb
-- spec/finitio/system.fio
-- spec/finitio/test_ast.rb
-- spec/finitio/test_stdlib_memoization.rb
-- spec/finitio/test_parse.rb
-- spec/finitio/test_system.rb
-- spec/generation/test_generation.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
+- spec/type_factory/dsl/test_attributes.rb
+- spec/type_factory/dsl/test_builtin.rb
+- spec/type_factory/dsl/test_multi_relation.rb
+- spec/type_factory/dsl/test_multi_tuple.rb
+- spec/type_factory/dsl/test_relation.rb
+- spec/type_factory/dsl/test_seq.rb
+- spec/type_factory/dsl/test_set.rb
+- spec/type_factory/dsl/test_struct.rb
+- spec/type_factory/dsl/test_subtype.rb
+- spec/type_factory/dsl/test_tuple.rb
+- spec/type_factory/dsl/test_union.rb
+- spec/type_factory/factory/test_builtin.rb
+- spec/type_factory/factory/test_seq_type.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_tuple_type.rb