kind inference

Ross Paterson ross at
Thu Nov 17 08:17:02 EST 2005

On Thu, Nov 17, 2005 at 12:46:31PM -0000, Simon Peyton-Jones wrote:
> On 17 November 2005 12:45, Ross Paterson wrote:
> | 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?
> one could. but GHC doesn't.  feels low prio to me...

It would probably not make many more practical programs legal, but it
would be less arbitrary and easier to explain.

More information about the Glasgow-haskell-users mailing list