doc: change input/output contracts for 'current-command-line-arguments'

The parameter accepts a vector of string & converts the input to a
vector of immutable strings.
This commit is contained in:
Ben Greenman 2018-02-05 14:32:38 -05:00
parent 24f4de4dea
commit c00340c5f0

View File

@ -162,8 +162,8 @@ ends with a newline.}
@defparam*[current-command-line-arguments argv
(vectorof (and/c string? immutable?))
(vectorof string?)]{
(vectorof string?)
(vectorof (and/c string? immutable?))]{
A @tech{parameter} that is initialized with command-line arguments when
Racket starts (not including any command-line arguments that were