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

Job Vranish job.vranish at gmail.com
Tue Apr 6 22:51:51 EDT 2010

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

More information about the Haskell-Cafe mailing list