Re: [Haskell-cafe] Solved but strange error in type inference

3 Jan 2012

      On Wed, Jan 4, 2012 at 1:07 AM, Yves Parès  wrote:
...
...
I wonder why the redeclared type variables cannot match those of legSome?
Try to put a totally wrong type to subsome, like
subsome :: Int
and tell us from the error what type is actually inferred.
The actually inferred type is

    Couldn't match expected type `Int'
                with actual type `[([Symbols nt t], [s] -> t0)]
                                  -> Either [Char] ([t], t0)'
    In the expression: subsome :: Int

I still don't understand why the original mismatch happens.

Re: [Haskell-cafe] Solved but strange error in type inference

Yucheng Zhang