diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/typecheck/pass/constraint_sym.sail | 7 | ||||
| -rw-r--r-- | test/typecheck/pass/constraint_sym/v1.expect | 5 | ||||
| -rw-r--r-- | test/typecheck/pass/constraint_sym/v1.sail | 7 | ||||
| -rw-r--r-- | test/typecheck/pass/constraint_sym/v2.expect | 5 | ||||
| -rw-r--r-- | test/typecheck/pass/constraint_sym/v2.sail | 7 | ||||
| -rw-r--r-- | test/typecheck/pass/constraint_sym/v3.expect | 5 | ||||
| -rw-r--r-- | test/typecheck/pass/constraint_sym/v3.sail | 7 | ||||
| -rw-r--r-- | test/typecheck/pass/constraint_sym/v4.expect | 5 | ||||
| -rw-r--r-- | test/typecheck/pass/constraint_sym/v4.sail | 6 |
9 files changed, 0 insertions, 54 deletions
diff --git a/test/typecheck/pass/constraint_sym.sail b/test/typecheck/pass/constraint_sym.sail deleted file mode 100644 index 6d212e40..00000000 --- a/test/typecheck/pass/constraint_sym.sail +++ /dev/null @@ -1,7 +0,0 @@ -$option -Xconstraint_synonyms - -constraint Size('n) = 'n in {32, 64} - -constraint Nat('n) = 'n >= 0 - -val foo : forall 'n, where Size('n). int('n) -> unit diff --git a/test/typecheck/pass/constraint_sym/v1.expect b/test/typecheck/pass/constraint_sym/v1.expect deleted file mode 100644 index 71fd6f30..00000000 --- a/test/typecheck/pass/constraint_sym/v1.expect +++ /dev/null @@ -1,5 +0,0 @@ -Type error at file "constraint_sym/v1.sail", line 3, character 23 to line 3, character 24 - -constraint Size('n) = [41m'm[0m in {32, 64} - -No type variable 'm diff --git a/test/typecheck/pass/constraint_sym/v1.sail b/test/typecheck/pass/constraint_sym/v1.sail deleted file mode 100644 index 4421ee77..00000000 --- a/test/typecheck/pass/constraint_sym/v1.sail +++ /dev/null @@ -1,7 +0,0 @@ -$option -Xconstraint_synonyms - -constraint Size('n) = 'm in {32, 64} - -constraint Nat('n) = 'n >= 0 - -val foo : forall 'n, where Size('n). int('n) -> unit diff --git a/test/typecheck/pass/constraint_sym/v2.expect b/test/typecheck/pass/constraint_sym/v2.expect deleted file mode 100644 index 58a0f416..00000000 --- a/test/typecheck/pass/constraint_sym/v2.expect +++ /dev/null @@ -1,5 +0,0 @@ -Type error at file "constraint_sym/v2.sail", line 7, character 22 to line 7, character 34 - -val foo : forall 'n, [41mwhere Siz('n)[0m. int('n) -> unit - -Constraint synonym Siz is not defined diff --git a/test/typecheck/pass/constraint_sym/v2.sail b/test/typecheck/pass/constraint_sym/v2.sail deleted file mode 100644 index 1d98e3e4..00000000 --- a/test/typecheck/pass/constraint_sym/v2.sail +++ /dev/null @@ -1,7 +0,0 @@ -$option -Xconstraint_synonyms - -constraint Size('n) = 'n in {32, 64} - -constraint Nat('n) = 'n >= 0 - -val foo : forall 'n, where Siz('n). int('n) -> unit diff --git a/test/typecheck/pass/constraint_sym/v3.expect b/test/typecheck/pass/constraint_sym/v3.expect deleted file mode 100644 index ab4526dc..00000000 --- a/test/typecheck/pass/constraint_sym/v3.expect +++ /dev/null @@ -1,5 +0,0 @@ -Type error at file "constraint_sym/v3.sail", line 7, character 42 to line 7, character 43 - -val foo : forall ('n : Type), where Size([41m'n[0m). int('n) -> unit - -Constraint is badly formed, 'n has kind Type but should have kind Int diff --git a/test/typecheck/pass/constraint_sym/v3.sail b/test/typecheck/pass/constraint_sym/v3.sail deleted file mode 100644 index 886acbe4..00000000 --- a/test/typecheck/pass/constraint_sym/v3.sail +++ /dev/null @@ -1,7 +0,0 @@ -$option -Xconstraint_synonyms - -constraint Size('n) = 'n in {32, 64} - -constraint Nat('n) = 'n >= 0 - -val foo : forall ('n : Type), where Size('n). int('n) -> unit diff --git a/test/typecheck/pass/constraint_sym/v4.expect b/test/typecheck/pass/constraint_sym/v4.expect deleted file mode 100644 index c8374baf..00000000 --- a/test/typecheck/pass/constraint_sym/v4.expect +++ /dev/null @@ -1,5 +0,0 @@ -Type error at file "constraint_sym/v4.sail", line 2, character 12 to line 2, character 15 - -constraint [41mSize[0m('n) = 'n in {32, 64} - -Use -Xconstraint_synonyms to enable constraint synonyms diff --git a/test/typecheck/pass/constraint_sym/v4.sail b/test/typecheck/pass/constraint_sym/v4.sail deleted file mode 100644 index 96bf5e82..00000000 --- a/test/typecheck/pass/constraint_sym/v4.sail +++ /dev/null @@ -1,6 +0,0 @@ - -constraint Size('n) = 'n in {32, 64} - -constraint Nat('n) = 'n >= 0 - -val foo : forall 'n, where Size('n). int('n) -> unit |