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

This reverts commit 4d8a4078990a00ffdc018bc8f5d4d5e3dcf6527d.

1 files changed, 0 insertions, 25 deletions

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