finitio 0.9.0 → 0.9.1

Sign up to get free protection for your applications and to get access to all the features.
Files changed (7) hide show
  1. checksums.yaml +4 -4
  2. data/CHANGELOG.md +5 -0
  3. data/Gemfile.lock +3 -2
  4. data/lib/finitio/support/heading.rb +8 -2
  5. data/lib/finitio/version.rb +1 -1
  6. data/spec/regression/test_heading_extra_are_proxy_resolved.rb +41 -0
  7. metadata +165 -163
checksums.yaml CHANGED
@@ -1,7 +1,7 @@
1
1
  ---
2
2
  SHA256:
3
- metadata.gz: fb6a6dde74e450b0569a6f568d2f6e847a6f646b23cd815a3442e1a85dbdaedf
4
- data.tar.gz: 26fd2339057cc212d2594d2d52ab66b5ae1ad6dc7db0294faa941f148406ac4a
3
+ metadata.gz: 01fe637e108ca8df1c423afd444de86b9f168df2b1a953185878c1af53c32282
4
+ data.tar.gz: afcb66ec331fd5aef706cbbb20895b1c2552085bbad679161c2c97d4f246c478
5
5
  SHA512:
6
- metadata.gz: f2e4bc1270b3169f3a9692473525693c90e5771c42fc01e3fdce89da676b1e6867d977fb9f29cc2603adcbdc15920dec9dde6133ccd96f50638e12614cf22eed
7
- data.tar.gz: acd957a3ea361e715a17d27bb25baef4687f2ed6252a1289a8e4c660e8151c4ad2813488d9a8fbccda189903b95be5da99983b0f0a922e3590f316dd656c7371
6
+ metadata.gz: d06542793b24ef6a806bf18d1500a4b58853a42aee67bf980d1ff9766cb010b45662e2f8007f9577b3b48cfd2896782e57aa1ee7065341c76f4fe862b197380d
7
+ data.tar.gz: 34fb70ccfb89be4ae1aed56d41550464dfa09dbcf7ced31de6eba381774ff38f2e71cf187ca647127d1ef873e3e953bb1c4b4350e5a29465fa21b7f1f3be2177
data/CHANGELOG.md CHANGED
@@ -1,3 +1,8 @@
1
+ # 0.9.1 - 2020/12/24
2
+
3
+ * Fixes a bug where proxy types are not properly resolved when used
4
+ in a heading extra, e.g. `{ ...: Proxy }`
5
+
1
6
  # 0.9.0 - 2020/12/16
2
7
 
3
8
  * Add Type#to_json_schema that converts Finitio types to JSON schema
data/Gemfile.lock CHANGED
@@ -1,7 +1,7 @@
1
1
  PATH
2
2
  remote: .
3
3
  specs:
4
- finitio (0.9.0)
4
+ finitio (0.9.1)
5
5
  citrus (>= 2.4, < 4.0)
6
6
 
7
7
  GEM
@@ -56,6 +56,7 @@ GEM
56
56
 
57
57
  PLATFORMS
58
58
  ruby
59
+ x86_64-darwin-18
59
60
 
60
61
  DEPENDENCIES
61
62
  awesome_print (~> 1.2)
@@ -67,4 +68,4 @@ DEPENDENCIES
67
68
  rspec (~> 3.0)
68
69
 
69
70
  BUNDLED WITH
70
- 2.0.2
71
+ 2.2.2
data/lib/finitio/support/heading.rb CHANGED
@@ -100,8 +100,14 @@ module Finitio
100
100
  protected :attributes, :options
101
101
 
102
102
  def resolve_proxies(system)
103
- as = attributes.map{|k,a| a.resolve_proxies(system) }
104
- Heading.new(as, options)
103
+ as = attributes.map{|k,a|
104
+ a.resolve_proxies(system)
105
+ }
106
+ opts = options.dup
107
+ if options[:allow_extra] && options[:allow_extra].is_a?(Type)
108
+ opts[:allow_extra] = opts[:allow_extra].resolve_proxies(system)
109
+ end
110
+ Heading.new(as, opts)
105
111
  end
106
112
 
107
113
  def unconstrained
data/lib/finitio/version.rb CHANGED
@@ -3,7 +3,7 @@ module Finitio
3
3
 
4
4
  MAJOR = 0
5
5
  MINOR = 9
6
- TINY = 0
6
+ TINY = 1
7
7
 
8
8
  def self.to_s
9
9
  [ MAJOR, MINOR, TINY ].join('.')
data/spec/regression/test_heading_extra_are_proxy_resolved.rb ADDED
@@ -0,0 +1,41 @@
1
+ require 'spec_helper'
2
+
3
+ describe "Heading extra are properly resolved" do
4
+
5
+ describe "When the extra map to a type" do
6
+ let(:schema){
7
+ Finitio.system <<~F
8
+ Type = { ... : World }
9
+ World = .String
10
+ Type
11
+ F
12
+ }
13
+
14
+ it 'works' do
15
+ expect(schema.dress("hello" => "World")).to eql(hello: "World")
16
+ end
17
+ end
18
+
19
+ describe "When the extra maps to nothing" do
20
+ let(:schema){
21
+ Finitio.system <<~F
22
+ {
23
+ hello: .String
24
+ ...
25
+ }
26
+ F
27
+ }
28
+
29
+ it 'works' do
30
+ expect(schema.dress("hello" => "World")).to eql(hello: "World")
31
+ end
32
+
33
+ it 'supports extra' do
34
+ expect(schema.dress({
35
+ "hello" => "World",
36
+ "extra" => "Foo"
37
+ })).to eql(hello: "World")
38
+ end
39
+ end
40
+
41
+ end
metadata CHANGED
@@ -1,14 +1,14 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: finitio
3
3
  version: !ruby/object:Gem::Version
4
- version: 0.9.0
4
+ version: 0.9.1
5
5
  platform: ruby
6
6
  authors:
7
7
  - Bernard Lambeau
8
- autorequire:
8
+ autorequire:
9
9
  bindir: bin
10
10
  cert_chain: []
11
- date: 2020-12-16 00:00:00.000000000 Z
11
+ date: 2020-12-24 00:00:00.000000000 Z
12
12
  dependencies:
13
13
  - !ruby/object:Gem::Dependency
14
14
  name: citrus
@@ -211,6 +211,7 @@ files:
211
211
  - spec/json_schema/test_sub_type.rb
212
212
  - spec/json_schema/test_tuple_type.rb
213
213
  - spec/json_schema/test_union_type.rb
214
+ - spec/regression/test_heading_extra_are_proxy_resolved.rb
214
215
  - spec/spec_helper.rb
215
216
  - spec/support/test_compare_attrs.rb
216
217
  - spec/support/test_proc_with_code.rb
@@ -360,7 +361,7 @@ files:
360
361
  homepage: https://github.com/blambeau/finitio
361
362
  licenses: []
362
363
  metadata: {}
363
- post_install_message:
364
+ post_install_message:
364
365
  rdoc_options: []
365
366
  require_paths:
366
367
  - lib
@@ -375,194 +376,195 @@ required_rubygems_version: !ruby/object:Gem::Requirement
375
376
  - !ruby/object:Gem::Version
376
377
  version: '0'
377
378
  requirements: []
378
- rubygems_version: 3.1.2
379
- signing_key:
379
+ rubygems_version: 3.1.4
380
+ signing_key:
380
381
  specification_version: 4
381
382
  summary: Finitio - in Ruby
382
383
  test_files:
383
- - spec/inference/test_inference.rb
384
+ - spec/spec_helper.rb
385
+ - spec/type_factory/factory/test_tuple_type.rb
386
+ - spec/type_factory/factory/test_builtin.rb
387
+ - spec/type_factory/factory/test_set_type.rb
388
+ - spec/type_factory/factory/test_struct_type.rb
389
+ - spec/type_factory/factory/test_sub_type.rb
390
+ - spec/type_factory/factory/test_seq_type.rb
391
+ - spec/type_factory/dsl/test_attributes.rb
392
+ - spec/type_factory/dsl/test_builtin.rb
393
+ - spec/type_factory/dsl/test_adt.rb
394
+ - spec/type_factory/dsl/test_multi_tuple.rb
395
+ - spec/type_factory/dsl/test_seq.rb
396
+ - spec/type_factory/dsl/test_multi_relation.rb
397
+ - spec/type_factory/dsl/test_tuple.rb
398
+ - spec/type_factory/dsl/test_set.rb
399
+ - spec/type_factory/dsl/test_attribute.rb
400
+ - spec/type_factory/dsl/test_any.rb
401
+ - spec/type_factory/dsl/test_union.rb
402
+ - spec/type_factory/dsl/test_struct.rb
403
+ - spec/type_factory/dsl/test_relation.rb
404
+ - spec/type_factory/dsl/test_subtype.rb
405
+ - spec/attribute/test_initialize.rb
406
+ - spec/attribute/test_equality.rb
407
+ - spec/attribute/test_to_name.rb
408
+ - spec/attribute/test_fetch_on.rb
409
+ - spec/attribute/test_optional.rb
410
+ - spec/attribute/test_required.rb
411
+ - spec/json_schema/test_tuple_type.rb
412
+ - spec/json_schema/test_set_type.rb
384
413
  - spec/json_schema/test_union_type.rb
385
- - spec/json_schema/test_alias_type.rb
414
+ - spec/json_schema/test_multi_relation_type.rb
386
415
  - spec/json_schema/test_builtin_type.rb
387
- - spec/json_schema/test_set_type.rb
416
+ - spec/json_schema/test_alias_type.rb
388
417
  - spec/json_schema/test_multi_tuple_type.rb
418
+ - spec/json_schema/test_struct_type.rb
389
419
  - spec/json_schema/test_sub_type.rb
390
- - spec/json_schema/test_relation_type.rb
391
- - spec/json_schema/test_multi_relation_type.rb
392
420
  - spec/json_schema/test_any_type.rb
393
421
  - spec/json_schema/test_ad_type.rb
422
+ - spec/json_schema/test_relation_type.rb
394
423
  - spec/json_schema/test_seq_type.rb
395
- - spec/json_schema/test_tuple_type.rb
396
- - spec/json_schema/test_struct_type.rb
397
- - spec/syntax/nodes/test_system.rb
398
- - spec/syntax/nodes/test_union_type.rb
399
- - spec/syntax/nodes/test_constraints.rb
400
- - spec/syntax/nodes/test_builtin_type.rb
401
- - spec/syntax/nodes/test_set_type.rb
402
- - spec/syntax/nodes/test_unnamed_constraint.rb
403
- - spec/syntax/nodes/test_type_ref.rb
404
- - spec/syntax/nodes/test_constraint_def.rb
405
- - spec/syntax/nodes/imported.fio
406
- - spec/syntax/nodes/test_sub_type.rb
407
- - spec/syntax/nodes/test_contract.rb
408
- - spec/syntax/nodes/test_relation_type.rb
409
- - spec/syntax/nodes/test_attribute.rb
410
- - spec/syntax/nodes/test_any_type.rb
411
- - spec/syntax/nodes/test_spacing.rb
412
- - spec/syntax/nodes/test_import.rb
413
- - spec/syntax/nodes/test_metadata.rb
414
- - spec/syntax/nodes/test_ad_type.rb
415
- - spec/syntax/nodes/test_named_constraint.rb
416
- - spec/syntax/nodes/test_expression.rb
417
- - spec/syntax/nodes/test_seq_type.rb
418
- - spec/syntax/nodes/test_tuple_type.rb
419
- - spec/syntax/nodes/test_comment.rb
420
- - spec/syntax/nodes/test_type_def.rb
421
- - spec/syntax/nodes/test_struct_type.rb
422
- - spec/syntax/nodes/test_heading.rb
423
- - spec/syntax/test_compile.rb
424
- - spec/syntax/expr/test_free_variables.rb
425
- - spec/syntax/expr/test_to_proc_source.rb
426
- - spec/syntax/test_compile_type.rb
427
- - spec/support/test_proc_with_code.rb
428
- - spec/support/test_compare_attrs.rb
429
- - spec/type_factory/dsl/test_struct.rb
430
- - spec/type_factory/dsl/test_set.rb
431
- - spec/type_factory/dsl/test_attributes.rb
432
- - spec/type_factory/dsl/test_seq.rb
433
- - spec/type_factory/dsl/test_builtin.rb
434
- - spec/type_factory/dsl/test_multi_relation.rb
435
- - spec/type_factory/dsl/test_union.rb
436
- - spec/type_factory/dsl/test_adt.rb
437
- - spec/type_factory/dsl/test_attribute.rb
438
- - spec/type_factory/dsl/test_subtype.rb
439
- - spec/type_factory/dsl/test_multi_tuple.rb
440
- - spec/type_factory/dsl/test_relation.rb
441
- - spec/type_factory/dsl/test_tuple.rb
442
- - spec/type_factory/dsl/test_any.rb
443
- - spec/type_factory/factory/test_set_type.rb
444
- - spec/type_factory/factory/test_sub_type.rb
445
- - spec/type_factory/factory/test_builtin.rb
446
- - spec/type_factory/factory/test_seq_type.rb
447
- - spec/type_factory/factory/test_tuple_type.rb
448
- - spec/type_factory/factory/test_struct_type.rb
449
424
  - spec/heading/test_hash_get.rb
450
- - spec/heading/test_multi.rb
451
- - spec/heading/test_to_name.rb
452
- - spec/heading/test_looks_similar.rb
453
- - spec/heading/test_each.rb
454
425
  - spec/heading/test_initialize.rb
455
- - spec/heading/test_size.rb
456
- - spec/heading/test_suppremum.rb
457
426
  - spec/heading/test_equality.rb
427
+ - spec/heading/test_to_name.rb
428
+ - spec/heading/test_multi.rb
458
429
  - spec/heading/test_hash.rb
430
+ - spec/heading/test_suppremum.rb
459
431
  - spec/heading/test_allow_extra.rb
460
- - spec/generation/test_generation.rb
461
- - spec/system/test_dup.rb
462
- - spec/system/fixtures/system.fio
463
- - spec/system/fixtures/with-duplicates.fio
464
- - spec/system/test_dsl.rb
432
+ - spec/heading/test_size.rb
433
+ - spec/heading/test_looks_similar.rb
434
+ - spec/heading/test_each.rb
435
+ - spec/test_finitio.rb
436
+ - spec/finitio/test_ast.rb
437
+ - spec/finitio/system.fio
438
+ - spec/finitio/test_system.rb
439
+ - spec/finitio/test_parse.rb
440
+ - spec/finitio/test_stdlib_memoization.rb
465
441
  - spec/system/test_initialize.rb
442
+ - spec/system/test_get_type.rb
443
+ - spec/system/test_fetch.rb
444
+ - spec/system/test_dup.rb
466
445
  - spec/system/test_add_type.rb
446
+ - spec/system/test_dsl.rb
447
+ - spec/system/fixtures/with-duplicates.fio
448
+ - spec/system/fixtures/system.fio
467
449
  - spec/system/test_check_and_warn.rb
468
- - spec/system/test_fetch.rb
469
- - spec/system/test_get_type.rb
470
- - spec/test_finitio.rb
471
- - spec/spec_helper.rb
472
- - spec/type/union_type/test_dress.rb
473
- - spec/type/union_type/test_default_name.rb
474
- - spec/type/union_type/test_initialize.rb
475
- - spec/type/union_type/test_suppremum.rb
476
- - spec/type/union_type/test_include.rb
477
- - spec/type/union_type/test_equality.rb
478
- - spec/type/union_type/test_name.rb
479
- - spec/type/set_type/test_dress.rb
480
- - spec/type/set_type/test_default_name.rb
450
+ - spec/type/multi_relation_type/test_name.rb
451
+ - spec/type/multi_relation_type/test_initialize.rb
452
+ - spec/type/multi_relation_type/test_equality.rb
453
+ - spec/type/multi_relation_type/test_include.rb
454
+ - spec/type/multi_relation_type/test_default_name.rb
455
+ - spec/type/multi_relation_type/test_dress.rb
456
+ - spec/type/sub_type/test_name.rb
457
+ - spec/type/sub_type/test_initialize.rb
458
+ - spec/type/sub_type/test_equality.rb
459
+ - spec/type/sub_type/test_include.rb
460
+ - spec/type/sub_type/test_default_name.rb
461
+ - spec/type/sub_type/test_dress.rb
462
+ - spec/type/test_unconstrained.rb
463
+ - spec/type/test_suppremum.rb
464
+ - spec/type/ad_type/test_name.rb
465
+ - spec/type/ad_type/test_initialize.rb
466
+ - spec/type/ad_type/test_include.rb
467
+ - spec/type/ad_type/test_default_name.rb
468
+ - spec/type/ad_type/test_dress.rb
469
+ - spec/type/struct_type/test_name.rb
470
+ - spec/type/struct_type/test_initialize.rb
471
+ - spec/type/struct_type/test_equality.rb
472
+ - spec/type/struct_type/test_include.rb
473
+ - spec/type/struct_type/test_default_name.rb
474
+ - spec/type/struct_type/test_dress.rb
475
+ - spec/type/set_type/test_name.rb
481
476
  - spec/type/set_type/test_initialize.rb
477
+ - spec/type/set_type/test_equality.rb
482
478
  - spec/type/set_type/test_suppremum.rb
483
479
  - spec/type/set_type/test_include.rb
484
- - spec/type/set_type/test_equality.rb
485
- - spec/type/set_type/test_name.rb
486
- - spec/type/alias_type/test_default_name.rb
487
- - spec/type/alias_type/test_delegation.rb
488
- - spec/type/alias_type/test_name.rb
489
- - spec/type/multi_tuple_type/test_dress.rb
490
- - spec/type/multi_tuple_type/test_default_name.rb
491
- - spec/type/multi_tuple_type/test_initialize.rb
492
- - spec/type/multi_tuple_type/test_include.rb
493
- - spec/type/multi_tuple_type/test_equality.rb
494
- - spec/type/multi_tuple_type/test_name.rb
495
- - spec/type/struct_type/test_dress.rb
496
- - spec/type/struct_type/test_default_name.rb
497
- - spec/type/struct_type/test_initialize.rb
498
- - spec/type/struct_type/test_include.rb
499
- - spec/type/struct_type/test_equality.rb
500
- - spec/type/struct_type/test_name.rb
501
- - spec/type/builtin_type/test_dress.rb
502
- - spec/type/builtin_type/test_default_name.rb
503
- - spec/type/builtin_type/test_initialize.rb
504
- - spec/type/builtin_type/test_include.rb
505
- - spec/type/builtin_type/test_equality.rb
506
- - spec/type/builtin_type/test_name.rb
507
- - spec/type/multi_relation_type/test_dress.rb
508
- - spec/type/multi_relation_type/test_default_name.rb
509
- - spec/type/multi_relation_type/test_initialize.rb
510
- - spec/type/multi_relation_type/test_include.rb
511
- - spec/type/multi_relation_type/test_equality.rb
512
- - spec/type/multi_relation_type/test_name.rb
513
- - spec/type/any_type/test_dress.rb
514
- - spec/type/any_type/test_default_name.rb
515
- - spec/type/any_type/test_initialize.rb
516
- - spec/type/any_type/test_include.rb
517
- - spec/type/any_type/test_equality.rb
518
- - spec/type/any_type/test_name.rb
519
- - spec/type/relation_type/test_dress.rb
520
- - spec/type/relation_type/test_default_name.rb
480
+ - spec/type/set_type/test_default_name.rb
481
+ - spec/type/set_type/test_dress.rb
482
+ - spec/type/relation_type/test_name.rb
521
483
  - spec/type/relation_type/test_initialize.rb
484
+ - spec/type/relation_type/test_equality.rb
522
485
  - spec/type/relation_type/test_suppremum.rb
523
486
  - spec/type/relation_type/test_include.rb
524
- - spec/type/relation_type/test_equality.rb
525
- - spec/type/relation_type/test_name.rb
526
- - spec/type/test_unconstrained.rb
527
- - spec/type/tuple_type/test_dress.rb
528
- - spec/type/tuple_type/test_default_name.rb
487
+ - spec/type/relation_type/test_default_name.rb
488
+ - spec/type/relation_type/test_dress.rb
489
+ - spec/type/any_type/test_name.rb
490
+ - spec/type/any_type/test_initialize.rb
491
+ - spec/type/any_type/test_equality.rb
492
+ - spec/type/any_type/test_include.rb
493
+ - spec/type/any_type/test_default_name.rb
494
+ - spec/type/any_type/test_dress.rb
495
+ - spec/type/builtin_type/test_name.rb
496
+ - spec/type/builtin_type/test_initialize.rb
497
+ - spec/type/builtin_type/test_equality.rb
498
+ - spec/type/builtin_type/test_include.rb
499
+ - spec/type/builtin_type/test_default_name.rb
500
+ - spec/type/builtin_type/test_dress.rb
501
+ - spec/type/union_type/test_name.rb
502
+ - spec/type/union_type/test_initialize.rb
503
+ - spec/type/union_type/test_equality.rb
504
+ - spec/type/union_type/test_suppremum.rb
505
+ - spec/type/union_type/test_include.rb
506
+ - spec/type/union_type/test_default_name.rb
507
+ - spec/type/union_type/test_dress.rb
508
+ - spec/type/tuple_type/test_name.rb
529
509
  - spec/type/tuple_type/test_initialize.rb
510
+ - spec/type/tuple_type/test_equality.rb
530
511
  - spec/type/tuple_type/test_suppremum.rb
531
512
  - spec/type/tuple_type/test_include.rb
532
- - spec/type/tuple_type/test_equality.rb
533
- - spec/type/tuple_type/test_name.rb
534
- - spec/type/sub_type/test_dress.rb
535
- - spec/type/sub_type/test_default_name.rb
536
- - spec/type/sub_type/test_initialize.rb
537
- - spec/type/sub_type/test_include.rb
538
- - spec/type/sub_type/test_equality.rb
539
- - spec/type/sub_type/test_name.rb
540
- - spec/type/seq_type/test_dress.rb
541
- - spec/type/seq_type/test_default_name.rb
513
+ - spec/type/tuple_type/test_default_name.rb
514
+ - spec/type/tuple_type/test_dress.rb
515
+ - spec/type/alias_type/test_name.rb
516
+ - spec/type/alias_type/test_default_name.rb
517
+ - spec/type/alias_type/test_delegation.rb
518
+ - spec/type/seq_type/test_name.rb
542
519
  - spec/type/seq_type/test_initialize.rb
520
+ - spec/type/seq_type/test_equality.rb
543
521
  - spec/type/seq_type/test_suppremum.rb
544
522
  - spec/type/seq_type/test_include.rb
545
- - spec/type/seq_type/test_equality.rb
546
- - spec/type/seq_type/test_name.rb
547
- - spec/type/test_suppremum.rb
548
- - spec/type/ad_type/test_dress.rb
549
- - spec/type/ad_type/test_default_name.rb
550
- - spec/type/ad_type/test_initialize.rb
551
- - spec/type/ad_type/test_include.rb
552
- - spec/type/ad_type/test_name.rb
553
- - spec/finitio/test_system.rb
554
- - spec/finitio/test_stdlib_memoization.rb
555
- - spec/finitio/system.fio
556
- - spec/finitio/test_parse.rb
557
- - spec/finitio/test_ast.rb
558
- - spec/attribute/test_to_name.rb
559
- - spec/attribute/test_required.rb
560
- - spec/attribute/test_initialize.rb
561
- - spec/attribute/test_fetch_on.rb
562
- - spec/attribute/test_optional.rb
563
- - spec/attribute/test_equality.rb
564
- - spec/constraint/test_named.rb
565
- - spec/constraint/test_anonymous.rb
523
+ - spec/type/seq_type/test_default_name.rb
524
+ - spec/type/seq_type/test_dress.rb
525
+ - spec/type/multi_tuple_type/test_name.rb
526
+ - spec/type/multi_tuple_type/test_initialize.rb
527
+ - spec/type/multi_tuple_type/test_equality.rb
528
+ - spec/type/multi_tuple_type/test_include.rb
529
+ - spec/type/multi_tuple_type/test_default_name.rb
530
+ - spec/type/multi_tuple_type/test_dress.rb
531
+ - spec/support/test_compare_attrs.rb
532
+ - spec/support/test_proc_with_code.rb
533
+ - spec/inference/test_inference.rb
534
+ - spec/regression/test_heading_extra_are_proxy_resolved.rb
535
+ - spec/syntax/nodes/test_tuple_type.rb
536
+ - spec/syntax/nodes/test_set_type.rb
537
+ - spec/syntax/nodes/test_union_type.rb
538
+ - spec/syntax/nodes/test_heading.rb
539
+ - spec/syntax/nodes/test_builtin_type.rb
540
+ - spec/syntax/nodes/imported.fio
541
+ - spec/syntax/nodes/test_import.rb
542
+ - spec/syntax/nodes/test_constraints.rb
543
+ - spec/syntax/nodes/test_type_ref.rb
544
+ - spec/syntax/nodes/test_system.rb
545
+ - spec/syntax/nodes/test_attribute.rb
546
+ - spec/syntax/nodes/test_contract.rb
547
+ - spec/syntax/nodes/test_named_constraint.rb
548
+ - spec/syntax/nodes/test_metadata.rb
549
+ - spec/syntax/nodes/test_type_def.rb
550
+ - spec/syntax/nodes/test_struct_type.rb
551
+ - spec/syntax/nodes/test_sub_type.rb
552
+ - spec/syntax/nodes/test_any_type.rb
553
+ - spec/syntax/nodes/test_constraint_def.rb
554
+ - spec/syntax/nodes/test_ad_type.rb
555
+ - spec/syntax/nodes/test_expression.rb
556
+ - spec/syntax/nodes/test_relation_type.rb
557
+ - spec/syntax/nodes/test_spacing.rb
558
+ - spec/syntax/nodes/test_comment.rb
559
+ - spec/syntax/nodes/test_seq_type.rb
560
+ - spec/syntax/nodes/test_unnamed_constraint.rb
561
+ - spec/syntax/expr/test_to_proc_source.rb
562
+ - spec/syntax/expr/test_free_variables.rb
563
+ - spec/syntax/test_compile.rb
564
+ - spec/syntax/test_compile_type.rb
565
+ - spec/generation/test_generation.rb
566
+ - spec/constraint/test_name.rb
566
567
  - spec/constraint/test_equality.rb
568
+ - spec/constraint/test_anonymous.rb
569
+ - spec/constraint/test_named.rb
567
570
  - spec/constraint/test_triple_equal.rb
568
- - spec/constraint/test_name.rb