[make type synonym name finding work with quantification
John Meacham <john@repetae.net>**20051208102131] hunk ./FrontEnd/TypeSyns.hs 684
-getHsNamesFromHsPatField (HsPFieldPat _hsName hsPat)
-  = getHsNamesFromHsPat hsPat
+getHsNamesFromHsPatField (HsPFieldPat _hsName hsPat) = getHsNamesFromHsPat hsPat
hunk ./FrontEnd/TypeSyns.hs 687
-getHsNamesAndASrcLocsFromHsStmt (HsGenerator srcLoc hsPat _hsExp)
-  = zip (getHsNamesFromHsPat hsPat) (repeat srcLoc)
-getHsNamesAndASrcLocsFromHsStmt (HsQualifier _hsExp)
-  = []
-getHsNamesAndASrcLocsFromHsStmt (HsLetStmt hsDecls)
-  = concat $ map getHsNamesAndASrcLocsFromHsDecl hsDecls
+getHsNamesAndASrcLocsFromHsStmt (HsGenerator srcLoc hsPat _hsExp) = zip (getHsNamesFromHsPat hsPat) (repeat srcLoc)
+getHsNamesAndASrcLocsFromHsStmt (HsQualifier _hsExp) = []
+getHsNamesAndASrcLocsFromHsStmt (HsLetStmt hsDecls) = concat $ map getHsNamesAndASrcLocsFromHsDecl hsDecls
hunk ./FrontEnd/TypeSyns.hs 697
-getHsNamesFromHsQualType (HsQualType _hsContext hsType)
-  = getHsNamesFromHsType hsType
-getHsNamesFromHsQualType (HsUnQualType hsType)
-  = getHsNamesFromHsType hsType
+getHsNamesFromHsQualType (HsQualType _hsContext hsType) = getHsNamesFromHsType hsType
+getHsNamesFromHsQualType (HsUnQualType hsType) = getHsNamesFromHsType hsType
hunk ./FrontEnd/TypeSyns.hs 701
-getHsNamesFromHsType (HsTyFun hsType1 hsType2)
-  = (getHsNamesFromHsType hsType1) ++ (getHsNamesFromHsType hsType2)
-getHsNamesFromHsType (HsTyTuple hsTypes)
-  = concat $ map getHsNamesFromHsType hsTypes
-getHsNamesFromHsType (HsTyApp hsType1 hsType2)
-  = (getHsNamesFromHsType hsType1) ++ (getHsNamesFromHsType hsType2)
-getHsNamesFromHsType (HsTyVar hsName)
-  = [hsName]
-getHsNamesFromHsType (HsTyCon _hsName)
-  = [] -- don't rename the Constructors
+getHsNamesFromHsType (HsTyFun hsType1 hsType2) = (getHsNamesFromHsType hsType1) ++ (getHsNamesFromHsType hsType2)
+getHsNamesFromHsType (HsTyTuple hsTypes) = concat $ map getHsNamesFromHsType hsTypes
+getHsNamesFromHsType (HsTyApp hsType1 hsType2) = (getHsNamesFromHsType hsType1) ++ (getHsNamesFromHsType hsType2)
+getHsNamesFromHsType (HsTyVar hsName) = [hsName]
+getHsNamesFromHsType (HsTyForall vs qt) = getHsNamesFromHsQualType qt List.\\ map hsTyVarBindName vs
+getHsNamesFromHsType (HsTyCon _hsName) = [] -- don't rename the Constructors