Remove deprecated `[static]` keyword
commite35d64377c056b98c15912262d2ad0000fda6023
authorJason Felice <jason.m.felice@gmail.com>
dateMon 4 Dec 2017, 13:43 (9 years ago)
parent4c40a72
CHANGELOG.md+2−1
@@ -31,7 +31,8 @@
3131 intMax : IO Int
3232 intMax = foreign FFI_C "#INT_MAX" (IO Int)
3333 ```
34−+ The deprecated keywords `%assert_total` and `abstract` have been removed.
34++ The deprecated keywords `%assert_total`, `abstract`, and `[static]` have been
35+ removed.
3536
3637## Library Updates
3738
src/Idris/Parser/Expr.hs−3
@@ -1408,9 +1408,6 @@ Static ::=
14081408-}
14091409static :: IdrisParser Static
14101410static = Static <$ reserved "%static"
1411− <|> do fc <- extent $ reserved "[static]"
1412− parserWarning fc Nothing (Msg "The use of [static] is deprecated, use %static instead.")
1413− return Static
14141411 <|> return Dynamic
14151412 <?> "static modifier"
14161413