On Thu, Nov 17, 2005 at 05:43:28PM -0800, John Meacham wrote:
On Thu, Nov 17, 2005 at 01:17:02PM +, Ross Paterson wrote:
On Thu, Nov 17, 2005 at 12:46:31PM -, Simon Peyton-Jones wrote:
On 17 November 2005 12:45, Ross Paterson wrote:
| I think the H98 rule is arbitrarily
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.
Simon
| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] On Behalf
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
On Thu, Nov 17, 2005 at 12:46:31PM -, 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
On Thu, Nov 17, 2005 at 01:17:02PM +, Ross Paterson wrote:
On Thu, Nov 17, 2005 at 12:46:31PM -, 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