#1330: Church2 test gives a rather confusing error with the HEAD
--------------------------------------+-------------------------------------
Reporter: igloo | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.8
Component: Compiler (Type checker) | Version: 6.7
Severity: normal | Keywords:
Difficulty: Unknown | Os: Unknown
Testcase: Church2 | Architecture: Unknown
--------------------------------------+-------------------------------------
The Church2 test gives a rather confusing error with the HEAD:
{{{
Church2.hs:27:14:
Couldn't match expected type `CNat'
against inferred type `(a -> a) -> a -> a'
Expected type: CNat -> CNat
Inferred type: CNat -> CNat
In the first argument of `n', namely `(mul m)'
In the expression: n (mul m) n1
}}}
In particular the lines
{{{
Expected type: CNat -> CNat
Inferred type: CNat -> CNat
}}}
are confusing, and I'm not sure why it's giving two expected/inferred
pairs of types.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1330>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
