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

Fix the fix to TR contracts.

Browse Source 
original commit: 2846c17cb4d432571b091b9203321ff5d5f43a65
This commit is contained in:
Vincent St-Amour 2013-02-25 20:10:14 -05:00
parent 4488b7e69a
commit 050a030415
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)
(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-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)
(utils tc-utils)
"base-abbrev.rkt"
(rename-in (contract-req) [-> c:->] [->* c:->*])
(prefix-in c: (contract-req))
racket/match)
(provide/cond-contract
[tc-error/expr ((string?) (#:return any/c #:stx syntax?) #:rest (listof any/c)
. c:->* . any/c)]
[tc-error/expr ((string?) (#:return c:any/c #:stx syntax?) #:rest (c:listof c:any/c)
. c:->* . c:any/c)]
[lookup-fail (identifier? . c:-> . Type/c)]
[lookup-type-fail (identifier? . c:-> . Type/c)])