@@ -881,7 +881,7 @@ interface_ syn = do (doc, argDocs, acc)
881 interfaceKeyword :: IdrisParser ()
881 interfaceKeyword :: IdrisParser ()
882 interfaceKeyword = keyword "interface"
882 interfaceKeyword = keyword "interface"
883 <|> do fc <- extent $ keyword "class"
883 <|> 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.")
886 carg :: IdrisParser (Name, FC, PTerm)
886 carg :: IdrisParser (Name, FC, PTerm)
887 carg = do lchar '('; (i, ifc) <- withExtent name; lchar ':'; ty <- expr syn; lchar ')'
887 carg = do lchar '('; (i, ifc) <- withExtent name; lchar ':'; ty <- expr syn; lchar ')'
@@ -929,7 +929,7 @@ implementation syn = do (doc, argDocs) <- docstring syn
929 implementationKeyword :: IdrisParser ()
929 implementationKeyword :: IdrisParser ()
930 implementationKeyword = keyword "implementation"
930 implementationKeyword = keyword "implementation"
931 <|> do fc <- extent $ keyword "instance"
931 <|> 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.")
934 implementationUsing :: IdrisParser [Name]
934 implementationUsing :: IdrisParser [Name]
935 implementationUsing = do keyword "using"
935 implementationUsing = do keyword "using"