@@ -32,8 +32,9 @@ iucheck = do tit <- typeInType
3232 logLvl 7 $ "ALL CONSTRAINTS: " ++ show cs
3333 when (not tit) $
3434 (tclift $ ucheck (idris_constraints ist)) `idrisCatch`
35− (\e -> do setErrSpan (getErrSpan e)
36− iputStrLn (pshow ist e))
35+ (\e -> do let fc = getErrSpan e
36+ setErrSpan fc
37+ iWarn fc $ pprintErr ist e)
3738
3839showErr :: Err -> Idris String
3940showErr e = getIState >>= return . flip pshow e