Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/777cda76784241545023a66fcfcf54c0e6ff1d4f >--------------------------------------------------------------- commit 777cda76784241545023a66fcfcf54c0e6ff1d4f Author: Simon Peyton Jones <[email protected]> Date: Sat Jul 14 13:13:45 2012 +0100 Comments only >--------------------------------------------------------------- compiler/typecheck/TcHsType.lhs | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/compiler/typecheck/TcHsType.lhs b/compiler/typecheck/TcHsType.lhs index 1e30d7c..8b40044 100644 --- a/compiler/typecheck/TcHsType.lhs +++ b/compiler/typecheck/TcHsType.lhs @@ -850,6 +850,7 @@ tcHsTyVarBndr :: LHsTyVarBndr Name -> TcM TyVar -- instance C (a,b) where -- type F (a,b) c = ... -- Here a,b will be in scope when processing the associated type instance for F. +-- See Note [Associated type tyvar names] in TyCon tcHsTyVarBndr (L _ hs_tv) = do { let name = hsTyVarName hs_tv ; mb_tv <- tcLookupLcl_maybe name _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
