3 files changed, 0 insertions, 77 deletions
diff --git a/test/c/string_mapping.expect b/test/c/string_mapping.expect
deleted file mode 100644
index 9928ba1b..00000000
--- a/test/c/string_mapping.expect
+++ /dev/null
@@ -1,7 +0,0 @@
-foo
-bar
-got true
-foo
-bar
-got true
-bazfooquux
diff --git a/test/c/string_mapping.sail b/test/c/string_mapping.sail
deleted file mode 100644
index 7c620817..00000000
--- a/test/c/string_mapping.sail
+++ /dev/null
@@ -1,45 +0,0 @@
-default Order dec
-
-$include <prelude.sail>
-$include <mapping.sail>
-
-val test1 : string <-> (bool, int)
-
-mapping test1 = {
-  "foo" <-> (true, 3),
-  "b" ^ "ar" <-> (false, 2)
-}
-
-val test2 : (bool, int) <-> string
-
-mapping test2 = {
-  (true, 3) <-> "f" ^ "oo",
-  (false, 2) <-> "bar"
-}
-
-val test3 : string <-> int
-
-mapping test3 = {
-  "baz" ^ test1(true, 3) ^ "quux" <-> 6
-}
-
-val "print_endline" : string -> unit
-
-function main((): unit) -> unit = {
-  print_endline(test1(true, 3));
-  print_endline(test1(false, 2));
-  match test1("foo") {
-    (true, _) => print_endline("got true"),
-    _ => print_endline("fail")
-  };
-
-  print_endline(test2(true, 3));
-  print_endline(test2(false, 2));
-  match test2("foo") {
-    (true, _) => print_endline("got true"),
-    _ => print_endline("fail")
-  };
-
-  print_endline(test3(6));
-  ()
-}
-\ No newline at end of file
diff --git a/test/typecheck/pass/tyvar_names.sail b/test/typecheck/pass/tyvar_names.sail
deleted file mode 100644
index eb31307e..00000000
--- a/test/typecheck/pass/tyvar_names.sail
+++ /dev/null
@@ -1,25 +0,0 @@
-default Order dec
-
-$include <prelude.sail>
-
-$option -dmagic_hash
-
-function main((): unit) -> unit = {
-  let x = (3 + 3) : {'n, 'n == 6. int('n)};
-  _check(x : int('x#0));
-  let y = (2 + 4) : {'n, 'n == 6. int('n)};
-  _check(y : int('y#0));
-  let x = 26 : {'n, 'n == 26. int('n)};
-  _check(x : int('x#1));
-  ()
-}
-
-function main2((): unit) -> unit = {
-  let x = (3 + 3) : {'n, 'n == 6. int('n)};
-  _check(x : int('x#0));
-  let y = (2 + 4) : {'n, 'n == 6. int('n)};
-  _check(y : int('y#0));
-  let x = 26 : {'n, 'n == 26. int('n)};
-  _check(x : int('x#1));
-  ()
-}
-\ No newline at end of file