diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/pass/exist_synonym/v1.expect | 2 | ||||
| -rw-r--r-- | test/typecheck/pass/exist_synonym/v2.expect | 2 | ||||
| -rw-r--r-- | test/typecheck/pass/function_namespace/v1.expect | 2 | ||||
| -rw-r--r-- | test/typecheck/pass/global_type_var/v1.expect | 2 | ||||
| -rw-r--r-- | test/typecheck/pass/global_type_var/v2.expect | 2 | ||||
| -rw-r--r-- | test/typecheck/pass/global_type_var/v3.expect | 2 |
6 files changed, 6 insertions, 6 deletions
diff --git a/test/typecheck/pass/exist_synonym/v1.expect b/test/typecheck/pass/exist_synonym/v1.expect index 05dc6d8e..8ecba308 100644 --- a/test/typecheck/pass/exist_synonym/v1.expect +++ b/test/typecheck/pass/exist_synonym/v1.expect @@ -1,6 +1,6 @@ Type error at file "exist_synonym/v1.sail", line 6, character 42 to line 6, character 42 -let x : {'n, 0 <= 'n <= 33. regno('n)} = [41m4[49m +let x : {'n, 0 <= 'n <= 33. regno('n)} = [41m4[0m Tried performing type coercion on 4 Failed because Could not prove constraints (0 <= 'n & ('n + 1) <= 32) in type synonym atom<'n> with (0 <= 'n & 'n <= 33) diff --git a/test/typecheck/pass/exist_synonym/v2.expect b/test/typecheck/pass/exist_synonym/v2.expect index 5b8f58c9..09bba469 100644 --- a/test/typecheck/pass/exist_synonym/v2.expect +++ b/test/typecheck/pass/exist_synonym/v2.expect @@ -1,6 +1,6 @@ Type error at file "exist_synonym/v2.sail", line 6, character 41 to line 6, character 41 -let x : {'n, 0 <= 'n <= 8. regno('n)} = [41m4[49m +let x : {'n, 0 <= 'n <= 8. regno('n)} = [41m4[0m Tried performing type coercion on 4 Failed because Could not prove constraints (0 <= 'n & ('n + 1) <= 2) in type synonym atom<'n> with (0 <= 'n & 'n <= 8) diff --git a/test/typecheck/pass/function_namespace/v1.expect b/test/typecheck/pass/function_namespace/v1.expect index d01c3adb..6e40adc0 100644 --- a/test/typecheck/pass/function_namespace/v1.expect +++ b/test/typecheck/pass/function_namespace/v1.expect @@ -1,5 +1,5 @@ Type error at file "function_namespace/v1.sail", line 9, character 7 to line 9, character 10 - let [41mtest[49m = true; + let [41mtest[0m = true; Local variable test is already bound as a function name diff --git a/test/typecheck/pass/global_type_var/v1.expect b/test/typecheck/pass/global_type_var/v1.expect index 62788484..c421cada 100644 --- a/test/typecheck/pass/global_type_var/v1.expect +++ b/test/typecheck/pass/global_type_var/v1.expect @@ -1,6 +1,6 @@ Type error at file "global_type_var/v1.sail", line 23, character 14 to line 23, character 15 -let _ = test([41m32[49m) +let _ = test([41m32[0m) Tried performing type coercion on 32 Failed because atom<32> is not a subtype of atom<'size> in context 'size = 'ex1#, ('ex1# = 32 | 'ex1# = 64) diff --git a/test/typecheck/pass/global_type_var/v2.expect b/test/typecheck/pass/global_type_var/v2.expect index 1b9bb23d..8539ea0f 100644 --- a/test/typecheck/pass/global_type_var/v2.expect +++ b/test/typecheck/pass/global_type_var/v2.expect @@ -1,6 +1,6 @@ Type error at file "global_type_var/v2.sail", line 23, character 14 to line 23, character 15 -let _ = test([41m64[49m) +let _ = test([41m64[0m) Tried performing type coercion on 64 Failed because atom<64> is not a subtype of atom<'size> in context 'size = 'ex1#, ('ex1# = 32 | 'ex1# = 64) diff --git a/test/typecheck/pass/global_type_var/v3.expect b/test/typecheck/pass/global_type_var/v3.expect index a01f3eec..8014f88a 100644 --- a/test/typecheck/pass/global_type_var/v3.expect +++ b/test/typecheck/pass/global_type_var/v3.expect @@ -1,5 +1,5 @@ Type error at file "global_type_var/v3.sail", line 9, character 19 to line 9, character 23 -val test : forall [41m'size[49m. atom('size) -> unit +val test : forall [41m'size[0m. atom('size) -> unit Kind identifier 'size is already bound |