Commit 35be7d97 authored by Simon Marlow's avatar Simon Marlow

Prelude no longer exports catch

parent c45a6466
......@@ -14,6 +14,8 @@ import Engine
import Version
import Data.List(nub)--1.3
import System.IO.Error (catchIOError)
--- Command structure and parsing:
data Command = Fact Clause | Query [Term] | Show | Error | Quit | NoChange
......@@ -39,7 +41,7 @@ signOn = "Mini Prolog Version 1.5 (" ++ version ++ ")\n\n"
main = --echo False abort
putStr signOn >>
putStr ("Reading " ++ stdlib) >>
catch (readFile stdlib)
catchIOError (readFile stdlib)
(\fail -> putStr "...not found\n" >> return "")
>>= \ is ->
if null is then
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment