[HACK to output unqualified names in resulting hypotheses
martin.hofmann@uni-bamberg.de**20090611085059] hunk ./src/Logging/PrettyPrinter.hs 14
+import Data.List (isPrefixOf, stripPrefix)
+import Data.Maybe
hunk ./src/Logging/PrettyPrinter.hs 54
+    
hunk ./src/Logging/PrettyPrinter.hs 62
-    pretty = text.pprint
+    pretty = text.unqual.pprint
+
+-- HACK!! I am to lazy to not use the Ppr instance of Dec
+unqual [] = []
+unqual s@(x:xs)
+    | qualified s = unqual $ unqualifie s
+    | otherwise   = x:(unqual xs)
+    where
+    qualified  s  = any (flip isPrefixOf s) qualifiers
+    unqualifie s  = foldl stripFrom s qualifiers
+    stripFrom s p = maybe s id (stripPrefix p s)
+    qualifiers    = ["Data.Either.", "Data.Maybe.","GHC.Bool.","GHC.Types."]