Re: [Haskell-cafe] Why does Haskell not infer most general type?

Thank you all for your replies. This is all much more clear now :) - Job On Tue, Apr 6, 2010 at 7:00 PM, Ross Paterson wrote:

On Tue, Apr 06, 2010 at 05:18:34PM -0400, Job Vranish wrote:

...

So in Haskell 98, would the added constraints result in a type error?

Yes, because the types of the mutually recursive identifiers would be inferred together without using the type signatures, and then would fail to match the declared types.

But then there aren't any implementations of Haskell 98 to test this on. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe