type synonyms in instances...

[Simon Peyton-Jones]

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