[Haskell-cafe] Why does Haskell not infer most general type?
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 :)
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe