#8233: Type environment when reporting holes -------------------------------------------------+------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect warning at | Unknown/Multiple compile-time | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: #8191 -------------------------------------------------+------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:9039108b2d9ad746d47f3917cdfb7a44a4a41ccf/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="9039108b2d9ad746d47f3917cdfb7a44a4a41ccf" Improve error reporting for "relevant bindings" again (Trac #8233) This patch makes a number of related improvements: * Displays relevant bindings in innermost-first order. The inner ones are closer to the error. * Does not display syntactically top-level bindings, unless you say -fno-max-relevant-bindings. This is what Trac #8233 was mainly about * Makes the TopLevelFlag in a TcIdBinder really mean "syntactically top level". It was a bit vague before. There was some associated simplification, because we no longer need to pas a TopLevelFlag to tcMonoBinds and friends. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8233#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler