suzanne.soy/typed-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

original commit: 68c46cca9a57835f38cb42e6eee45c86755f7cd8
This commit is contained in:
Sam Tobin-Hochstadt 2010-02-27 19:21:42 +00:00
parent 7e4367c9cd
commit fd3a9e042a
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"
scheme/contract/regions scheme/contract/base
(for-syntax "base-types-extra.ss")
(for-syntax (except-in (path-up "utils/utils.ss") infer)
(path-up "utils/tc-utils.ss")
(except-in (combine-in (path-up "types/convenience.ss") (path-up "types/abbrev.ss")) ->)
(path-up "types/utils.ss")
(path-up "infer/infer.ss")
(path-up "env/type-env.ss")
(path-up "env/type-environments.ss")
(path-up "env/type-name-env.ss")
(path-up "env/type-alias-env.ss")
(path-up "infer/infer-dummy.ss")
(path-up "private/parse-type.ss")
(path-up "private/type-contract.ss")
(path-up "typecheck/typechecker.ss")))
(for-syntax (except-in "../utils/utils.ss" infer)
"../utils/tc-utils.ss"
(except-in (combine-in "../types/convenience.ss" "../types/abbrev.ss") ->)
"../types/utils.ss"
"../infer/infer.ss"
"../env/type-env.ss"
"../env/type-environments.ss"
"../env/type-name-env.ss"
"../env/type-alias-env.ss"
"../infer/infer-dummy.ss"
"../private/parse-type.ss"
"../private/type-contract.ss"
"../typecheck/typechecker.ss"))
(provide with-type)
(define-syntax (with-type stx)