From 7d2b085baadecbf512a584ea44c7f40db0f903da Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Wed, 13 Nov 2013 08:20:20 -0800 Subject: [PATCH] Change name of failed-typecheck. --- .../typed-racket/typecheck/internal-forms.rkt | 4 ++-- .../typed-racket-lib/typed-racket/typecheck/tc-expr-unit.rkt | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/internal-forms.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/internal-forms.rkt index b97c316960..dee21614c9 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/internal-forms.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/internal-forms.rkt @@ -17,7 +17,7 @@ typed-require/struct predicate-assertion type-declaration - failed-typecheck + typecheck-failure type-alias? typed-struct? @@ -113,7 +113,7 @@ (assert-predicate-internal type predicate)] [type-declaration (:-internal id:identifier type)] - [failed-typecheck + [typecheck-failure (typecheck-fail-internal stx message:str var:id)]) ;;; Internal form creation 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 f82b02c4df..f793517662 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 @@ -189,7 +189,7 @@ ;; We trust ignore to be only on syntax objects objects that are well typed expected] ;; explicit failure - [t:failed-typecheck + [t:typecheck-failure (explicit-fail #'t.stx #'t.message #'t.var)] ;; data [(quote #f) (ret (-val #f) -false-filter)] @@ -329,7 +329,7 @@ (check-subforms/ignore form) (ret Univ)] ;; explicit failure - [t:failed-typecheck + [t:typecheck-failure (explicit-fail #'t.stx #'t.message #'t.var)] ;; data [(quote #f) (ret (-val #f) -false-filter)]