From 3d980a9a9d9e99dfb2bbc3b47f0584870f7a099b Mon Sep 17 00:00:00 2001 From: Marc Kaufmann Date: Tue, 16 Feb 2016 19:48:49 -0500 Subject: [PATCH] Update/correct radio-group contract. --- web-server-lib/web-server/formlets/input.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web-server-lib/web-server/formlets/input.rkt b/web-server-lib/web-server/formlets/input.rkt index b8986902..ea66d5fc 100644 --- a/web-server-lib/web-server/formlets/input.rkt +++ b/web-server-lib/web-server/formlets/input.rkt @@ -357,7 +357,7 @@ (-> any/c (listof (list/c symbol? string?))) #:checked? (any/c . -> . boolean?) #:display (any/c . -> . pretty-xexpr/c) - #:wrap (any/c any/c . -> . pretty-xexpr/c)) + #:wrap (any/c any/c . -> . (listof pretty-xexpr/c))) . ->* . (formlet/c any/c))] [checkbox-group ((sequence?)