git.iko.soy/Idris-dev
on master help sign in
Remove deprecated %assert_total
commit4c40a7260b0c24b56d9007864e77eb500cb81577 authorJason Felice <jason.m.felice@gmail.com> dateMon 4 Dec 2017, 13:41 (9 years ago) parent0cfc98c
3 files changed+1−5
compare with master
unifiedsplit
CHANGELOG.md+1−1 docs/reference/syntax-guide.rst−1 src/Idris/Parser.hs−3
CHANGELOG.md+1−1
@@ -31,7 +31,7 @@
3131 intMax : IO Int
3232 intMax = foreign FFI_C "#INT_MAX" (IO Int)
3333 ```
34−+ The deprecated `abstract` keyword has been removed.
34++ The deprecated keywords `%assert_total` and `abstract` have been removed.
3535
3636## Library Updates
3737
docs/reference/syntax-guide.rst−1
@@ -407,7 +407,6 @@ Options
407407 %no_implicit
408408 %error_handler
409409 %error_reverse
410− %assert_total
411410 %reflection
412411 %specialise [<name list>]
413412
src/Idris/Parser.hs−3
@@ -650,9 +650,6 @@ fnOpt = do keyword "total"; return TotalFn
650650 <|> NoImplicit <$ P.try (lchar '%' *> reserved "no_implicit")
651651 <|> Inlinable <$ P.try (lchar '%' *> reserved "inline")
652652 <|> StaticFn <$ P.try (lchar '%' *> reserved "static")
653− <|> do fc <- P.try $ extent $ lchar '%' *> reserved "assert_total"
654− parserWarning fc Nothing (Msg "%assert_total is deprecated. Use the 'assert_total' function instead.")
655− return AssertTotal
656653 <|> ErrorHandler <$ P.try (lchar '%' *> reserved "error_handler")
657654 <|> ErrorReverse <$ P.try (lchar '%' *> reserved "error_reverse")
658655 <|> ErrorReduce <$ P.try (lchar '%' *> reserved "error_reduce")