[started to rename duplicate vars (commented)
martin.hofmann@uni-bamberg.de**20100108082016] hunk ./src/Syntax/Ppr.hs 119
-wildIntro :: FunBind -> FunBind      
+wildIntro :: FunBind -> FunBind
hunk ./src/Syntax/Ppr.hs 123
-        let unused = (concatMap getVars ls) \\ (getVars rs)
-            ls' = map (repl unused) ls
+        let unused = (nub (concatMap getVars ls)) \\ (getVars rs)
+            ls' = map (replW unused) ls
hunk ./src/Syntax/Ppr.hs 126
-    repl vs t = foldl (\t' v@(TVarE n ty) -> replaceTerm v (TWildE n ty) t' ) t vs
+--    noDupl (UnGuardEq ls rs) =
+--        let dubl = filter ((>1).length.snd) $ groupBy ((==) `on` fst) $ concatMap getRuleVarPos ls
+--            ls' = map (replD dubl) ls
+--        in (UnGuardEq ls' rs)
+        
+    replD vs t = foldl (\t' v@(TVarE n ty) -> replaceTerm v (TWildE n ty) t' ) t vs
+    replW vs t = foldl (\t' v@(TVarE n ty) -> replaceTerm v (TWildE n ty) t' ) t vs