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

Fix the fix to TR contracts.

Browse Source
This commit is contained in:
Vincent St-Amour 2013-02-25 20:10:14 -05:00
parent 034aacafab
commit 2846c17cb4
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/types/base-abbrev.rkt
View File

@ -5,7 +5,7 @@
(require (rep type-rep filter-rep object-rep rep-utils) (require (rep type-rep filter-rep object-rep rep-utils)
(env mvar-env) (env mvar-env)
racket/match racket/list (prefix-in c: racket/contract/base) racket/match racket/list (prefix-in c: (contract-req))
(for-syntax racket/base syntax/parse racket/list) (for-syntax racket/base syntax/parse racket/list)
(for-template racket/base)) (for-template racket/base))

6
collects/typed-racket/types/tc-error.rkt
View File

@ -4,12 +4,12 @@
(rep type-rep filter-rep object-rep rep-utils) (rep type-rep filter-rep object-rep rep-utils)
(utils tc-utils) (utils tc-utils)
"base-abbrev.rkt" "base-abbrev.rkt"
(rename-in (contract-req) [-> c:->] [->* c:->*]) (prefix-in c: (contract-req))
racket/match) racket/match)
(provide/cond-contract (provide/cond-contract
[tc-error/expr ((string?) (#:return any/c #:stx syntax?) #:rest (listof any/c) [tc-error/expr ((string?) (#:return c:any/c #:stx syntax?) #:rest (c:listof c:any/c)
. c:->* . any/c)] . c:->* . c:any/c)]
[lookup-fail (identifier? . c:-> . Type/c)] [lookup-fail (identifier? . c:-> . Type/c)]
[lookup-type-fail (identifier? . c:-> . Type/c)]) [lookup-type-fail (identifier? . c:-> . Type/c)])