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

[Job Vranish]

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 <ross at soi.city.ac.uk> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100406/8865fa28/attachment.html