on master help sign in
Merge pull request #1 from david-christiansen/ideslave-prover
9292030Hannes Mehnert
src/Idris/REPL.hs+6−1
@@ -128,7 +128,12 @@ ideslave orig mods
128 loadModule filename
128 loadModule filename
129 iucheck
129 iucheck
130 isetPrompt (mkPrompt [filename])
130 isetPrompt (mkPrompt [filename])
131+
131− -- report success! or failure!
132+ -- Report either success or failure
133+ i <- getIState
134+ case (errLine i) of
135+ Nothing -> iResult $ "loaded " ++ filename
136+ Just x -> iFail $ "didn't load " ++ filename
132 ideslave orig [filename]
137 ideslave orig [filename]
133 Nothing -> do iFail "did not understand")
138 Nothing -> do iFail "did not understand")
134 (\e -> do iFail $ show e)
139 (\e -> do iFail $ show e)