4c40a72 · Idris-dev · git.iko.soy

CHANGELOG.md+1−1

@@ -31,7 +31,7 @@

31 intMax : IO Int

32 intMax = foreign FFI_C "#INT_MAX" (IO Int)

33 ```

34−+ The deprecated `abstract` keyword has been removed.

34++ The deprecated keywords `%assert_total` and `abstract` have been removed.

35

36## Library Updates

37

docs/reference/syntax-guide.rst−1

@@ -407,7 +407,6 @@ Options

407 %no_implicit

408 %error_handler

409 %error_reverse

410− %assert_total

411 %reflection

410 %reflection

412 %specialise [<name list>]

411 %specialise [<name list>]

413

412

src/Idris/Parser.hs−3

@@ -650,9 +650,6 @@ fnOpt = do keyword "total"; return TotalFn

650 <|> NoImplicit <$ P.try (lchar '%' *> reserved "no_implicit")

651 <|> Inlinable <$ P.try (lchar '%' *> reserved "inline")

652 <|> 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

656 <|> ErrorHandler <$ P.try (lchar '%' *> reserved "error_handler")

653 <|> ErrorHandler <$ P.try (lchar '%' *> reserved "error_handler")

657 <|> ErrorReverse <$ P.try (lchar '%' *> reserved "error_reverse")

654 <|> ErrorReverse <$ P.try (lchar '%' *> reserved "error_reverse")

658 <|> ErrorReduce <$ P.try (lchar '%' *> reserved "error_reduce")

655 <|> ErrorReduce <$ P.try (lchar '%' *> reserved "error_reduce")