Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Sat, 14 Jul 2012 12:13:45 +0000 (13:13 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Sat, 14 Jul 2012 12:13:45 +0000 (13:13 +0100)
compiler/typecheck/TcHsType.lhs

index 1e30d7c..8b40044 100644 (file)
@@ -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