[code cleanups
John Meacham <john@repetae.net>**20050913012029] hunk ./Grin/PointsToAnalysis.hs 504
-                    ns = Set.fromList $ concat [ incp (fromAtom n) | n <- Set.toList (getNodes v), tagIsPartialAp n ]
+                    ns = Set.fromList $ concatMap incp (Set.toList (getNodes v))
hunk ./Grin/PointsToAnalysis.hs 506
-                            do nn <- incp (fromAtom n)
+                            do nn <- incp n
hunk ./Grin/PointsToAnalysis.hs 508
-                        | ((n,i),v) <- Map.toList (getNodeArgs v), tagIsPartialAp n]
+                        | ((n,i),v) <- Map.toList (getNodeArgs v)]
hunk ./Grin/PointsToAnalysis.hs 512
-                    flip mapM_ (concat [  fmap ((,) n) (incp (fromAtom n))  | n <- (allNodes v), tagIsPartialAp n ]) $ \(on,n) -> do
+                    flip mapM_ (concat [  fmap ((,) n) (incp n)  | n <- (allNodes v) ]) $ \(on,n) -> do
hunk ./Grin/PointsToAnalysis.hs 518
-                    sequence_ $ concat [  papp'' (fromAtom n) i a | ((n,i),a) <- Map.toList (getNodeArgs v), tagIsPartialAp n ]
-                    sequence_ $ concat [  papp' (fromAtom n) x'  | n <- Set.toList (getNodes v), tagIsPartialAp n ]
+                    sequence_ $ concat [  papp'' n i a | ((n,i),a) <- Map.toList (getNodeArgs v) ]
+                    sequence_ $ concat [  papp' n x'  | n <- Set.toList (getNodes v) ]
hunk ./Grin/PointsToAnalysis.hs 577
+            unless (tagIsFunction a) $ fail "procApp: not function"