[GHC] #11117: mdo blocks in error messages are shown modified
GHC
ghc-devs at haskell.org
Fri Nov 20 14:12:45 UTC 2015
#11117: mdo blocks in error messages are shown modified
-------------------------------------+-------------------------------------
Reporter: nomeata | Owner:
Type: bug | Status: new
Priority: low | Milestone:
Component: Compiler | Version: 7.8.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Incorrect | Unknown/Multiple
warning at compile-time | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by simonpj):
You are dead right ... this is not what GHC usually does.
But it's harder here. The renamer re-organises an `mdo` into strongly-
connected components, and therefore adds `rec` statements. This message
comes from the type checker, which now doesn't know the original program.
Not great. I'm not sure the best way to fix.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11117#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list