original commit: 01f8ad91b674bd3009618b404f789e2aa9a34212
This commit is contained in:
Matthew Flatt 1999-07-30 21:41:09 +00:00
parent d1808dc059
commit db06ad192f

View File

@ -4491,8 +4491,8 @@
[(title message choices parent init-vals style)
(check-string 'get-choices-from-user title)
(check-string/false 'get-choices-from-user message)
(unless (andmap string? choices)
(raise-type-error 'get-choices-from-user parent "list of strings" choices))
(unless (and (list? choices) (andmap string? choices))
(raise-type-error 'get-choices-from-user "list of strings" choices))
(check-top-level-parent/false 'get-choices-from-user parent)
(unless (and (list? init-vals) (andmap (lambda (x) (integer? x) (exact? x) (not (negative? x))) init-vals))
(raise-type-error 'get-choices-from-user "list of exact non-negative integers" init-vals))