on master help sign in
Report success or failure in IDESlave mode while loading a file
commit06cb945730d3fc526a05bb81e2db89a4379ae5b6 authorDavid Christiansen <david@davidchristiansen.dk> dateMon 15 Jul 2013, 14:30 (13 years ago) parent9b4b7dc
1 file changed+6−1
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)