first order simple patterns

[clean-tests.git] / datatype / Interpreter.hs

diff --git a/datatype/Interpreter.hs b/datatype/Interpreter.hs
index cf41d9a..54b50b1 100644 (file)
--- a/datatype/Interpreter.hs
+++ b/datatype/Interpreter.hs
@@ -15,7 +15,6 @@ instance Expression Interpreter where
     (-.) = liftM2 (-)
     (/.) = liftM2 (/)
     (*.) = liftM2 (*)
-    (^.) = liftM2 (^)
     neg = fmap negate
     (&.) = liftM2 (&&)
     (|.) = liftM2 (||)
@@ -29,6 +28,4 @@ instance Expression Interpreter where
     if' p t e = p >>= \b->if b then t else e
 
 instance Function a Interpreter where
-    fun def = Main $
-        let g :- m = def g
-        in unmain m
+    fun def = Main $ let g :- m = def g in unmain m