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