X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=eadt%2Fmain.icl;fp=eadt%2Fmain.icl;h=0000000000000000000000000000000000000000;hb=4b62b5d397d86147e393c05b3083af74a3a0c4af;hp=7af12ece7c79b3a5d43db9c67b35d9ef9ad1d83d;hpb=e5305ee9d4290e1aa803a2e62a14f32e5cd29782;p=clean-tests.git

diff --git a/eadt/main.icl b/eadt/main.icl
deleted file mode 100644
index 7af12ec..0000000
--- a/eadt/main.icl
+++ /dev/null
@@ -1,20 +0,0 @@
-implementation module main
-
-import Data.GenDefault
-import StdEnv
-
-import Sub
-
-gDefault{|Expr|} = Lit 0
-
-eval :: Expr -> Int
-eval (Lit i) = i
-eval (e1 +. e2) = eval e1 + eval e2
-eval x = evalSub x
-
-pprint :: Expr -> String
-pprint (Lit i) = toString i
-pprint (e1 +. e2) = pprint e1 +++ " + " +++ pprint e2
-pprint x = pprintSub x
-
-Start = pprint (Lit 5 -. Lit 6)