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

Make tc-expr unit use the new syntax classes.

Browse Source 
original commit: 2a99e418d585ff167ba8ae23746df763cac912f7
This commit is contained in:
Eric Dobson 2013-11-12 09:26:15 -08:00
parent fc673a5288
commit 09c8cd999d
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt
View File

@ -8,13 +8,13 @@
(types utils abbrev union subtype type-table)
(private-in parse-type type-annotation syntax-properties)
(rep type-rep filter-rep object-rep)
(utils tc-utils)
(utils tc-utils syntax-classes)
(env lexical-env tvar-env index-env)
racket/private/class-internal
syntax/parse syntax/stx
unstable/syntax
(only-in srfi/1 split-at)
(for-template "internal-forms.rkt" (only-in '#%paramz [parameterization-key pz:pk])))
(for-template (only-in '#%paramz [parameterization-key pz:pk])))
(require (for-template racket/base racket/private/class-internal))
@ -188,8 +188,8 @@
;; We trust ignore to be only on syntax objects objects that are well typed
expected]
;; explicit failure
[(quote-syntax ((~literal typecheck-fail-internal) stx msg:str var))
(explicit-fail #'stx #'msg #'var)]
[t:failed-typecheck
(explicit-fail #'t.stx #'t.message #'t.var)]
;; data
[(quote #f) (ret (-val #f) -false-filter)]
[(quote #t) (ret (-val #t) -true-filter)]
@ -328,8 +328,8 @@
(check-subforms/ignore form)
(ret Univ)]
;; explicit failure
[(quote-syntax ((~literal typecheck-fail-internal) stx msg var))
(explicit-fail #'stx #'msg #'var)]
[t:failed-typecheck
(explicit-fail #'t.stx #'t.message #'t.var)]
;; data
[(quote #f) (ret (-val #f) -false-filter)]
[(quote #t) (ret (-val #t) -true-filter)]