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

fix with-types requires on windows

Browse Source 
svn: r18387
This commit is contained in:
Sam Tobin-Hochstadt 2010-02-27 19:21:42 +00:00
parent 54b81b3bdb
commit 68c46cca9a
1 changed files with 13 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
collects/typed-scheme/private/with-types.ss
View File

@ -11,19 +11,19 @@
"base-types.ss" "base-types.ss"
scheme/contract/regions scheme/contract/base scheme/contract/regions scheme/contract/base
(for-syntax "base-types-extra.ss") (for-syntax "base-types-extra.ss")
(for-syntax (except-in (path-up "utils/utils.ss") infer) (for-syntax (except-in "../utils/utils.ss" infer)
(path-up "utils/tc-utils.ss") "../utils/tc-utils.ss"
(except-in (combine-in (path-up "types/convenience.ss") (path-up "types/abbrev.ss")) ->) (except-in (combine-in "../types/convenience.ss" "../types/abbrev.ss") ->)
(path-up "types/utils.ss") "../types/utils.ss"
(path-up "infer/infer.ss") "../infer/infer.ss"
(path-up "env/type-env.ss") "../env/type-env.ss"
(path-up "env/type-environments.ss") "../env/type-environments.ss"
(path-up "env/type-name-env.ss") "../env/type-name-env.ss"
(path-up "env/type-alias-env.ss") "../env/type-alias-env.ss"
(path-up "infer/infer-dummy.ss") "../infer/infer-dummy.ss"
(path-up "private/parse-type.ss") "../private/parse-type.ss"
(path-up "private/type-contract.ss") "../private/type-contract.ss"
(path-up "typecheck/typechecker.ss"))) "../typecheck/typechecker.ss"))
(provide with-type) (provide with-type)
(define-syntax (with-type stx) (define-syntax (with-type stx)