Actually I lied. You need the -fglasgow-exts flag. Simon | -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users- | bounces@haskell.org] On Behalf Of Simon Peyton-Jones | Sent: 16 July 2004 15:28 | To: MR K P SCHUPKE; glasgow-haskell-users@haskell.org | Subject: RE: type synonyms in instances... | | It seems that GHC does this by default (which is technically wrong, | perhaps). I've just tried it. | | Simon | | | -----Original Message----- | | From: glasgow-haskell-users-bounces@haskell.org | [mailto:glasgow-haskell-users- | | bounces@haskell.org] On Behalf Of MR K P SCHUPKE | | Sent: 07 July 2004 11:34 | | To: glasgow-haskell-users@haskell.org | | Subject: type synonyms in instances... | | | | | | Is there any chance of enabling type synonyms in instance | declarations. | | I remember a posting where is was stated that there was no technical | | reason for not being able to do this. | | | | Could we perhaps have a command line switch to enable this... | | | | For example, I think the following:- | | | | instance (HList e HNil) where ... | | | | is more readable as: | | | | type HSingleton e = HCons e HNil | | | | instance (HSingleton e) where ... | | | | Keean. | | _______________________________________________ | | Glasgow-haskell-users mailing list | | Glasgow-haskell-users@haskell.org | | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users