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
_______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
