kind inference

Ross Paterson ross at
Thu Nov 17 07:44:33 EST 2005

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