[BUGFIX: simplifying map/fold/filter applications
martin.hofmann@uni-bamberg.de**20100125111328] hunk ./src/Igor2/Data/Hypotheses.hs 111
-    isInjectable bnds n = 
+    isInjectable bnds n = let fbnds = lookup n bnds in
hunk ./src/Igor2/Data/Hypotheses.hs 114
-        (maybe False id (liftM ((==1).S.size) $ lookup n bnds))
+        (maybe False id (liftM ((==1).S.size) fbnds))
hunk ./src/Igor2/Data/Hypotheses.hs 119
+        (maybe False (not . (any hasHO) . S.toList) fbnds)
+        -- True if the function itself is not a Ho
+        &&
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 59
-              let afty = [typeOf . crul $ afcr]                
-              let atys = unArrowT . typeOf . crul $ cr        
+              let afty = typeOf . crul $ afcr                
+              let atys = unArrowT . typeOf . crul $ cr
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 65
-              let afExp = foldTAppE ((tConE afnm) afty)(init . lhs . crul $ cr)
+              let afExp = foldTAppE ((tConE afnm) [afty])(init . lhs . crul $ cr)
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 67
-                          (tConE 'map (afty ++ atys))
+                          (tConE 'map (afty:atys))
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 96
-                let afty = [typeOf . crul $ afcr]                
+                let afty = typeOf . crul $ afcr                
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 102
-                let pExp = foldTAppE ((tConE afnm) afty) (init . lhs . crul $ cr)
+                let pExp = foldTAppE ((tConE afnm) [afty]) (init . lhs . crul $ cr)
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 104
-                            (tConE 'filter (afty ++ atys))
+                            (tConE 'filter (afty:atys))
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 133
-        let afty = [typeOf . crul $ afcr]                
+        let afty = typeOf . crul $ afcr                
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 140
-        let afExp = foldTAppE ((tConE afnm) afty)(init . lhs . crul $ cr)
+        
+        let afExp =  foldTAppE ((tConE afnm) [afty])(init . lhs . crul $ cr)
hunk ./src/Igor2/RuleDevelopment/ListCata.hs 143
-                    (tConE 'map (afty ++ atys))
+                    (tConE 'map (afty:atys))