Type for `curry'.
Closes PR 10956
This commit is contained in:
parent
3470d946ab
commit
81f262c7ca
|
@ -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)))))]
|
Loading…
Reference in New Issue
Block a user