declare that examples that raise errors raise errors

This commit is contained in:
Robby Findler 2017-03-07 18:59:44 -06:00
parent 3a639d7794
commit 2febfb1dba

View File

@ -371,17 +371,19 @@ is @racket[#f], then the range is unbounded on that end.
(integer-in 10 99) (integer-in 10 99)
23) 23)
(eval:error
(define/contract not-a-two-digit-number (define/contract not-a-two-digit-number
(integer-in 10 99) (integer-in 10 99)
124) 124))
(define/contract negative-number (define/contract negative-number
(integer-in #f -1) (integer-in #f -1)
-4) -4)
(eval:error
(define/contract not-a-negative-number (define/contract not-a-negative-number
(integer-in #f -1) (integer-in #f -1)
4)] 4))]
@history[#:changed "6.8.0.2" @elem{Allow #@racket[j] and @racket[k] to be @racket[#f]}] @history[#:changed "6.8.0.2" @elem{Allow #@racket[j] and @racket[k] to be @racket[#f]}]