[code cosmetics and type signatures
martin.hofmann@uni-bamberg.de**20090403120048] hunk ./src/Logging/PrettyPrinter.hs 89
-    lparen <> (pretty a) <+> ((text "->" ) <+> ( align (pretty b) <> rparen))
+    lparen <> (pretty a) <+> ((text "|->" ) <+> ( align (pretty b) <> rparen))
hunk ./src/Logging/PrettyPrinter.hs 111
+    
+instance Pretty Type where
+    pretty = text.pprint
+    
+instance Pretty Clause where
+    pretty = text.pprint
hunk ./src/Syntax/Translator.hs 148
-
+mkAppT :: Name -> [Name] -> Type
hunk ./src/Syntax/Translator.hs 151
+mkHsTyApp :: Hs.Name -> [Hs.Name] -> Hs.Type
hunk ./src/Syntax/Translator.hs 154
+mkHsTyFun :: [Hs.Type] -> Hs.Type
hunk ./src/Syntax/Translator.hs 157
+mkHsAsst :: Hs.Name -> [Hs.Name] -> Hs.Asst
hunk ./src/Syntax/Translator.hs 160
+unBang :: Hs.BangType -> Hs.Type
hunk ./src/Syntax/Translator.hs 165
-
+            
+mkForallT :: (T.ToType a) => [a] -> Type -> Type
hunk ./src/Syntax/Translator.hs 187
+addToBindings :: [(Name, [Clause])] -> Context -> Context
hunk ./src/Syntax/Translator.hs 193
+addToTypes :: [(Name, Type)] -> Context -> Context
hunk ./src/Syntax/Translator.hs 199
+addToClasses :: [(Name, [Name])] -> Context -> Context
hunk ./src/Syntax/Translator.hs 205
+addToInstances :: [(Type, Name)] -> Context -> Context
hunk ./src/Syntax/Translator.hs 211
+addToTypeSyns :: [(Type, Type)] -> Context -> Context
hunk ./src/UI/UIStarter.hs 17
-version = "v0.5.0"
+version = "v0.5.1"
hunk ./src/UI/UIStarter.hs 106
-runCmd s Clear  = return (False, s{context=defaultContext})
+runCmd s Reset  = return (False, s{context=defaultContext})
hunk ./src/UI/UIStarter.hs 125
-\.___                   ._._             \n\            
-\|   | ____  ___________| | |  ._       \n\
-\|   |/ __ \\/  _ \\_  __ \\ | | _| |__ \n\ 
-\|   / /_/  ) <_> )  | \\/ | |/_   _/   \n\
-\|___\\___  /\\____/|__|  |_|_|  |_|    \n\
-\   /_____/                  " ++ version ++ "\n"   
+\\n\
+\  .___                   ._._             \n\            
+\  |   | ____  ___________| | |  ._       \n\
+\  |   |/ __ \\/  _ \\_  __ \\ | | _| |__ \n\ 
+\  |   / /_/  ) <_> )  | \\/ | |/_   _/   \n\
+\  |___\\___  /\\____/|__|  |_|_|  |_|    \n\
+\     /_____/                  " ++ version ++ "\n"   
hunk ./src/UI/UIStarter.hs 183
- | Clear
+ | Reset
hunk ./src/UI/UIStarter.hs 193
-    , (":load \"path/to/file\"",        "Load a spec file.",             stringLiteral >>= return . Load)
-    , (":clear",                        "Clear the current context.",   return Clear)
hunk ./src/UI/UIStarter.hs 194
+    , (":load \"path/to/file\"",        "Load a spec file into context.",             stringLiteral >>= return . Load)
+    , (":reset",                        "Reset the current context.",   return Reset)