@@ -28,7 +28,7 @@ import Idris.Elab.Type
2828import Idris.Elab.Utils
2929import Idris.Error
3030import Idris.Options
31−import Idris.Output (iputStrLn, pshow, sendHighlighting)
31+import Idris.Output (iWarn, pshow, sendHighlighting)
3232import Idris.PartialEval
3333import Idris.Termination
3434import Idris.Transforms
@@ -205,9 +205,8 @@ elabClauses info' fc opts n_in cs =
205205 case tree of
206206 CaseDef _ _ [] -> return ()
207207 CaseDef _ _ xs -> mapM_ (\x ->
208− iputStrLn $ show fc ++
209− ":warning - Unreachable case: " ++
210− show (delab ist x)) xs
208+ iWarn fc $ text "Unreachable case:" </> text (show (delab ist x))
209+ ) xs
211210 let knowncovering = (pcover && cov) || AssertTotal `elem` opts
212211 let defaultcase = if knowncovering
213212 then STerm Erased