Add history for vector-empty (#2783)

Should have been part of 68621c3ee1
Related to #2695
This commit is contained in:
Paulo Matos 2019-08-06 22:46:29 +02:00 committed by GitHub
parent 652c0d37c5
commit f73f242965
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -32,7 +32,9 @@ Returns @racket[#t] if @racket[v] is a vector, @racket[#f] otherwise.}
@defproc[(vector-empty? [v vector?]) boolean?]{
Returns @racket[#t] if @racket[v] is empty (i.e. its length is 0), @racket[#f] otherwise.}
Returns @racket[#t] if @racket[v] is empty (i.e. its length is 0), @racket[#f] otherwise.
@history[#:added "7.4.0.4"]}
@defproc[(make-vector [size exact-nonnegative-integer?]
[v any/c 0]) vector?]{