[commit: ghc] master: Fix the trimming of bind_fvs (fixes Trac #5439) (eb46e0d)

[Simon Peyton Jones]

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/eb46e0de6eab60483f38ed2088d9de13d8e74e2f

>---------------------------------------------------------------

commit eb46e0de6eab60483f38ed2088d9de13d8e74e2f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Sep 1 08:28:36 2011 +0100

    Fix the trimming of bind_fvs (fixes Trac #5439)
    
    For the bind_fvs field of FunBind/PatBind, we need to be careful to
    keep track of uses of all functions in this module (although not
    imported ones).  Moreover in TcBinds.decideGeneralisationPlan we
    need to take note of uses of lexically scoped type variables.
    
    These two buglets led to a (useful) assertion failure in TcEnv.

 compiler/hsSyn/HsBinds.lhs       |   52 ++++++++++++++++++++++++----
 compiler/rename/RnBinds.lhs      |   70 +++++++++++++++++---------------------
 compiler/typecheck/TcBinds.lhs   |   12 +++++-
 compiler/typecheck/TcRnTypes.lhs |   36 +++++++++++++++++++-
 4 files changed, 121 insertions(+), 49 deletions(-)


Diff suppressed because of size. To see it, use:

    git show eb46e0de6eab60483f38ed2088d9de13d8e74e2f