Fix tests for new type name declaration.
This commit is contained in:
parent
396b04eb86
commit
2dd9a43d1b
|
@ -29,6 +29,8 @@
|
||||||
[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)))
|
||||||
|
|
||||||
|
(dynamic-require '(submod typed-racket/base-env/base-types #%type-decl) #f)
|
||||||
|
|
||||||
(define-syntax (run-one stx)
|
(define-syntax (run-one stx)
|
||||||
(syntax-case stx ()
|
(syntax-case stx ()
|
||||||
[(_ ty) (syntax/loc stx
|
[(_ ty) (syntax/loc stx
|
||||||
|
|
|
@ -9,6 +9,8 @@
|
||||||
(rep type-rep filter-rep object-rep)
|
(rep type-rep filter-rep object-rep)
|
||||||
rackunit)
|
rackunit)
|
||||||
|
|
||||||
|
(dynamic-require '(submod typed-racket/base-env/base-types #%type-decl) #f)
|
||||||
|
|
||||||
(provide type-annotation-tests)
|
(provide type-annotation-tests)
|
||||||
|
|
||||||
(define-syntax-rule (tat ann-stx ty)
|
(define-syntax-rule (tat ann-stx ty)
|
||||||
|
|
|
@ -43,6 +43,7 @@
|
||||||
(provide typecheck-tests g tc-expr/expand)
|
(provide typecheck-tests g tc-expr/expand)
|
||||||
|
|
||||||
(b:init) (n:init) (initialize-structs) (initialize-indexing)
|
(b:init) (n:init) (initialize-structs) (initialize-indexing)
|
||||||
|
(dynamic-require '(submod typed-racket/base-env/base-types #%type-decl) #f)
|
||||||
|
|
||||||
(define N -Number)
|
(define N -Number)
|
||||||
(define B -Boolean)
|
(define B -Boolean)
|
||||||
|
|
|
@ -6,6 +6,7 @@
|
||||||
;; the below requires are needed since they provide identifiers
|
;; the below requires are needed since they provide identifiers
|
||||||
;; that may appear in the residual program
|
;; that may appear in the residual program
|
||||||
"utils/utils.rkt"
|
"utils/utils.rkt"
|
||||||
|
(for-syntax "utils/utils.rkt")
|
||||||
"utils/any-wrap.rkt" unstable/contract)
|
"utils/any-wrap.rkt" unstable/contract)
|
||||||
|
|
||||||
(provide (rename-out [module-begin #%module-begin]
|
(provide (rename-out [module-begin #%module-begin]
|
||||||
|
|
Loading…
Reference in New Issue
Block a user