@@ -43,7 +43,7 @@ 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 (unwrap 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)