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

Merge up to get Sam's removal of infer contracts (from trunk).

Browse Source 
svn: r11740
This commit is contained in:
Stevie Strickland 2008-09-13 23:53:55 +00:00
commit c5e1019f27
1 changed files with 3 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
collects/typed-scheme/infer/infer.ss
View File

@ -3,25 +3,10 @@
(require (except-in "../utils/utils.ss" infer)) (require (except-in "../utils/utils.ss" infer))
(require "infer-unit.ss" "constraints.ss" "dmap.ss" "signatures.ss" (require "infer-unit.ss" "constraints.ss" "dmap.ss" "signatures.ss"
"restrict.ss" "promote-demote.ss" "restrict.ss" "promote-demote.ss"
scheme/contract (only-in scheme/unit provide-signature-elements)
(rep type-rep)
(utils unit-utils)) (utils unit-utils))
(provide/contract (provide-signature-elements restrict^ infer^)
[infer (((listof symbol?) (listof Type?) (listof Type?) (or/c (one-of/c #f) Type?) (listof symbol?))
((or/c (one-of/c #f) Type?))
. ->* .
(listof (list/c symbol? Type?)))]
[infer/vararg (((listof symbol?) (listof Type?) (listof Type?) Type? (or/c (one-of/c #f) Type?) (listof symbol?))
((or/c (one-of/c #f) Type?))
. ->* .
(listof (list/c symbol? Type?)))]
[infer/dots (((listof symbol?) symbol? (listof Type?) (listof Type?) Type? (or/c (one-of/c #f) Type?) (listof symbol?))
(#:expected (or/c (one-of/c #f) Type?))
. ->* .
(listof (list/c symbol? Type?)))])
(provide restrict)
(define-values/link-units/infer (define-values/link-units/infer
infer@ constraints@ dmap@ restrict@ promote-demote@) infer@ constraints@ dmap@ restrict@ promote-demote@)