Commit 7b931b24 authored by Simon Marlow's avatar Simon Marlow

kill datatype context

parent 6d3ea16e
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment