Commit 727f51dc authored by simonpj's avatar simonpj

[project @ 1999-11-02 10:31:54 by simonpj]

Fix bug in instance Dynamic (Either a b)
parent 081601b1
......@@ -269,7 +269,7 @@ instance (Typeable a, Typeable b) => Typeable (Either a b) where
where
getL :: Either a b -> a
getL = undefined
getR :: Either a b -> a
getR :: Either a b -> b
getR = undefined
instance (Typeable a, Typeable b) => Typeable (a -> b) where
......
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