Fix error reflection for ProofSearchFail
commit6fddc4f9e5c1018918734d06eaf35387d3b41215
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateFri 23 May 2014, 18:55 (12 years ago)
parentf17a517
src/Idris/ElabTerm.hs+2
@@ -1632,6 +1632,8 @@ withErrorReflection x = idrisCatch x (\ e -> handle e >>= ierror)
16321632 then handle err
16331633 else applyHandlers err hs
16341634 return (ElaboratingArg f a prev err')
1635+ -- ProofSearchFail is an internal detail - so don't expose it
1636+ handle (ProofSearchFail e) = handle e
16351637 -- TODO: argument-specific error handlers go here for ElaboratingArg
16361638 handle e = do ist <- getIState
16371639 logLvl 2 "Starting error reflection"