Merge pull request #1256 from david-christiansen/error-reflection
Fix missing function call from 723d972b2
commit4c85c25d1758373e9bb63a1c4bd0e584025291e1
authorDavid Christiansen <david@davidchristiansen.dk>
dateSun 25 May 2014, 23:42 (12 years ago)
parent471e8c8019c98a
src/Idris/Error.hs+1−1
@@ -43,7 +43,7 @@ idrisCatch = catchError
4343setAndReport :: Err -> Idris ()
4444setAndReport e = do ist <- getIState
4545 let h = idris_outh ist
46− case (e) of
46+ case (unwrap e) of
4747 At fc e -> do setErrSpan fc
4848 ihWarn h fc $ pprintErr ist e
4949 _ -> do setErrSpan (getErrSpan e)