From 09c8cd999ddd44eab232ef73204c37c94ec0d019 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Tue, 12 Nov 2013 09:26:15 -0800 Subject: [PATCH] Make tc-expr unit use the new syntax classes. original commit: 2a99e418d585ff167ba8ae23746df763cac912f7 --- .../typed-racket/typecheck/tc-expr-unit.rkt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt index 14f314e8..71e75339 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt @@ -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)]