Merge pull request #1297 from david-christiansen/ide-prover
Remove unnecessary partiality
commita7d3eb9ee0509615c08b8dad29fe9ba9f54343ff
authorDavid Christiansen <david@davidchristiansen.dk>
dateSun 8 Jun 2014, 18:48 (12 years ago)
parent5700be7387b738
src/Idris/Prover.hs+1−1
@@ -177,7 +177,7 @@ receiveInput e =
177177 ideslavePutSExp "return" good
178178 receiveInput e
179179 Just (Interpret cmd) -> return (Just cmd)
180− Nothing -> return Nothing
180+ _ -> return Nothing
181181
182182ploop :: Name -> Bool -> String -> [String] -> ElabState [PDecl] -> Maybe History -> Idris (Term, [String])
183183ploop fn d prompt prf e h