[layout, format, etc
martin.hofmann@uni-bamberg.de**20100811131952] hunk ./src/Igor2/RuleDevelopment/Cata.hs 74
+-- not used yet
+tyFuncIdcs cr = 
+    mapM doit (zip (lhs . crul $ cr) [0..]) >>= return . reverse . rights
+    where
+    doit :: (TExp,Int) -> IM (Either String Int)
+    doit x = applyC $ (match (fst x) funcVar) >> return (snd x)
hunk ./src/Igor2/RuleDevelopment/Cata.hs 88
-  para <- usePara
-  llogNO $ msg para
+  withP <- usePara
+  llogNO $ msg withP
hunk ./src/Igor2/RuleDevelopment/Cata.hs 91
-  (dataTypeName i (crul cr) >>= ctorsOf >>= partByCtors i evi >>= mkMorphism  para i cr) 
-  `catchError` \e -> noMorph i e
+  (dataTypeName i (crul cr) >>= ctorsOf >>= partByCtors i evi >>= mkMorphism withP i cr)  `catchError` (\e -> noMorph withP i e)
hunk ./src/Igor2/RuleDevelopment/Cata.hs 113
-    hasCtor n  c                 = (ts $ "XXX " ++ (showp n) ++ " "++  (showp c)) $ False  
+    hasCtor n  c                 = False  
hunk ./src/Igor2/RuleDevelopment/Cata.hs 153
-           (groupBy ((((all $ uncurry equal) . ) . zip) `on` lhs)) .(tp "XXX")
+           (groupBy ((((all $ uncurry equal) . ) . zip) `on` lhs))