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

Add type for `compose'

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-10-14 11:44:00 -04:00
parent 61188f3e44
commit 24bddafa82
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -15,6 +15,7 @@
(only-in '#%kernel [apply kernel:apply]) (only-in '#%kernel [apply kernel:apply])
(only-in racket/private/pre-base new-apply-proc) (only-in racket/private/pre-base new-apply-proc)
scheme/promise scheme/system scheme/promise scheme/system
racket/function
racket/mpair racket/mpair
racket/base racket/base
(only-in string-constants/private/only-once maybe-print-message) (only-in string-constants/private/only-once maybe-print-message)
@ -1020,3 +1021,5 @@
[module-compiled-language-info [module-compiled-language-info
(-> -Compiled-Module-Expression (-> -Compiled-Module-Expression
(-opt (make-HeterogenousVector (list -Module-Path -Symbol Univ))))] (-opt (make-HeterogenousVector (list -Module-Path -Symbol Univ))))]
[compose (-poly (a b c) (-> (-> b c) (-> a b) (-> a c)))]