[GHC] #9173: Better type error messages
GHC
ghc-devs at haskell.org
Sat Nov 21 12:33:41 UTC 2015
#9173: Better type error messages
-------------------------------------+-------------------------------------
Reporter: simonpj | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.8.2
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by thomie):
Again discussed in this thread:
https://www.reddit.com/r/haskell/comments/3tm3lv/proposal_expectedactual_requiredfound/
Not much new. `expected/found` instead of `expected/actual` seems a
popular choice.
I vote for switching the order as well, mentioning the word "context", and
perhaps omitting the word `actual`. Something like this:
{{{
Couldn't match type ‘Char’ with type ‘Bool’ expected from context.
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9173#comment:15>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list