#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_req... 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