[Forced qualified Names when parsing spec file
martin.hofmann@uni-bamberg.de**20090611084642] hunk ./src/Context/ContextBuilder.hs 439
-  toName (Hs.Ident s) = toName s
+  toName (Hs.Ident s) -- = toName s
+  -- need to code it the hard way to make sure to get the right thing
+    | s == "Maybe"   = ''Maybe
+    | s == "Just"    = 'Just
+    | s == "Nothing" = 'Nothing
+    | s == "Either"  = ''Either
+    | s == "Left"    = 'Left
+    | s == "Right"   = 'Right
+    | s == "Bool"    = ''Bool
+    | s == "True"    = 'True
+    | s == "False"   = 'False
+    | otherwise      = toName s
hunk ./src/Logging/PrettyPrinter.hs 28
-    
---
---date :: IO (Integer,Int,Int,Integer) -- :: (year,month,day,CPUTime)
---date = do
---       (y,m,d) <- getCurrentTime >>= return . toGregorian . utctDay
---       s       <- getCPUTime
---       return (y,m,d,s)
---
---showDate = date >>= \(y,m,d,s) ->
---             return $ (shows y) . (shows m). (shows d) $ show s
---
---printResult :: (Either String [[Dec]],Log) -> IO()
---printResult (r,l) = do 
---    file    <- showDate >>= \d -> return ("log/" ++ d ++ ".log")
---    fhandle <- openFile file AppendMode
---    printLog l  [fhandle,stdout]
---    case r of
---        Left  e -> mapM_ ((flip hPutStr)  ("UNCAUGHT ERROR: " ++ e)) [fhandle,stdout]
---        Right r -> printDecs r [fhandle,stdout]
---    hClose fhandle
---    
---                
---printLog :: Log -> [Handle] -> IO ()
---printLog logs handles =  mapM_ (flip hPutDoc content) handles
---    where    
---    content = frame "Log Log Log Log Log Log Log" <$> pretty logs
---
---printDecs :: [[Dec]] -> [Handle] -> IO()
---printDecs decs handles = do
---    let hyponum = length decs
---    docs <- liftM vcat $ mapM (printInQ  hyponum) (zip decs [1..])
---    let content = frame "Results Results Results" <$$> docs
---    mapM_ ((flip hPutDoc) content) handles
---
---printInQ :: Int -> ([Dec],Int) -> IO Doc    
---printInQ = \j (d,i) -> (runQ.return) d >>= \p -> 
---                return $ indent 6 (text "- - - - - HYPOTHESE" <+> int i <+> 
---                                   text "of" <+> int j <+> text "- - - - -") <$$>
---                         linebreak <> 
---                         vcat (map pretty p) <>
---                         linebreak 
---                         
---frame s = vsep [line,header s,line,softline]
---    where
---    line     = (text "*") <+>
---               hsep (replicate (colwidth -2) (text "-")) <+>
---               text  "*"
---    spaces   = ((colwidth) - (length s)) `div` 2 
---    colwidth =  72
---    header s = (text "|") <+> hsep (replicate spaces space) <+>
---               text s <+> hsep (replicate spaces space) <+> (text "|")    
-    
+ 