git.iko.soy/Idris-dev
on master help sign in
Remove deprecated `[static]` keyword
e35d643Jason Felice
CHANGELOG.md+2−1
compare with master
unifiedsplit
@@ -31,7 +31,8 @@
31 intMax : IO Int
31 intMax : IO Int
32 intMax = foreign FFI_C "#INT_MAX" (IO Int)
32 intMax = foreign FFI_C "#INT_MAX" (IO Int)
33 ```
33 ```
34−+ The deprecated keywords `%assert_total` and `abstract` have been removed.
34++ The deprecated keywords `%assert_total`, `abstract`, and `[static]` have been
35+ removed.
35
36
36## Library Updates
37## Library Updates
37
38
src/Idris/Parser/Expr.hs−3
@@ -1408,9 +1408,6 @@ Static ::=
1408-}
1408-}
1409static :: IdrisParser Static
1409static :: IdrisParser Static
1410static = Static <$ reserved "%static"
1410static = 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
1414 <|> return Dynamic
1411 <|> return Dynamic
1415 <?> "static modifier"
1412 <?> "static modifier"
1416
1413