• Simon Peyton Jones's avatar
    Improve error reporting for "relevant bindings" again (Trac #8233) · 9039108b
    Simon Peyton Jones authored
    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.
    9039108b
TcRnTypes.lhs 66.2 KB