[make Show instance for E more readable
John Meacham <john@repetae.net>**20110131061823
 Ignore-this: f9aeec02995ca244555d43e0b3a3beb9
] hunk ./src/E/E.hs 26
-
-
hunk ./src/E/E.hs 33
-
hunk ./src/E/E.hs 62
-
-
-tFunc a b = ePi (tVr emptyId a) b
-
hunk ./src/E/E.hs 63
-
-
-
+tFunc a b = ePi (tVr emptyId a) b
hunk ./src/E/E.hs 70
-
-
hunk ./src/E/E.hs 75
-
hunk ./src/E/E.hs 81
-
hunk ./src/E/E.hs 88
-
hunk ./src/E/E.hs 91
-
hunk ./src/E/E.hs 112
-
-
hunk ./src/E/E.hs 115
-
hunk ./src/E/E.hs 133
-
-
hunk ./src/E/E.hs 147
+instance Show E where
+    showsPrec d (EAp aa ab) = showParen (d >= 10)
+	      (showString "EAp" . showChar ' ' . showsPrec 10 aa . showChar ' ' .
+	       showsPrec 10 ab)
+    showsPrec d (ELam aa ab) = showParen (d >= 10)
+	      (showString "ELam" . showChar ' ' . showsPrec 10 aa
+	       . showChar ' ' . showsPrec 10 ab)
+    showsPrec d (EPi aa ab) | tvrIdent aa == emptyId = showParen (d >= 10)
+	      (showsPrec 10 (tvrType aa) . showString " -> " .
+	       showsPrec 10 ab)
+    showsPrec d (EPi aa ab) = showParen (d >= 10)
+	      (showString "EPi" . showChar ' ' . showsPrec 10 aa . showChar ' ' .
+	       showsPrec 10 ab)
+    showsPrec d (EVar aa) = showParen (d >= 10)
+	      (showString "EVar" . showChar ' ' . showsPrec 10 aa)
+    showsPrec d (Unknown) = showString "Unknown"
+    showsPrec d (ESort aa) = showsPrec d aa
+    --showsPrec d (ESort aa) = showParen (d >= 10)
+    --          (showString "ESort" . showChar ' ' . showsPrec 10 aa)
+    showsPrec d (ELit aa) = showsPrec 10 aa
+    --showsPrec d (ELit aa) = showParen (d >= 10)
+    --          (showString "ELit" . showChar ' ' . showsPrec 10 aa)
+    showsPrec d (ELetRec aa ab) = showParen (d >= 10)
+	      (showString "ELetRec" . showChar '{' .
+	       showString "eDefs" . showChar '=' . showsPrec 10 aa
+	       . showChar ',' .
+	       showString "eBody" . showChar '=' . showsPrec 10 ab
+	       . showChar '}')
+    showsPrec d (EPrim aa ab ac) = showParen (d >= 10)
+	      (showString "EPrim" . showChar ' ' . showsPrec 10 aa
+	       . showChar ' ' . showsPrec 10 ab . showChar ' ' . showsPrec 10 ac)
+    showsPrec d (EError aa ab) = showParen (d >= 10)
+	      (showString "EError" . showChar ' ' . showsPrec 10 aa
+	       . showChar ' ' . showsPrec 10 ab)
+    showsPrec d (ECase aa ab ac ad ae af) = showParen (d >= 10)
+	      (showString "ECase" . showChar '{' .
+	       showString "eCaseScrutinee" . showChar '=' . showsPrec 10 aa
+	       . showChar ',' .
+	       showString "eCaseType" . showChar '=' . showsPrec 10 ab
+	       . showChar ',' .
+	       showString "eCaseBind" . showChar '=' . showsPrec 10 ac
+	       . showChar ',' .
+	       showString "eCaseAlts" . showChar '=' . showsPrec 10 ad
+	       . showChar ',' .
+	       showString "eCaseDefault" . showChar '=' . showsPrec 10 ae
+	       . showChar ',' .
+	       showString "eCaseAllFV" . showChar '=' . showsPrec 10 af
+	       . showChar '}')
+
+instance Show e => Show (Alt e) where
+    showsPrec n (Alt l e) = showParen (n > 10) $ shows l . showString " -> " . shows e
hunk ./src/E/Type.hs 158
-	deriving(Eq, Ord, Show)
+	deriving(Eq, Ord)
hunk ./src/E/Type.hs 199
---instance FunctorM TVr' where
---    fmapM f t = do e <- f (tvrType t); return t { tvrType = e }
---instance Functor TVr' where
---    fmap f t = runIdentity (fmapM (return . f) t)
-
-instance Show e => Show (Alt e) where
-    showsPrec n (Alt l e) = showParen (n > 10) $ shows l . showString " -> " . shows e
-
-