[clean up Main some
John Meacham <john@repetae.net>**20090701045044
 Ignore-this: 2900538a5abcb5cee4d9c34b13cab4ca
] hunk ./Main.hs 549
-            sequence_ [ printCheckName' dataTable (combHead x) (combBody x) |  x <- es']
+            sequence_ [ printCheckName'' dataTable (combHead x) (combBody x) |  x <- es']
hunk ./Main.hs 900
-
-
-
-
-
-
-
-typecheck dataTable e = case inferType dataTable [] e of
-    Left ss -> do
-        putErrLn (render $ ePretty e)
-        putErrLn $ "\n>>> internal error:\n" ++ unlines (intersperse "----" $ tail ss)
-        maybeDie
-        return Unknown
-    Right v -> return v
-
hunk ./Main.hs 957
-printCheckName' dataTable tvr e = do
-    putErrLn (show $ tvrInfo tvr)
-    putErrLn  ( render $ hang 4 (pprint tvr <+> equals <+> pprint e <+> text "::") )
-    ty <- typecheck dataTable e
-    putErrLn  ( render $ indent 4 (pprint ty))