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

Type for `curry'.

Browse Source 
Closes PR 10956

original commit: 81f262c7caf0954f7efebebc6d10bef6c93972bd
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-13 21:39:58 -04:00
parent b4d568a84d
commit 3c594198ce
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -912,3 +912,8 @@
;;write-special-evt
[port-writes-atomic? (-Output-Port . -> . -Boolean)]
[port-writes-special? (-Output-Port . -> . -Boolean)]
;; probably the most useful cases
[curry (-poly (a b c)
(cl->* ((a b . -> . c) a . -> . (b . -> . c))
((a b . -> . c) . -> . (a . -> . (b . -> . c)))))]