Revert "Experiment with generating type variable names in a repeatable way"

This reverts commit 4d8a4078990a00ffdc018bc8f5d4d5e3dcf6527d.

1 files changed, 0 insertions, 45 deletions

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