suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add split-at and append*

Browse Source 
svn: r15119

original commit: 513987519940efd23a801dacf8ba35364758228d
This commit is contained in:
Sam Tobin-Hochstadt 2009-06-08 15:54:05 +00:00
parent 17a3d0944e
commit a9bff72959
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/private/base-env.ss
View File

@ -584,6 +584,10 @@
[append-map
(-polydots (c a b) ((list ((list a) (b b) . ->... . (-lst c)) (-lst a))
((-lst b) b) . ->... .(-lst c)))]
[split-at
(-poly (a) ((list (-lst a)) -Integer . ->* . (-values (list (-lst a) (-lst a)))))]
[append*
(-poly (a) ((-lst (-lst a)) . -> . (-lst a)))]
;; scheme/tcp
[tcp-listener? (make-pred-ty -TCP-Listener)]