[clean up some code. add more Name.Names, pretty print some basic values more compactly
John Meacham <john@repetae.net>**20060209033141] hunk ./E/E.hs 207
-    tRational = ELit (LitCons (toName TypeConstructor ("Ratio","Ratio")) [tInteger] eStar)
+    tRational = ELit (LitCons tc_Ratio [tInteger] eStar)
hunk ./E/E.hs 211
-    tString =  (ELit (litCons TypeConstructor ("Prelude","[]") [tChar] eStar))
+    tString =  (ELit (LitCons tc_List [tChar] eStar))
hunk ./E/E.hs 242
-litCons t x y z = LitCons (toName t x) y z
-
-
hunk ./E/Show.hs 73
+        f (LitCons n [v] _)
+            | n == dc_Integer = go "Integer#"
+            | n == dc_Int     = go "Int#"
+            | n == dc_Char    = go "Char#"
+          where go n = do
+                    se <- showBind v
+                    return $ atom (text n) `app` se
hunk ./E/Show.hs 129
+        f e | e == tBool     = return $ atom $ text "Bool"
+        f e | e == tChar     = return $ atom $ text "Char"
+        f e | e == tInt      = return $ atom $ text "Int"
+        f e | e == tInteger  = return $ atom $ text "Integer"
+        f e | e == tRational = return $ atom $ text "Rational"
+        f e | e == tString   = return $ atom $ text "String"
+        f e | e == tUnit     = return $ atom $ text "()"
+        f e | e == tWorld__  = return $ atom $ text "World__"
+        f e | e == vFalse    = return $ atom $ text "False"
+        f e | e == vTrue     = return $ atom $ text "True"
+        f e | e == vUnit     = return $ atom $ text "()"
hunk ./E/Show.hs 224
+{-# NOINLINE ePretty #-}
hunk ./FrontEnd/TIModule.hs 26
---import FrontEnd.Tc.Main()
hunk ./FrontEnd/TIModule.hs 44
-trimEnv env = Map.filterWithKey (\k _ -> isGlobal k) env -- (Map.fromList [ n | n@(name,_) <- Map.toList env,  isGlobal name ])
+trimEnv env = Map.filterWithKey (\k _ -> isGlobal k) env
hunk ./FrontEnd/TIModule.hs 65
---lookupMod ModEnv { modEnvModules  = m } s =  case  M.lookup s m of
---    Just z -> z
---    Nothing -> error $ "lookupMod: " ++ show s
hunk ./FrontEnd/TIModule.hs 73
---buildFieldLabelMap ::  Map.Map Name (SrcLoc,[Name]) -> Map.Map Name [(Name,Int,Int)]
---buildFieldLabelMap fm = Map.fromList $ sortGroupUnderF fst $ concat [ [ (y,(x,i,length ys)) |  y <- ys | i <- [0..] ]  | (x,(_,ys)) <- Map.toList fm, nameType x == DataConstructor ]
hunk ./Name/Names.hs 76
+
hunk ./Name/Names.hs 79
-tc_List = toName TypeConstructor ("Prelude","[]")
-tc_Ptr = toName TypeConstructor ("Foreign.Ptr","Ptr")
hunk ./Name/Names.hs 81
-tc_Int = toName TypeConstructor ("Prelude","Int")
hunk ./Name/Names.hs 82
-tc_Integer = toName TypeConstructor ("Prelude","Integer")
-tc_Double = toName TypeConstructor ("Prelude","Double")
hunk ./Name/Names.hs 83
+tc_Double = toName TypeConstructor ("Prelude","Double")
+tc_Integer = toName TypeConstructor ("Prelude","Integer")
+tc_Int = toName TypeConstructor ("Prelude","Int")
+tc_List = toName TypeConstructor ("Prelude","[]")
+tc_Ptr = toName TypeConstructor ("Foreign.Ptr","Ptr")
+tc_Ratio = toName TypeConstructor ("Ratio","Ratio")