[clean up HsSyn, get rid of difference between Alt and Rhs. get rid of UnQualified types as a seperate constructor.
John Meacham <john@repetae.net>**20060216035642] hunk ./E/FromHs.hs 165
-guardConv (HsUnGuardedAlt e) = HsUnGuardedRhs e
-guardConv (HsGuardedAlts gs) = HsGuardedRhss (map (\(HsGuardedAlt s e1 e2) -> HsGuardedRhs s e1 e2) gs)
+guardConv x = x
+
+--guardConv (HsUnGuardedAlt e) = HsUnGuardedRhs e
+--guardConv (HsGuardedAlts gs) = HsGuardedRhss (map (\(HsGuardedAlt s e1 e2) -> HsGuardedRhs s e1 e2) gs)
hunk ./FrontEnd/Class.hs 220
-toHsQualType (HsUnQualType t) = HsQualType [] t
hunk ./FrontEnd/DeclsDepends.hs 155
-getGuardedAltsDeps :: HsGuardedAlts -> [HsName]
-getGuardedAltsDeps (HsUnGuardedAlt e)
-   = getExpDeps e
+getGuardedAltsDeps :: HsRhs -> [HsName]
+getGuardedAltsDeps (HsUnGuardedRhs e) = getExpDeps e
hunk ./FrontEnd/DeclsDepends.hs 158
-getGuardedAltsDeps (HsGuardedAlts gAlts)
-   = foldr (++) [] (map getGAltsDeps gAlts)
+getGuardedAltsDeps (HsGuardedRhss gAlts) = foldr (++) [] (map getGAltsDeps gAlts)
hunk ./FrontEnd/DeclsDepends.hs 160
-getGAltsDeps :: HsGuardedAlt -> [HsName]
-getGAltsDeps (HsGuardedAlt _sloc e1 e2)
+getGAltsDeps :: HsGuardedRhs -> [HsName]
+getGAltsDeps (HsGuardedRhs _sloc e1 e2)
hunk ./FrontEnd/DeclsDepends.hs 166
-getStmtDeps (HsGenerator _srcLoc _pat e)
-   = getExpDeps e
+getStmtDeps (HsGenerator _srcLoc _pat e) = getExpDeps e
hunk ./FrontEnd/DeclsDepends.hs 168
-getStmtDeps (HsQualifier e)
-   = getExpDeps e
+getStmtDeps (HsQualifier e) = getExpDeps e
hunk ./FrontEnd/Desugar.hs 322
-       a1 =  HsAlt sloc p (HsUnGuardedAlt (HsVar newPatVarName)) []
-       a2 =  HsAlt sloc HsPWildCard (HsUnGuardedAlt (HsApp (HsVar (UnQual $ HsIdent "error")) (HsLit $ HsString $ show sloc ++ " failed pattern match"))) []
+       a1 =  HsAlt sloc p (HsUnGuardedRhs (HsVar newPatVarName)) []
+       a2 =  HsAlt sloc HsPWildCard (HsUnGuardedRhs (HsApp (HsVar (UnQual $ HsIdent "error")) (HsLit $ HsString $ show sloc ++ " failed pattern match"))) []
hunk ./FrontEnd/Desugar.hs 441
-        let a1 =  HsAlt sloc p (HsUnGuardedAlt e') []
-            a2 =  HsAlt sloc HsPWildCard (HsUnGuardedAlt (HsApp (HsVar (nameName $ toUnqualified v_error)) (HsLit $ HsString $ show sloc ++ " failed pattern match in lambda"))) []
+        let a1 =  HsAlt sloc p (HsUnGuardedRhs e') []
+            a2 =  HsAlt sloc HsPWildCard (HsUnGuardedRhs (HsApp (HsVar (nameName $ toUnqualified v_error)) (HsLit $ HsString $ show sloc ++ " failed pattern match in lambda"))) []
hunk ./FrontEnd/Desugar.hs 596
-desugarGAlts :: (HsGuardedAlts) -> PatSM (HsGuardedAlts)
+desugarGAlts :: (HsRhs) -> PatSM (HsRhs)
hunk ./FrontEnd/Desugar.hs 598
-desugarGAlts (HsUnGuardedAlt e)
+desugarGAlts (HsUnGuardedRhs e)
hunk ./FrontEnd/Desugar.hs 601
-        return (HsUnGuardedAlt newE)
+        return (HsUnGuardedRhs newE)
hunk ./FrontEnd/Desugar.hs 603
-desugarGAlts (HsGuardedAlts gAlts)
+desugarGAlts (HsGuardedRhss gAlts)
hunk ./FrontEnd/Desugar.hs 606
-        return (HsGuardedAlts newGAlts)
+        return (HsGuardedRhss newGAlts)
hunk ./FrontEnd/Desugar.hs 608
-desugarGuardedAlt :: (HsGuardedAlt) -> PatSM (HsGuardedAlt)
+desugarGuardedAlt :: (HsGuardedRhs) -> PatSM (HsGuardedRhs)
hunk ./FrontEnd/Desugar.hs 610
-desugarGuardedAlt (HsGuardedAlt sloc e1 e2)
+desugarGuardedAlt (HsGuardedRhs sloc e1 e2)
hunk ./FrontEnd/Desugar.hs 614
-        return (HsGuardedAlt sloc newE1 newE2)
+        return (HsGuardedRhs sloc newE1 newE2)
hunk ./FrontEnd/Desugar.hs 640
-        HsUnQualType t
-           -> do
-                 newT <- remSynsType t
-                 return (HsUnQualType newT)
hunk ./FrontEnd/Desugar.hs 674
-   a1 =  HsAlt srcLoc pat (HsUnGuardedAlt (doToExp ss)) []
-   a2 =  HsAlt srcLoc HsPWildCard (HsUnGuardedAlt (HsApp (HsVar f_fail) (HsLit $ HsString $ show srcLoc ++ " failed pattern match in do"))) []
+   a1 =  HsAlt srcLoc pat (HsUnGuardedRhs (doToExp ss)) []
+   a2 =  HsAlt srcLoc HsPWildCard (HsUnGuardedRhs (HsApp (HsVar f_fail) (HsLit $ HsString $ show srcLoc ++ " failed pattern match in do"))) []
hunk ./FrontEnd/Desugar.hs 695
-        a1 =  HsAlt srcLoc pat (HsGuardedAlts [HsGuardedAlt srcLoc q (f ss)]) []
-        a2 =  HsAlt srcLoc HsPWildCard (HsUnGuardedAlt $ HsList []) []
+        a1 =  HsAlt srcLoc pat (HsGuardedRhss [HsGuardedRhs srcLoc q (f ss)]) []
+        a2 =  HsAlt srcLoc HsPWildCard (HsUnGuardedRhs $ HsList []) []
hunk ./FrontEnd/Desugar.hs 699
-        a1 =  HsAlt srcLoc pat (HsUnGuardedAlt (f ss)) []
-        a2 =  HsAlt srcLoc HsPWildCard (HsUnGuardedAlt $ HsList []) []
+        a1 =  HsAlt srcLoc pat (HsUnGuardedRhs (f ss)) []
+        a2 =  HsAlt srcLoc HsPWildCard (HsUnGuardedRhs $ HsList []) []
hunk ./FrontEnd/Desugar.hs 704
-        a1 =  HsAlt srcLoc pat (HsUnGuardedAlt exp') []
+        a1 =  HsAlt srcLoc pat (HsUnGuardedRhs exp') []
hunk ./FrontEnd/HsParser.ly 404
->	| type				{ HsUnQualType $1 }
+>	| type				{ HsQualType [] $1 }
hunk ./FrontEnd/HsParser.ly 657
-> ralt :: { HsGuardedAlts }
->	: '->' exp				{ HsUnGuardedAlt $2 }
->	| gdpats				{ HsGuardedAlts (reverse $1) }
+> ralt :: { HsRhs }
+>	: '->' exp				{ HsUnGuardedRhs $2 }
+>	| gdpats				{ HsGuardedRhss (reverse $1) }
hunk ./FrontEnd/HsParser.ly 661
-> gdpats :: { [HsGuardedAlt] }
+> gdpats :: { [HsGuardedRhs] }
hunk ./FrontEnd/HsParser.ly 665
-> gdpat	:: { HsGuardedAlt }
->	: '|' exp srcloc '->' exp 		{ HsGuardedAlt $3 $2 $5 }
+> gdpat	:: { HsGuardedRhs }
+>	: '|' exp srcloc '->' exp 		{ HsGuardedRhs $3 $2 $5 }
hunk ./FrontEnd/HsPretty.hs 374
-ppHsQualType (HsUnQualType htype) = ppHsType htype
hunk ./FrontEnd/HsPretty.hs 543
-ppGAlts :: HsGuardedAlts -> Doc
-ppGAlts (HsUnGuardedAlt exp) = text "->" <+> ppHsExp exp
-ppGAlts (HsGuardedAlts altList) = myVcat . map ppGAlt $ altList
+ppGAlts :: HsRhs -> Doc
+ppGAlts (HsUnGuardedRhs exp) = text "->" <+> ppHsExp exp
+ppGAlts (HsGuardedRhss altList) = myVcat . map ppGAlt $ altList
hunk ./FrontEnd/HsPretty.hs 547
-ppGAlt (HsGuardedAlt pos exp body) =
+ppGAlt (HsGuardedRhs pos exp body) =
hunk ./FrontEnd/HsSyn.hs 192
-	 | HsUnQualType { hsQualTypeType :: HsType }
hunk ./FrontEnd/HsSyn.hs 196
-hsQualTypeHsContext _ = []
hunk ./FrontEnd/HsSyn.hs 313
-data HsAlt
-	= HsAlt SrcLoc HsPat HsGuardedAlts [HsDecl]
-  deriving(Data,Typeable,Eq,Show)
-
-data HsGuardedAlts
-	= HsUnGuardedAlt HsExp
-	| HsGuardedAlts  [HsGuardedAlt]
-  deriving(Data,Typeable,Eq,Show)
-
-data HsGuardedAlt
-	= HsGuardedAlt SrcLoc HsExp HsExp
+data HsAlt = HsAlt SrcLoc HsPat HsRhs [HsDecl]
hunk ./FrontEnd/Infix.hs 178
-processGAlts :: SymbolMap -> HsGuardedAlts -> HsGuardedAlts
+processGAlts :: SymbolMap -> HsRhs -> HsRhs
hunk ./FrontEnd/Infix.hs 180
-    HsUnGuardedAlt exp     -> HsUnGuardedAlt $ fst $ processExp infixMap exp
-    HsGuardedAlts galts    -> HsGuardedAlts $ map (processGAlt infixMap) galts
+    HsUnGuardedRhs exp     -> HsUnGuardedRhs $ fst $ processExp infixMap exp
+    HsGuardedRhss galts    -> HsGuardedRhss $ map (processGAlt infixMap) galts
hunk ./FrontEnd/Infix.hs 184
-processGAlt :: SymbolMap -> HsGuardedAlt -> HsGuardedAlt
-processGAlt infixMap (HsGuardedAlt srcloc e1 e2) = HsGuardedAlt srcloc new_e1 new_e2
+processGAlt :: SymbolMap -> HsGuardedRhs -> HsGuardedRhs
+processGAlt infixMap (HsGuardedRhs srcloc e1 e2) = HsGuardedRhs srcloc new_e1 new_e2
hunk ./FrontEnd/KindInfer.hs 287
-kiQualType varExist qt@(HsUnQualType t) = do
-        withContext ("kiQualType: " ++ show qt) $ do
-        kiType varExist t
---kiQualType varExist (HsUnQualType t)
---   = kiType varExist t
hunk ./FrontEnd/KindInfer.hs 398
-dataAndClassDeps (HsClassDecl _sloc (HsUnQualType _classApp) decls)
-   = snub $ concat [ namesFromQualType (typeFromSig s) | s <- decls,  isHsTypeSig s]
hunk ./FrontEnd/KindInfer.hs 401
-namesFromQualType (HsUnQualType t) = namesFromType t
hunk ./FrontEnd/KindInfer.hs 534
-aHsQualTypeToQualType kt (HsUnQualType t) = [] :=> aHsTypeToType kt t
hunk ./FrontEnd/ParseUtils.hs 89
-checkDataHeader (HsUnQualType t) = do
-	(c,ts) <- checkSimple "class" t []
-	return ([],c,ts)
hunk ./FrontEnd/ParseUtils.hs 247
-checkGAlts :: HsGuardedAlts -> P HsGuardedAlts
-checkGAlts (HsUnGuardedAlt e) = check1Expr e HsUnGuardedAlt
-checkGAlts (HsGuardedAlts galts) = do
+checkGAlts :: HsRhs -> P HsRhs
+checkGAlts (HsUnGuardedRhs e) = check1Expr e HsUnGuardedRhs
+checkGAlts (HsGuardedRhss galts) = do
hunk ./FrontEnd/ParseUtils.hs 251
-	return (HsGuardedAlts galts)
+	return (HsGuardedRhss galts)
hunk ./FrontEnd/ParseUtils.hs 253
-checkGAlt :: HsGuardedAlt -> P HsGuardedAlt
-checkGAlt (HsGuardedAlt loc e1 e2) = check2Exprs e1 e2 (HsGuardedAlt loc)
+checkGAlt :: HsGuardedRhs -> P HsGuardedRhs
+checkGAlt (HsGuardedRhs loc e1 e2) = check2Exprs e1 e2 (HsGuardedRhs loc)
hunk ./FrontEnd/Rename.hs 442
-renameHsQualType (HsUnQualType hsType) subTable = do
-      hsType' <- renameHsType hsType subTable
-      return (HsQualType [] hsType')
hunk ./FrontEnd/Rename.hs 893
-                    return $ HsAlt sl (HsPApp c' (map HsPVar vars))  (HsUnGuardedAlt x) []
+                    return $ HsAlt sl (HsPApp c' (map HsPVar vars))  (HsUnGuardedRhs x) []
hunk ./FrontEnd/Rename.hs 897
-        return $ HsCase n (as ++ [HsAlt sl (HsPVar v) (HsUnGuardedAlt pe) []])
+        return $ HsCase n (as ++ [HsAlt sl (HsPVar v) (HsUnGuardedRhs pe) []])
hunk ./FrontEnd/Rename.hs 918
-    hsGuardedAlts' <- renameHsGuardedAlts hsGuardedAlts subTable''
+    hsGuardedAlts' <- renameHsRhs hsGuardedAlts subTable''
hunk ./FrontEnd/Rename.hs 921
-renameHsGuardedAlts :: HsGuardedAlts -> SubTable -> ScopeSM (HsGuardedAlts)
-renameHsGuardedAlts (HsUnGuardedAlt hsExp) subTable = do
-      hsExp' <- renameHsExp hsExp subTable
-      return (HsUnGuardedAlt hsExp')
-renameHsGuardedAlts (HsGuardedAlts hsGuardedAltList) subTable = do
-      hsGuardedAltList' <- renameHsGuardedAltList hsGuardedAltList subTable
-      return (HsGuardedAlts hsGuardedAltList')
hunk ./FrontEnd/Rename.hs 922
-renameHsGuardedAltList :: [HsGuardedAlt] -> SubTable -> ScopeSM [HsGuardedAlt]
-renameHsGuardedAltList = mapRename renameHsGuardedAlt
+renameHsGuardedRhsList :: [HsGuardedRhs] -> SubTable -> ScopeSM [HsGuardedRhs]
+renameHsGuardedRhsList = mapRename renameHsGuardedRhs
hunk ./FrontEnd/Rename.hs 925
-renameHsGuardedAlt :: HsGuardedAlt -> SubTable -> ScopeSM HsGuardedAlt
-renameHsGuardedAlt (HsGuardedAlt srcLoc hsExp1 hsExp2) subTable = do
-    setSrcLoc srcLoc
-    hsExp1' <- renameHsExp hsExp1 subTable
-    hsExp2' <- renameHsExp hsExp2 subTable
-    return (HsGuardedAlt srcLoc hsExp1' hsExp2')
hunk ./FrontEnd/Rename.hs 1321
-getNewHsNamesFromHsQualType subTable (HsUnQualType hsType)
-  = getNewHsNamesFromHsType subTable hsType
hunk ./FrontEnd/Rename.hs 1337
-getHsNamesFromHsQualType (HsUnQualType hsType) = getHsNamesFromHsType hsType
hunk ./FrontEnd/Rename.hs 1529
-            HsUnQualType  typ ->
-                HsUnQualType  # typ
hunk ./FrontEnd/Rename.hs 1684
-instance Renameable (HsGuardedAlts) where
-    replaceName f object
-      = let a # b = a $ (replaceName f b)
-        in case object of
-            HsUnGuardedAlt  exp ->
-                HsUnGuardedAlt  # exp
-            HsGuardedAlts   guardedalts ->
-                HsGuardedAlts  # guardedalts
-
-instance Renameable (HsGuardedAlt) where
-    replaceName f object
-      = let a # b = a $ (replaceName f b)
-        in case object of
-            HsGuardedAlt  srcloc exp exp' ->
-                HsGuardedAlt  # srcloc # exp # exp'
hunk ./FrontEnd/TIMain.hs 396
-tiGuardedAlts env (HsUnGuardedAlt e)
-   = tiExpr env e
+tiGuardedAlts env (HsUnGuardedRhs e) = tiExpr env e
hunk ./FrontEnd/TIMain.hs 399
-tiGuardedAlts env (HsGuardedAlts gAlts)
+tiGuardedAlts env (HsGuardedRhss gAlts)
hunk ./FrontEnd/TIMain.hs 417
-tiGuardedAlt ::  TypeEnv  -> (HsGuardedAlt) -> TI (([Pred], TypeEnv, Type), ([Pred], TypeEnv, Type))
-tiGuardedAlt env gAlt@(HsGuardedAlt sloc eGuard eRhs)
+tiGuardedAlt ::  TypeEnv  -> (HsGuardedRhs) -> TI (([Pred], TypeEnv, Type), ([Pred], TypeEnv, Type))
+tiGuardedAlt env gAlt@(HsGuardedRhs sloc eGuard eRhs)
hunk ./FrontEnd/TIModule.hs 220
-        fakeForeignDecls = [ [HsForeignDecl bogusASrcLoc ForeignPrimitive "" (nameName x) (HsUnQualType $ HsTyTuple []) ] | (x,_) <- Map.toList noDefaultSigs]
+        fakeForeignDecls = [ [HsForeignDecl bogusASrcLoc ForeignPrimitive "" (nameName x) (HsQualType [] $ HsTyTuple []) ] | (x,_) <- Map.toList noDefaultSigs]
hunk ./FrontEnd/Tc/Main.hs 257
-        HsUnGuardedAlt e -> do
+        HsUnGuardedRhs e -> do
hunk ./FrontEnd/Tc/Main.hs 259
-            return (HsAlt sloc pat' (HsUnGuardedAlt e') wheres')
-        HsGuardedAlts as -> do
+            return (HsAlt sloc pat' (HsUnGuardedRhs e') wheres')
+        HsGuardedRhss as -> do
hunk ./FrontEnd/Tc/Main.hs 262
-            return (HsAlt sloc pat' (HsGuardedAlts gas) wheres')
+            return (HsAlt sloc pat' (HsGuardedRhss gas) wheres')
hunk ./FrontEnd/Tc/Main.hs 264
-tcGuardedAlt typ gAlt@(HsGuardedAlt sloc eGuard e) = withContext (locMsg sloc "in the guarded alternative" $ render $ ppGAlt gAlt) $ do
+tcGuardedAlt typ gAlt@(HsGuardedRhs sloc eGuard e) = withContext (locMsg sloc "in the guarded alternative" $ render $ ppGAlt gAlt) $ do
hunk ./FrontEnd/Tc/Main.hs 268
-    return  (HsGuardedAlt sloc g' e')
+    return  (HsGuardedRhs sloc g' e')
hunk ./FrontEnd/Tc/Module.hs 193
-        fakeForeignDecls = [ [HsForeignDecl bogusASrcLoc ForeignPrimitive "" (nameName x) (HsUnQualType $ HsTyTuple []) ] | (x,_) <- Map.toList noDefaultSigs]
+        fakeForeignDecls = [ [HsForeignDecl bogusASrcLoc ForeignPrimitive "" (nameName x) (HsQualType [] $ HsTyTuple []) ] | (x,_) <- Map.toList noDefaultSigs]
hunk ./FrontEnd/TypeSigs.hs 176
-collectSigsFromAlt (HsAlt _ _ (HsUnGuardedAlt e) decls)
+collectSigsFromAlt (HsAlt _ _ (HsUnGuardedRhs e) decls)
hunk ./FrontEnd/TypeSigs.hs 180
-collectSigsFromAlt (HsAlt _ _ (HsGuardedAlts alts) decls)
+collectSigsFromAlt (HsAlt _ _ (HsGuardedRhss alts) decls)
hunk ./FrontEnd/TypeSigs.hs 184
-collectSigsFromGuardedAlt :: (HsGuardedAlt) -> [(HsDecl)]
+collectSigsFromGuardedAlt :: (HsGuardedRhs) -> [(HsDecl)]
hunk ./FrontEnd/TypeSigs.hs 186
-collectSigsFromGuardedAlt (HsGuardedAlt _ e1 e2)
+collectSigsFromGuardedAlt (HsGuardedRhs _ e1 e2)
hunk ./FrontEnd/TypeSynonyms.hs 39
-declsToTypeSynonyms ts = TypeSynonyms $ Map.fromList [ (toName TypeConstructor name,( args , quantifyHsType args (HsUnQualType t) , sl)) | (HsTypeDecl sl name args t) <- ts]
+declsToTypeSynonyms ts = TypeSynonyms $ Map.fromList [ (toName TypeConstructor name,( args , quantifyHsType args (HsQualType [] t) , sl)) | (HsTypeDecl sl name args t) <- ts]
hunk ./FrontEnd/TypeSynonyms.hs 88
-    substqt sm qt@HsUnQualType { hsQualTypeType = t } = do
-        t' <- subst sm t
-        return qt { hsQualTypeType = t'}
hunk ./FrontEnd/TypeSyns.hs 159
-renameHsQualType (HsUnQualType hsType) subTable = do
-      hsType' <- renameHsType hsType subTable
-      return (HsQualType [] hsType')
hunk ./FrontEnd/TypeSyns.hs 316
-      hsGuardedRhss' <- renameHsGuardedRhss hsGuardedRhss subTable
+      hsGuardedRhss' <- renameHsGuardedRhsList hsGuardedRhss subTable
hunk ./FrontEnd/TypeSyns.hs 320
-renameHsGuardedRhss :: [HsGuardedRhs] -> SubTable -> ScopeSM ([HsGuardedRhs])
-renameHsGuardedRhss = mapRename renameHsGuardedRhs
-
-renameHsGuardedRhs :: HsGuardedRhs -> SubTable -> ScopeSM HsGuardedRhs
-renameHsGuardedRhs (HsGuardedRhs srcLoc hsExp1 hsExp2) subTable = do
-    setSrcLoc srcLoc
-    hsExp1' <- renameHsExp hsExp1 subTable
-    hsExp2' <- renameHsExp hsExp2 subTable
-    return (HsGuardedRhs srcLoc hsExp1' hsExp2')
hunk ./FrontEnd/TypeSyns.hs 458
-    hsGuardedAlts' <- renameHsGuardedAlts hsGuardedAlts subTable''
+    hsGuardedAlts' <- renameHsRhs hsGuardedAlts subTable''
hunk ./FrontEnd/TypeSyns.hs 461
-renameHsGuardedAlts :: HsGuardedAlts -> SubTable -> ScopeSM (HsGuardedAlts)
-renameHsGuardedAlts (HsUnGuardedAlt hsExp) subTable = do
+renameHsGuardedRhss :: HsRhs -> SubTable -> ScopeSM (HsRhs)
+renameHsGuardedRhss (HsUnGuardedRhs hsExp) subTable = do
hunk ./FrontEnd/TypeSyns.hs 464
-      return (HsUnGuardedAlt hsExp')
-renameHsGuardedAlts (HsGuardedAlts hsGuardedAltList) subTable = do
-      hsGuardedAltList' <- renameHsGuardedAltList hsGuardedAltList subTable
-      return (HsGuardedAlts hsGuardedAltList')
+      return (HsUnGuardedRhs hsExp')
+renameHsGuardedRhss (HsGuardedRhss hsGuardedAltList) subTable = do
+      hsGuardedAltList' <- renameHsGuardedRhsList hsGuardedAltList subTable
+      return (HsGuardedRhss hsGuardedAltList')
hunk ./FrontEnd/TypeSyns.hs 469
-renameHsGuardedAltList :: [HsGuardedAlt] -> SubTable -> ScopeSM [HsGuardedAlt]
-renameHsGuardedAltList = mapRename renameHsGuardedAlt
+renameHsGuardedRhsList :: [HsGuardedRhs] -> SubTable -> ScopeSM [HsGuardedRhs]
+renameHsGuardedRhsList = mapRename renameHsGuardedRhs
hunk ./FrontEnd/TypeSyns.hs 472
-renameHsGuardedAlt :: HsGuardedAlt -> SubTable -> ScopeSM HsGuardedAlt
-renameHsGuardedAlt (HsGuardedAlt srcLoc hsExp1 hsExp2) subTable = do
+renameHsGuardedRhs :: HsGuardedRhs -> SubTable -> ScopeSM HsGuardedRhs
+renameHsGuardedRhs (HsGuardedRhs srcLoc hsExp1 hsExp2) subTable = do
hunk ./FrontEnd/TypeSyns.hs 477
-    return (HsGuardedAlt srcLoc hsExp1' hsExp2')
+    return (HsGuardedRhs srcLoc hsExp1' hsExp2')
hunk ./FrontEnd/TypeSyns.hs 688
-getHsNamesFromHsQualType (HsUnQualType hsType) = getHsNamesFromHsType hsType
hunk ./FrontEnd/TypeSyns.hs 857
-            HsUnQualType  typ ->
-                HsUnQualType  # typ
hunk ./FrontEnd/TypeSyns.hs 1010
-instance Renameable (HsGuardedAlts) where
-    replaceName f object
-      = let a # b = a $ (replaceName f b)
-        in case object of
-            HsUnGuardedAlt  exp ->
-                HsUnGuardedAlt  # exp
-            HsGuardedAlts   guardedalts ->
-                HsGuardedAlts  # guardedalts
-
-instance Renameable (HsGuardedAlt) where
-    replaceName f object
-      = let a # b = a $ (replaceName f b)
-        in case object of
-            HsGuardedAlt  srcloc exp exp' ->
-                HsGuardedAlt  # srcloc # exp # exp'
hunk ./FrontEnd/Utils.hs 28
-            HsUnQualType t -> return $ leftMostTyCon t