[remove ePrettyEx
John Meacham <john@repetae.net>**20100812102458
 Ignore-this: 5ff9ed89d829f656c11012d75bab6f16
] hunk ./src/E/Show.hs 1
-module E.Show(ePretty,render,prettyE,ePrettyEx) where
+module E.Show(ePretty,render,prettyE) where
hunk ./src/E/Show.hs 27
-{-# NOINLINE ePrettyEx #-}
hunk ./src/E/Show.hs 33
-ePrettyEx = ePretty
-
-
hunk ./src/E/Show.hs 40
-    pprint x = prettyE x
-
-instance PPrint String e => PPrint String (Maybe e) where
-    pprint Nothing = "Nothing"
-    pprint (Just e) = pprint e
+    pprintAssoc a i x = render $ pprintAssoc a i x
hunk ./src/E/Show.hs-boot 3
-module E.Show(ePretty,render,prettyE,ePrettyEx) where
+module E.Show(ePretty,render,prettyE) where
hunk ./src/E/Show.hs-boot 12
-ePrettyEx :: E -> Doc
hunk ./src/E/TypeCheck.hs 252
-    prettyE = ePrettyEx
+    prettyE = ePretty
hunk ./src/E/TypeCheck.hs 428
-    rfc e =  withContextDoc (text "tcE:" </> ePrettyEx e) (fc e >>=  strong')
+    rfc e =  withContextDoc (text "tcE:" </> ePretty e) (fc e >>=  strong')
hunk ./src/E/TypeCheck.hs 431
-        withContextDoc (text "tcE.strong:" </> ePrettyEx e) $ strong ds e
+        withContextDoc (text "tcE.strong:" </> ePretty e) $ strong ds e
hunk ./src/E/TypeCheck.hs 459
-    fc e = failDoc $ text "what's this? " </> (ePrettyEx e)
+    fc e = failDoc $ text "what's this? " </> (ePretty e)
hunk ./src/E/TypeCheck.hs 464
-    rfc e =  withContextDoc (text "fullCheck':" </> ePrettyEx e) (fc e >>=  strong')
-    rfc' nds e =  withContextDoc (text "fullCheck':" </> ePrettyEx e) (inferType' nds  e >>=  strong')
-    strong' e = withContextDoc (text "Strong':" </> ePrettyEx e) $ strong ds e
+    rfc e =  withContextDoc (text "fullCheck':" </> ePretty e) (fc e >>=  strong')
+    rfc' nds e =  withContextDoc (text "fullCheck':" </> ePretty e) (inferType' nds  e >>=  strong')
+    strong' e = withContextDoc (text "Strong':" </> ePretty e) $ strong ds e
hunk ./src/E/TypeCheck.hs 496
-    fc e = failDoc $ text "what's this? " </> (ePrettyEx e)
+    fc e = failDoc $ text "what's this? " </> (ePretty e)