From 8416536f441d0bd1f010a75a264e02e096921840 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 --- 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 80984c28a8..f1fa122bcb 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 ()