[debugging use of polymorphic type info for partitioning
martin.hofmann@uni-bamberg.de**20090722082450] hunk ./src/RuleDevelopment/Partition.hs 46
-    ps <- predicates
-    parts' <- partitionWith cr
-    llogIN (text "Partition with" <+> pretty ps <^>
-            text "Into:" <+> pretty parts'
-            )
+--    ps <- predicates
+--    parts' <- partitionWith cr
+--    llogIN (text "Partition with" <+> pretty ps <^>
+--            text "Into:" <+> pretty parts'
+--            )
hunk ./src/RuleDevelopment/Partition.hs 74
-    let vars = concatMap (uncurry (map . (,))) $ (concatMap getVarPos) . lhs . crul $ cr
+    let vars = (tp $ "VARPOS" ++ (showp cr)) . concatMap (uncurry (map . (,))) $ (concatMap getVarPos) . lhs . crul $ cr
hunk ./src/RuleDevelopment/Partition.hs 76
+    -- TODO What about constant term, e.g. partitioning whether the first arg
+    -- of a list is '1' ?
hunk ./src/RuleDevelopment/Partition.hs 82
-    
+-- TODO: It is sufficient to use Type instead of TExp in first arg, and it is 
+--       necessary t ouse RulePos instead of Position, or at least keep track 
+--       of the argumet position
hunk ./src/RuleDevelopment/Partition.hs 116
-    getSubterms ps = (tp "SUBTERMS") . (maybe Nothing (nothingIf null)) . flip mapM ps .  (nothingIfHasVars .) . subtermAt . rhs . crul
+    getSubterms ps = (maybe Nothing (nothingIf null)) . flip mapM ps .  (nothingIfHasVars .) . subtermAt . rhs . crul