kind inference

Simon Peyton-Jones simonpj at
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]
| Sent: 17 November 2005 12:45
| To: Simon Peyton-Jones
| Cc: glasgow-haskell-users at
| 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
| > goes beyond H98, so GHC types a few too many programs even in H98
| > 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
| declarations, type signature declarations and expression type

More information about the Glasgow-haskell-users mailing list