kill datatype context
authorSimon Marlow <marlowsd@gmail.com>
Tue, 14 Jun 2011 08:26:13 +0000 (09:26 +0100)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 14 Jun 2011 08:26:13 +0000 (09:26 +0100)
real/fluid/Norm.hs

index be35a0e..27556f2 100644 (file)
@@ -24,7 +24,7 @@ andAnd a b = if a then
                error "andAnd: first argument not True\n"
 -- end partain
 
-data (Normal a) => Norm_able a = Norm_pack Bool a deriving ()
+data Norm_able a = Norm_pack Bool a deriving ()
 
 class Normal a where
        normal :: a -> Bool