one could. but GHC doesn't. feels low prio to me... | -----Original Message----- | From: Ross Paterson [mailto:[EMAIL PROTECTED] | Sent: 17 November 2005 12:45 | To: Simon Peyton-Jones | Cc: glasgow-haskell-users@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?
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users