From 50f67cf6e48c4e9fdfa9ce09117b4dde13cf4da1 Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Sun, 9 Apr 2017 11:36:06 -0400 Subject: [PATCH] remove `@history` for flat contracts `#:exercise` Remove the history annotation on `build-flat-contract` property about removing the `#:exercise` keyword. Because the keyword wasn't actually removed from the function, only from the (incorrect) documentation. So there aren't any legal programs that depend on the removed keyword argument. --- pkgs/racket-doc/scribblings/reference/contracts.scrbl | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/pkgs/racket-doc/scribblings/reference/contracts.scrbl b/pkgs/racket-doc/scribblings/reference/contracts.scrbl index 4d1881d32a..c0f0ced6f4 100644 --- a/pkgs/racket-doc/scribblings/reference/contracts.scrbl +++ b/pkgs/racket-doc/scribblings/reference/contracts.scrbl @@ -2833,10 +2833,7 @@ arguments as @racket[build-contract-property]. The differences are: @history[#:changed "6.0.1.13" @list{Added the @racket[#:list-contract?] argument.} #:changed "6.1.1.4" - @list{Allow @racket[generate] to return @racket[contract-random-generate-fail].} - #:changed "6.8.0.2" - @list{Removed the @racket[#:exercise] keyword argument from - @racket[build-flat-contract-property].}] + @list{Allow @racket[generate] to return @racket[contract-random-generate-fail].}] } @deftogether[(