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

Fix bad contract and clashing provides in TR when contracts are enabled.

Browse Source 
original commit: 3dfd4c52a9ef0caeee283ed82e061ae8cab4a95d
This commit is contained in:
Eric Dobson 2012-07-12 23:39:07 -07:00 committed by Sam Tobin-Hochstadt
parent d93803cdeb
commit ceb8feedcc
2 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/infer/signatures.rkt
View File

@ -27,7 +27,7 @@
[cond-contracted c-meet ((c? c?) (symbol?) . ->* . c?)]))
(define-signature restrict^
([cond-contracted restrict ((Type/c Type/c) ((or/c 'new 'orig)) ->* Type/c)]))
([cond-contracted restrict ((Type/c Type/c) ((or/c 'new 'orig)) . ->* . Type/c)]))
(define-signature infer^
([cond-contracted infer ((;; variables from the forall

6
collects/typed-racket/types/utils.rkt
View File

@ -12,7 +12,11 @@
"tc-error.rkt")
(provide (all-from-out "tc-result.rkt" "tc-error.rkt"))
;; Don't provide things that may be exported with a contract
(provide (except-out (all-from-out "tc-result.rkt" "tc-error.rkt")
tc-error/expr
lookup-fail
lookup-type-fail))
;; unfold : Type -> Type