From c00340c5f0cd11db0a38f126422685ed32e2fb37 Mon Sep 17 00:00:00 2001 From: Ben Greenman Date: Mon, 5 Feb 2018 14:32:38 -0500 Subject: [PATCH] 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. --- pkgs/racket-doc/scribblings/reference/runtime.scrbl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/racket-doc/scribblings/reference/runtime.scrbl b/pkgs/racket-doc/scribblings/reference/runtime.scrbl index c66d86051b..d5a8bdb2d2 100644 --- a/pkgs/racket-doc/scribblings/reference/runtime.scrbl +++ b/pkgs/racket-doc/scribblings/reference/runtime.scrbl @@ -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