diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/pass/global_type_var/v1.expect | 2 | ||||
| -rw-r--r-- | test/typecheck/pass/global_type_var/v2.expect | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/test/typecheck/pass/global_type_var/v1.expect b/test/typecheck/pass/global_type_var/v1.expect index d80cb349..ba475840 100644 --- a/test/typecheck/pass/global_type_var/v1.expect +++ b/test/typecheck/pass/global_type_var/v1.expect @@ -5,4 +5,4 @@ let _ = test([41m32[0m) Tried performing type coercion on 32 Failed because atom(32) is not a subtype of atom('size) - in context 'size = 'ex6#, ('ex6# = 32 | 'ex6# = 64), ('ex5# = 32 | 'ex5# = 64) + in context 'size = 'ex8#, ('ex8# = 32 | 'ex8# = 64), ('ex7# = 32 | 'ex7# = 64) diff --git a/test/typecheck/pass/global_type_var/v2.expect b/test/typecheck/pass/global_type_var/v2.expect index 740c1e2e..8d641c4c 100644 --- a/test/typecheck/pass/global_type_var/v2.expect +++ b/test/typecheck/pass/global_type_var/v2.expect @@ -5,4 +5,4 @@ let _ = test([41m64[0m) Tried performing type coercion on 64 Failed because atom(64) is not a subtype of atom('size) - in context 'size = 'ex6#, ('ex6# = 32 | 'ex6# = 64), ('ex5# = 32 | 'ex5# = 64) + in context 'size = 'ex8#, ('ex8# = 32 | 'ex8# = 64), ('ex7# = 32 | 'ex7# = 64) |