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

Ross Paterson ross at soi.city.ac.uk
Tue Apr 6 19:00:59 EDT 2010

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.

More information about the Haskell-Cafe mailing list