type for append-map

svn: r14579 original commit: 062008c7586ec2192d1a3b51f6a27402a8e7efb9
2009-04-21 22:51:55 +00:00 · 2009-04-21 22:51:55 +00:00 · 93291d7e72
commit 93291d7e72
parent 4d2d5bfc9f
1 changed files with 3 additions and 0 deletions
--- a/collects/typed-scheme/private/base-env.ss
+++ b/collects/typed-scheme/private/base-env.ss
@ -571,6 +571,9 @@
        (cl->*
         ((-lst a) . -> . (-lst a))
         ((-lst a) (a a . -> . Univ) . -> . (-lst a))))]
+[append-map
+ (-polydots (c a b) ((list ((list a) (b b) . ->... . (-lst c)) (-lst a))
+                     ((-lst b) b) . ->... .(-lst c)))]

 ;; scheme/tcp
 [tcp-listener? (make-pred-ty -TCP-Listener)]