git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1297 from david-christiansen/ide-prover
a7d3eb9David Christiansen
src/Idris/Prover.hs+1−1
compare with master
unifiedsplit
@@ -177,7 +177,7 @@ receiveInput e =
177 ideslavePutSExp "return" good
177 ideslavePutSExp "return" good
178 receiveInput e
178 receiveInput e
179 Just (Interpret cmd) -> return (Just cmd)
179 Just (Interpret cmd) -> return (Just cmd)
180− Nothing -> return Nothing
180+ _ -> return Nothing
181
181
182ploop :: Name -> Bool -> String -> [String] -> ElabState [PDecl] -> Maybe History -> Idris (Term, [String])
182ploop :: Name -> Bool -> String -> [String] -> ElabState [PDecl] -> Maybe History -> Idris (Term, [String])
183ploop fn d prompt prf e h
183ploop fn d prompt prf e h