Rewrite this definition: > instance Typeable Foo where typeOf _ = mkAppTy (mkTyCon "Foo.Foo") []
like this: > instance Typeable Foo where typeOf _ = mkAppTy fooFooTc [] > fooFooTc = mkTyCon "Foo.Foo" The problem is caused by a very dubious optimization used in the representation of TyCons whcih really ought to be fixed. -- Alastair Reid [EMAIL PROTECTED] Reid Consulting (UK) Limited http://www.reid-consulting-uk.ltd.uk/alastair/ _______________________________________________ Glasgow-haskell-users mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
