on master help sign in
Fix failing test
commita811211705a9e6bdedc8ff4c4fe4c3888a933cf1 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateSun 29 Dec 2013, 16:36 (13 years ago) parent693e3e4
1 file changed+2−1
src/Idris/REPL.hs+2−1
src/Idris/REPL.hs+2−1
@@ -1081,8 +1081,9 @@ loadInputs h inputs
10811081 _ -> return ()
10821082 putIState inew)
10831083 (\e -> case e of
1084− At f e -> do setErrLine (fc_line f)
1084+ At f _ -> do setErrLine (fc_line f)
10851085 iputStrLn (show e)
1086+ ProgramLineComment -> return () -- fail elsewhere
10861087 _ -> do setErrLine 3 -- FIXME! Propagate it
10871088 iputStrLn (show e))
10881089 where -- load all files, stop if any fail