@@ -60,10 +60,10 @@ class Message a where
61data Ann = AText String | ATagged OutputAnnotation Ann | ASplit Ann Ann
61data Ann = AText String | ATagged OutputAnnotation Ann | ASplit Ann Ann
63−data Hack = Hack FC OutputDoc
63+data SimpleWarning = SimpleWarning FC OutputDoc
64−instance Message Hack where
64+instance Message SimpleWarning where
65− messageExtent (Hack extent _) = extent
65+ messageExtent (SimpleWarning extent _) = extent
66− messageText (Hack _ msg) = msg
66+ messageText (SimpleWarning _ msg) = msg
67 messageSource _ = Nothing
67 messageSource _ = Nothing
69formatMessage :: Message w => w -> Idris OutputDoc
69formatMessage :: Message w => w -> Idris OutputDoc
@@ -173,7 +173,7 @@ formatMessage w = do
173 layoutMessage loc Nothing err = loc </> err
173 layoutMessage loc Nothing err = loc </> err
175iWarn :: FC -> OutputDoc -> Idris ()
175iWarn :: FC -> OutputDoc -> Idris ()
176−iWarn fc err = emit $ Hack fc err
176+iWarn fc err = emit $ SimpleWarning fc err
178emit :: Message w => w -> Idris ()
178emit :: Message w => w -> Idris ()