@@ -60,10 +60,10 @@ class Message a where
6060
6161data Ann = AText String | ATagged OutputAnnotation Ann | ASplit Ann Ann
6262
63−data Hack = Hack FC OutputDoc
64−instance Message Hack where
65− messageExtent (Hack extent _) = extent
66− messageText (Hack _ msg) = msg
63+data SimpleWarning = SimpleWarning FC OutputDoc
64+instance Message SimpleWarning where
65+ messageExtent (SimpleWarning extent _) = extent
66+ messageText (SimpleWarning _ msg) = msg
6767 messageSource _ = Nothing
6868
6969formatMessage :: Message w => w -> Idris OutputDoc
@@ -173,7 +173,7 @@ formatMessage w = do
173173 layoutMessage loc Nothing err = loc </> err
174174
175175iWarn :: FC -> OutputDoc -> Idris ()
176−iWarn fc err = emit $ Hack fc err
176+iWarn fc err = emit $ SimpleWarning fc err
177177
178178emit :: Message w => w -> Idris ()
179179emit w =