[don't rename variables or hide unfree binders when -de-verbose is used
John Meacham <john@repetae.net>**20060322224922] hunk ./E/Show.hs 115
+allocTVr _tvr action | dump FD.EVerbose = action
hunk ./E/Show.hs 147
-        f (EPi (TVr { tvrIdent = n, tvrType =  e1}) e2) | not $ n `Set.member` freeVars e2 = liftM2 arr (showE e1) (showE e2)
+        f (EPi (TVr { tvrIdent = n, tvrType =  e1}) e2) | not $ dump FD.EVerbose, not $ n `Set.member` freeVars e2 = liftM2 arr (showE e1) (showE e2)
hunk ./E/Show.hs 200
-                    db <- showTVr (if tvrIdent ecb `Set.member` freeVars e then ecb else ecb { tvrIdent = 0 })
+                    db <- showTVr (if dump FD.EVerbose || (tvrIdent ecb `Set.member` freeVars e) then ecb else ecb { tvrIdent = 0 })