Merge branch 'master' of github.com:idris-lang/Idris-dev
commitb6648156eed9155a62d2bcb8f2ee285a182c5d58
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 23 May 2014, 19:34 (12 years ago)
parent5ba96c127f7c90
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"