@@ -881,7 +881,7 @@ interface_ syn = do (doc, argDocs, acc)
881881 interfaceKeyword :: IdrisParser ()
882882 interfaceKeyword = keyword "interface"
883883 <|> do fc <- extent $ keyword "class"
884− parserWarning fc Nothing (Msg "The 'class' keyword is deprecated. Use 'interface' instead.")
884+ parserWarning fc Nothing (Msg "The 'class' keyword exists to migrate from Haskell--use 'interface' instead.")
885885
886886 carg :: IdrisParser (Name, FC, PTerm)
887887 carg = do lchar '('; (i, ifc) <- withExtent name; lchar ':'; ty <- expr syn; lchar ')'
@@ -929,7 +929,7 @@ implementation syn = do (doc, argDocs) <- docstring syn
929929 implementationKeyword :: IdrisParser ()
930930 implementationKeyword = keyword "implementation"
931931 <|> do fc <- extent $ keyword "instance"
932− parserWarning fc Nothing (Msg "The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.")
932+ parserWarning fc Nothing (Msg "The 'instance' keyword exists to migrate from Haskell--use 'implementation' (or omit it) instead.")
933933
934934 implementationUsing :: IdrisParser [Name]
935935 implementationUsing = do keyword "using"