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

Add ternary for-each.

Browse Source 
svn: r10011

original commit: ddf289e1b4762dd405c5350259818afa85f47777
This commit is contained in:
Stevie Strickland 2008-05-28 20:43:01 +00:00
parent e0fd3985bb
commit 9324f5ea90
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -128,9 +128,10 @@
[((-> a b c) (-lst a) (-lst b)) (-lst c)]
[((-> a b c d) (-lst a) (-lst b) (-lst c)) (-lst d)]))]
[for-each
(-poly (a b c)
(-poly (a b c d)
(cl-> [((-> a b) (-lst a)) -Void]
[((-> a b c) (-lst a) (-lst b)) -Void]))]
[((-> a b c) (-lst a) (-lst b)) -Void]
[((-> a b c d) (-lst a) (-lst b) (-lst c)) -Void]))]
[foldl
(-poly (a b c)
(cl-> [((a b . -> . b) b (make-lst a)) b]