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

Make parse-type-tests work even if the typecheck-tests are not run.

Browse Source
This commit is contained in:
Eric Dobson 2013-07-19 08:03:10 -07:00
parent 19eaf47d10
commit 55e9043679
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/parse-type-tests.rkt
View File

@ -26,12 +26,12 @@
;; of the old identifier. ;; of the old identifier.
;; This relies on the identifiers being bound at phase 0 in this module (which they are, ;; This relies on the identifiers being bound at phase 0 in this module (which they are,
;; because we have a phase 0 require of "base-env.rkt"). ;; because we have a phase 0 require of "base-env.rkt").
(initialize-type-names)
(for ([pr (type-alias-env-map cons)]) (for ([pr (type-alias-env-map cons)])
(let ([nm (car pr)] (let ([nm (car pr)]
[ty (cdr pr)]) [ty (cdr pr)])
(register-resolved-type-alias (datum->syntax #'here (syntax->datum nm)) ty))) (register-resolved-type-alias (datum->syntax #'here (syntax->datum nm)) ty)))
(initialize-type-names)
(define-syntax (run-one stx) (define-syntax (run-one stx)
(syntax-case stx () (syntax-case stx ()