RE: instance Typeable (Re: How do I create dynamic exceptions)
22 Jul
2003
22 Jul
'03
10:27 a.m.
| The above should work, but I wonder when it is possible to simply derive | Typeable? GHC 6.0 supports deriving( Typeable ), but for some strange reason it's not in the manual. It will be. Simon
22 Jul
22 Jul
11:51 a.m.
New subject: instance Typeable
Simon Peyton-Jones wrote:
GHC 6.0 supports deriving( Typeable ), but for some strange reason it's not in the manual. It will be.
Yes, I tried it before and gave up after a message: ../HasCASL/As.hs:24: Can't make a derived instance of `Typeable BasicSpec' (`Typeable' is not a derivable class) When deriving instances for type `BasicSpec' But with "-fglasgow-exts" it works! (and Data.Dynamic needs to be imported.) Christian
7973
Age (days ago)
7973
Last active (days ago)
1 comments
2 participants
participants (2)
-
Christian Maeder -
Simon Peyton-Jones