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

Add cond-contract requires to fix contracted tests

Browse Source
This commit is contained in:
Asumu Takikawa 2015-01-18 14:20:50 -05:00
parent 88afb40f60
commit 769cd04b37
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/env/lexical-env.rkt vendored
View File

@ -16,6 +16,8 @@
(typecheck renamer)
(except-in (types utils abbrev kw-types) -> ->* one-of/c))
(require-for-cond-contract (rep object-rep))
(provide lexical-env
with-lexical-env
with-lexical-env/extend-types

2
typed-racket-lib/typed-racket/types/path-type.rkt
View File

@ -9,6 +9,8 @@
(types subtype resolve union)
(except-in (types utils abbrev kw-types) -> ->* one-of/c))
(require-for-cond-contract (rep rep-utils))
(provide/cond-contract
[path-type ((listof PathElem?) Type/c . -> . Type/c)])