type synonyms in instances...
simonpj at microsoft.com
Fri Jul 16 10:28:25 EDT 2004
It seems that GHC does this by default (which is technically wrong,
perhaps). I've just tried it.
| -----Original Message-----
| From: glasgow-haskell-users-bounces at haskell.org
| 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
| 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 ...
| Glasgow-haskell-users mailing list
| Glasgow-haskell-users at haskell.org
More information about the Glasgow-haskell-users