25 Oct
2002
25 Oct
'02
4:51 a.m.
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 alastair@reid-consulting-uk.ltd.uk Reid Consulting (UK) Limited http://www.reid-consulting-uk.ltd.uk/alastair/