From 3c594198ce37c49c1d6b91a28b640e7052dd6954 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Sun, 13 Jun 2010 21:39:58 -0400
Subject: [PATCH] Type for `curry'.

Closes PR 10956

original commit: 81f262c7caf0954f7efebebc6d10bef6c93972bd
---
 collects/typed-scheme/private/base-env.rkt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt
index 105f992a..e64f0852 100644
--- a/collects/typed-scheme/private/base-env.rkt
+++ b/collects/typed-scheme/private/base-env.rkt
@@ -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)))))]
\ No newline at end of file