[recover gracefully from type errors
John Meacham <john@repetae.net>**20051208045357] hunk ./FrontEnd/Diagnostic.hs 39
-typeError :: TypeError -> [Diagnostic] -> a
+typeError :: Monad m => TypeError -> [Diagnostic] -> m a
hunk ./FrontEnd/Diagnostic.hs 41
-   = error $ "\n" ++
+   = fail $ "\n" ++
hunk ./FrontEnd/TIMonad.hs 86
-        liftIO $ processIOErrors
+        liftIO $ printIOErrors
hunk ./Interactive.hs 4
-import IO(stdout)
+import IO(stdout,ioeGetErrorString)
hunk ./Interactive.hs 113
-        Right e -> executeStatement isInitial { stateHo = ho, stateInteract = act } e >> return act
+        Right e -> do
+            catch (executeStatement isInitial { stateHo = ho, stateInteract = act } e)$ (\e -> putStrLn $ ioeGetErrorString e)
+            return act