type synonyms in instances...

[Simon Peyton-Jones]

Actually I lied.  You need the -fglasgow-exts flag.

Simon

| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
[mailto:glasgow-haskell-users-
| bounces at haskell.org] On Behalf Of Simon Peyton-Jones
| Sent: 16 July 2004 15:28
| To: MR K P SCHUPKE; glasgow-haskell-users at 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 at haskell.org
| [mailto:glasgow-haskell-users-
| | bounces at haskell.org] On Behalf Of MR K P SCHUPKE
| | Sent: 07 July 2004 11:34
| | To: glasgow-haskell-users at 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 at haskell.org
| | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
| _______________________________________________
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-users