Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/f76f0d0e5ec81244951994be1d1acee5650b0b75 >--------------------------------------------------------------- commit f76f0d0e5ec81244951994be1d1acee5650b0b75 Author: Simon Peyton Jones <[email protected]> Date: Mon Aug 22 08:08:50 2011 +0100 A batch of changes related to the handling of binders in instance decls The issue is that in instnace C T where data S = ... f = ... neither S nor f is really a binder; they are *occurrences*. Moreover Haskell dictates that these particular occurrences are disambiguated by looking at the class whose instance they occur in. Some of this was not handled right for associated types. And RnNames.getLocalNonValBinders was a bit messhy; this patch tidies it up. (And thenM is finally gone from RnSource.) compiler/basicTypes/RdrName.lhs | 14 +-- compiler/deSugar/DsMeta.hs | 2 +- compiler/hsSyn/HsTypes.lhs | 16 ++-- compiler/rename/RnBinds.lhs | 2 +- compiler/rename/RnEnv.lhs | 27 +++-- compiler/rename/RnNames.lhs | 208 ++++++++++++++++++++----------------- compiler/rename/RnSource.lhs | 205 ++++++++++++++++-------------------- compiler/typecheck/TcRnDriver.lhs | 7 +- 8 files changed, 241 insertions(+), 240 deletions(-) Diff suppressed because of size. To see it, use: git show f76f0d0e5ec81244951994be1d1acee5650b0b75 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
