@@ -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"