From f0fad4383ad3a7df7aa8666074b31697f95cec2e Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Thu, 14 Oct 2010 11:44:00 -0400
Subject: [PATCH] Add type for `compose'

original commit: 24bddafa82e28a3eee675c1ad99ae1dcde59d46a
---
 collects/typed-scheme/private/base-env.rkt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt
index c6e6b4aa..9cb5e841 100644
--- a/collects/typed-scheme/private/base-env.rkt
+++ b/collects/typed-scheme/private/base-env.rkt
@@ -15,6 +15,7 @@
   (only-in '#%kernel [apply kernel:apply])
   (only-in racket/private/pre-base new-apply-proc) 
   scheme/promise scheme/system
+  racket/function
   racket/mpair
   racket/base
   (only-in string-constants/private/only-once maybe-print-message)
@@ -1020,3 +1021,5 @@
 [module-compiled-language-info
  (-> -Compiled-Module-Expression
      (-opt (make-HeterogenousVector (list -Module-Path -Symbol Univ))))]
+
+[compose (-poly (a b c) (-> (-> b c) (-> a b) (-> a c)))]
\ No newline at end of file