Remove old test directory in src/test

1 files changed, 0 insertions, 51 deletions

diff --git a/src/test/test1.sail b/src/test/test1.sail
deleted file mode 100644
index 0c08324c..00000000
--- a/src/test/test1.sail
+++ /dev/null
@@ -1,51 +0,0 @@
-default Order inc
-default Nat 'i
-default Order 'o
-default bool b
-default forall 'a. list<'a> b
-val forall 'a, 'b . ('a, 'b) -> 'b effect pure snd
-val forall Type 'i, 'b. ('i, 'b) -> 'i effect pure fst
-typedef int_list [name = "il"] = list<nat>
-typedef reco = const struct forall 'i, 'a, 'b. { 'a['i] v; 'b w; }
-typedef maybe = const union forall 'a. { Nne; 'a Sme; }
-typedef creg = register bits [5:10] { 5 : h ; 6..7 : j}
-let (bool) e = true
-val forall Nat 'a, Nat 'b. bit['a:'b] sliced
-let (bit) v = bitzero
-let ( bit [ 3 ] ) v1 = 0b101
-
-let ( bit [32] ) v2 = 0xABCDEF01
-
-val forall Type 'a. 'a -> 'a effect pure identity
-function forall Type 'a. 'a identity i = i
-
-(*function unit ignore(x) = ()*)
-
-(* scattered function definition and union definition *)
-scattered typedef ast = const union
-scattered function ast f
-
-union ast member  (bit, bit, bit) A
-function clause f (  A (a,b,c) ) = C(a)
-
-union ast member  (bit, bit) B
-function clause f (  B (a,b) ) = C(a)
-
-union ast member  bit C
-function clause f (  C (a) ) = C(a)
-
-end ast
-end f
-
-function unit a (bit) b = if identity(b) then (identity()) else ()
-
-function bit sw s = switch s { case 0 -> bitzero }
-
-typedef colors = enumerate { red; green; blue }
-
-let (colors) rgb = red
-
-function bit enu ((colors) red) = let (one, two) = (1,2) in 0
-
-function bit main _ = {ignore(sw(0)); ignore((nat) v2); ignore(enu(0)); v1[0] }
-