#1221: Types don't match expressions in type error
-------------------------------------+--------------------------------------
Reporter: igloo | Owner:
Type: bug | Status: new
Priority: low | Milestone: 6.8
Component: Compiler (Type checker) | Version: 6.6
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: tcfail178 | Architecture: Unknown
Os: Unknown |
-------------------------------------+--------------------------------------
Comment (by Frederik):
Thanks for fixing that so quickly, that will be useful.
I'm surprised that the s/In/For/ change is more difficult... I've had
other people tell me that they aren't sure about the difference between
what GHC means by "Expected" and "Inferred". I think changing the first
preposition at some point to something unambiguous would be a good idea -
"In" is not clear, and other prepositions, for instance "By", can create a
meaning which is opposite to that which is intended.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1221>
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
