1 files changed, 0 insertions, 19 deletions
diff --git a/tests/list.lac b/tests/list.lac
deleted file mode 100644
index a4602d0e..00000000
--- a/tests/list.lac
+++ /dev/null
@@ -1,19 +0,0 @@
-datatype list a = Nil | Cons of a * list a
-
-val isNil = fn t ::: Type => fn ls : list t =>
-        case ls of Nil => True | _ => False
-
-val show = fn b => if b then "True" else "False"
-
-val rec delist : list string -> xml body [] [] = fn x =>
-        case x of
-          Nil => <body>Nil</body>
-        | Cons (h, t) => <body>{cdata h} :: {delist t}</body>
-
-val main : unit -> page = fn () => <html><body>
-        {cdata (show (isNil (Nil : list bool)))},
-        {cdata (show (isNil (Cons (1, Nil))))},
-        {cdata (show (isNil (Cons ("A", Cons ("B", Nil)))))}
-
-        <p>{delist (Cons ("X", Cons ("Y", Cons ("Z", Nil))))}</p>
-</body></html>