[improve E showing code. differentiate constructor application from normal, be more verbose with -de-verbose
John Meacham <john@repetae.net>**20060222090157] hunk ./E/Show.hs 82
-            return $ foldl app (atom (tshow s)) es' -- `inhabit` prettye t
+            return $ foldl appCon (atom (tshow s)) es' -- `inhabit` prettye t
hunk ./E/Show.hs 87
+appCon = bop (L,99) (text " ")
hunk ./E/Show.hs 158
-        f (EVar tvr) = showTVr' tvr
+        f (EVar tvr) = if dump FD.EVerbose then showTVr tvr else showTVr' tvr
hunk ./E/Show.hs 188
-        f ec@(ECase { eCaseScrutinee = e, eCaseAlts = alts }) = allocTVr (eCaseBind ec) $ do
+        f ec@(ECase { eCaseScrutinee = e, eCaseAlts = alts }) = mt (showE (eCaseType ec)) $  allocTVr (eCaseBind ec) $ do
hunk ./E/Show.hs 218
+        mt t x | dump FD.EVerbose = do
+                    t <- t
+                    x <- x
+                    return $ x `inhabit` t
+        mt _ x = x
+
+