@@ -43,11 +43,13 @@ idrisCatch = catchError
43setAndReport :: Err -> Idris ()
43setAndReport :: Err -> Idris ()
44setAndReport e = do ist <- getIState
44setAndReport e = do ist <- getIState
45 let h = idris_outh ist
45 let h = idris_outh ist
46− case e of
46+ case (e) of
47 At fc e -> do setErrSpan fc
47 At fc e -> do setErrSpan fc
48 ihWarn h fc $ pprintErr ist e
48 ihWarn h fc $ pprintErr ist e
49 _ -> do setErrSpan (getErrSpan e)
49 _ -> do setErrSpan (getErrSpan e)
50− ihputStrLn h $ pshow ist e
50+ ihWarn h emptyFC $ pprintErr ist e
51+ where unwrap (ProofSearchFail e) = e -- remove bookkeeping constructor
52ifail :: String -> Idris a
54ifail :: String -> Idris a
53ifail = throwError . Msg
55ifail = throwError . Msg