kind inference

Simon Peyton-Jones simonpj at microsoft.com
Thu Nov 17 07:46:31 EST 2005


one could. but GHC doesn't.  feels low prio to me...

| -----Original Message-----
| From: Ross Paterson [mailto:ross at soi.city.ac.uk]
| Sent: 17 November 2005 12:45
| To: Simon Peyton-Jones
| Cc: glasgow-haskell-users at haskell.org
| Subject: Re: kind inference
| 
| On Thu, Nov 17, 2005 at 12:32:37PM -0000, Simon Peyton-Jones wrote:
| > Yes it's deliberate.  (Turned out to be easy and convenient.)   Yes
it
| > goes beyond H98, so GHC types a few too many programs even in H98
mode.
| > I guess I should document it.
| 
| I think the H98 rule is arbitrarily restrictive.  But what about going
| further and considering the occurrences of type constructors in
instance
| declarations, type signature declarations and expression type
signatures?



More information about the Glasgow-haskell-users mailing list