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

Fix contracted TR build.

Browse Source 
original commit: b5f7a7ffb2996279ebb78b63f8d8edb05431e1c7
This commit is contained in:
Vincent St-Amour 2013-05-31 20:14:21 -04:00
parent 2bbe532149
commit 51c5197974
3 changed files with 20 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-racket/private/parse-type.rkt
View File

@ -26,8 +26,8 @@
[parse-type/id (syntax? c:any/c . c:-> . Type/c)]
[parse-tc-results (syntax? . c:-> . tc-results/c)]
[parse-tc-results/id (syntax? c:any/c . c:-> . tc-results/c)]
[parse-literal-alls (syntax? . c:-> . (values (listof identifier?)
(listof identifier?)))])
[parse-literal-alls (syntax? . c:-> . (values (c:listof identifier?)
(c:listof identifier?)))])
(provide star ddd/bound)

34
collects/typed-racket/types/tc-result.rkt
View File

@ -5,14 +5,14 @@
(utils tc-utils)
(types base-abbrev)
racket/match
(contract-req))
(prefix-in c: (contract-req)))
;; this structure represents the result of typechecking an expression
(define-struct/cond-contract tc-result
([t Type/c] [f FilterSet/c] [o Object?])
#:transparent)
(define-struct/cond-contract tc-results
([ts (listof tc-result?)] [drest (or/c (cons/c Type/c symbol?) #f)])
([ts (c:listof tc-result?)] [drest (c:or/c (c:cons/c Type/c symbol?) #f)])
#:transparent)
(define-struct/cond-contract tc-any-results () #:transparent)
(define tc-any-results* (tc-any-results))
@ -101,16 +101,16 @@
(provide/cond-contract
[ret
(->i ([t (or/c Type/c (listof Type/c))])
([f (t) (if (list? t)
(listof FilterSet/c)
FilterSet/c)]
[o (t) (if (list? t)
(listof Object?)
Object?)]
[dty Type/c]
[dbound symbol?])
[res tc-results/c])])
(c:->i ([t (c:or/c Type/c (c:listof Type/c))])
([f (t) (if (list? t)
(c:listof FilterSet/c)
FilterSet/c)]
[o (t) (if (list? t)
(c:listof Object?)
Object?)]
[dty Type/c]
[dbound symbol?])
[res tc-results/c])])
(define (combine-results tcs)
(match tcs
@ -123,8 +123,8 @@
(rename-out
(tc-any-results* tc-any-results)))
(provide/cond-contract
[combine-results ((listof tc-results?) . -> . tc-results?)]
[tc-result-t (tc-result? . -> . Type/c)]
[tc-result-equal? (tc-result? tc-result? . -> . boolean?)]
[tc-results? (any/c . -> . boolean?)]
[tc-results/c flat-contract?])
[combine-results ((c:listof tc-results?) . c:-> . tc-results?)]
[tc-result-t (tc-result? . c:-> . Type/c)]
[tc-result-equal? (tc-result? tc-result? . c:-> . boolean?)]
[tc-results? (c:any/c . c:-> . boolean?)]
[tc-results/c c:flat-contract?])

2
collects/typed-racket/utils/utils.rkt
View File

@ -20,7 +20,7 @@ at least theoretically.
rep utils typecheck infer env private types)
(define optimize? (make-parameter #t))
(define-for-syntax enable-contracts? #f)
(define-for-syntax enable-contracts? #t)
(define-syntax do-contract-req
(if enable-contracts?