git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1 from david-christiansen/ideslave-prover

Report success or failure in IDESlave mode while loading a file

commit929203053b1a9093b843e3436054b50662de9006 authorHannes Mehnert <hannes@mehnert.org> dateMon 15 Jul 2013, 05:46 (13 years ago) parent9b4b7dc06cb945
1 file changed+6−1
compare with master
unifiedsplit
src/Idris/REPL.hs+6−1
src/Idris/REPL.hs+6−1
@@ -128,7 +128,12 @@ ideslave orig mods
128128 loadModule filename
129129 iucheck
130130 isetPrompt (mkPrompt [filename])
131− -- report success! or failure!
131+
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
132137 ideslave orig [filename]
133138 Nothing -> do iFail "did not understand")
134139 (\e -> do iFail $ show e)