typed/mred

- use (Listof Any) instead of List svn: r13439 original commit: 8416536f441d0bd1f010a75a264e02e096921840
2009-02-04 23:33:24 +00:00 · 2009-02-04 23:33:24 +00:00 · e2b8fc48b8
commit e2b8fc48b8
parent 2f4a6079e0
1 changed files with 1 additions and 1 deletions
--- 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 ()