@@ -141,17 +141,20 @@ DefaultEliminator ::= 'noelim'?
141141 -}
142142dataOpts :: DataOpts -> IdrisParser DataOpts
143143dataOpts opts
144− = do fc <- reservedFC "%elim"
145− warnElim fc
144+ = do let kw = "%elim"
145+ fc <- reservedFC kw
146+ warnElim fc kw
146147 dataOpts (DefaultEliminator : DefaultCaseFun : opts)
147− <|> do fc <- reservedFC "%case"
148− warnElim fc
148+ <|> do let kw = "%case"
149+ fc <- reservedFC kw
150+ warnElim fc kw
149151 dataOpts (DefaultCaseFun : opts)
150152 <|> do reserved "%error_reverse"; dataOpts (DataErrRev : opts)
151153 <|> return opts
152154 <?> "data options"
153− where warnElim fc =
154− parserWarning fc (Just NoElimDeprecationWarnings) (Msg "The 'class' keyword is deprecated. Use 'interface' instead.")
155+ where warnElim fc kw =
156+ parserWarning fc (Just NoElimDeprecationWarnings)
157+ (Msg ("The '" ++ kw ++ "' directive is deprecated."))
155158
156159{- | Parses a data type declaration
157160Data ::= DocComment? Accessibility? DataI DefaultEliminator FnName TypeSig ExplicitTypeDataRest?