Fix missing function call from 723d972b2
commit019c98acdb40db4e51fa4bd77a4a4d73ee6e905b
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSun 25 May 2014, 23:15 (12 years ago)
parent258244d
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)