On Wed, Jan 4, 2012 at 1:07 AM, Yves Parès <[email protected]> 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.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
