on master help sign in
Fix failing test
a811211Edwin Brady
src/Idris/REPL.hs+2−1
@@ -1081,8 +1081,9 @@ loadInputs h inputs
1081 _ -> return ()
1081 _ -> return ()
1082 putIState inew)
1082 putIState inew)
1083 (\e -> case e of
1083 (\e -> case e of
1084− At f e -> do setErrLine (fc_line f)
1084+ At f _ -> do setErrLine (fc_line f)
1085 iputStrLn (show e)
1085 iputStrLn (show e)
1086+ ProgramLineComment -> return () -- fail elsewhere
1086 _ -> do setErrLine 3 -- FIXME! Propagate it
1087 _ -> do setErrLine 3 -- FIXME! Propagate it
1087 iputStrLn (show e))
1088 iputStrLn (show e))
1088 where -- load all files, stop if any fail
1089 where -- load all files, stop if any fail