-

[clean-tests.git] / eadt / main.icl

diff --git a/eadt/main.icl b/eadt/main.icl
deleted file mode 100644 (file)
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)