Re: [GHC] #8233: Type environment when reporting holes

10 Sep 2013

      #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 ):

 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