Remove unnecessary partiality
commit387b738f59ab5d89827d5f2c436353a830a11785
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSun 8 Jun 2014, 17:19 (12 years ago)
parent6d0abfb
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