first order simple patterns

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

diff --git a/datatype/Language.hs b/datatype/Language.hs
index eaa3703..3794358 100644 (file)
--- a/datatype/Language.hs
+++ b/datatype/Language.hs
@@ -13,7 +13,6 @@ class Expression v where
     (-.) :: Num a => v a -> v a -> v a
     (/.) :: Fractional a => v a -> v a -> v a
     (*.) :: Num a => v a -> v a -> v a
-    (^.) :: Integral a => v a -> v a -> v a
     neg :: Num a => v a -> v a
     (&.) :: v Bool -> v Bool -> v Bool
     (|.) :: v Bool -> v Bool -> v Bool
@@ -35,4 +34,3 @@ infixr 3 &.
 infix 4 ==., /=., <., >., <=., >=.
 infixl 6 +., -.
 infixl 7 *., /.
-infixl 8 ^.