[code cleanuus. get rid of special case for placeholders when choosing loopbreakers
John Meacham <john@repetae.net>**20060212013915] hunk ./E/SSimplify.hs 119
--- this should use the occurance info
---loopFunc t (EPrim (APrim (PrimPrim s) _) _ _) | "Place" `isPrefixOf` s = -100
-loopFunc t _ | getProperty prop_PLACEHOLDER t = -100  -- we must not choose the placeholder as the loopbreaker
+-- TODO this should use the occurance info
+-- loopFunc t _ | getProperty prop_PLACEHOLDER t = -100  -- we must not choose the placeholder as the loopbreaker
hunk ./E/SSimplify.hs 122
-{-
-loopFunc EVar {} = 0
-loopFunc ELit {} = 1
-loopFunc EPi {} = 1
-loopFunc EPrim {} = 2
-loopFunc EError {} = 2
-loopFunc ELam {} = 3
-loopFunc _ = 4
--}
+
+
hunk ./FrontEnd/Tc/Main.hs 312
-{-
+
+tiPat pl@(HsPList []) (TAp t v) | t == tList = do
+    --typ `subsumes` TAp tList v
+    --v `subsumes` TAp tList v
+    v' <- newBox Star
+    v `subsumes` v'
+    return (pl,mempty)
+
hunk ./FrontEnd/Tc/Main.hs 322
-    --TAp tList v `boxyMatch` typ
hunk ./FrontEnd/Tc/Main.hs 323
-    --TAp tList v `subsumes` typ
hunk ./FrontEnd/Tc/Main.hs 324
--}
hunk ./FrontEnd/Tc/Main.hs 351
+tiPat p _ = error $ "tiPat: " ++ show p
+
hunk ./Main.hs 265
-        --mapM_ (\t -> putStrLn (prettyE (EVar t) <+> show (tvrInfo t))) (fsts cds)
hunk ./Main.hs 270
-        --let uidMap = Map.fromAscList [  (id,Nothing :: Maybe E) | id <- Set.toAscList $ Set.unions [ collectIds e| (t,e) <- cds]]
hunk ./Main.hs 271
-        --let idHist = idHist' `mappend` Histogram.unions [ idHistogram e| (t,e) <- cds]
-        --print idHist