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

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.