From e2b8fc48b8cb9d68cd68cba57715dc9a4982e41c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 4 Feb 2009 23:33:24 +0000 Subject: [PATCH] typed/mred - use (Listof Any) instead of List svn: r13439 original commit: 8416536f441d0bd1f010a75a264e02e096921840 --- collects/typed/mred/mred.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed/mred/mred.ss b/collects/typed/mred/mred.ss index 80984c28..f1fa122b 100644 --- a/collects/typed/mred/mred.ss +++ b/collects/typed/mred/mred.ss @@ -22,7 +22,7 @@ [alignment (List Symbol Symbol) #t]) ())) (dt Choice% (Class () - ([parent Any] [label String] [choices List] [callback Any]) + ([parent Any] [label String] [choices (Listof Any)] [callback Any]) ([get-string-selection (-> (Option String))] [set-string-selection (String -> Void)]))) (dt Message% (Class ()