From 8577ca01cfd13f352db1371b973434fc3a7d5560 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Tue, 9 Jul 2013 18:24:06 -0400 Subject: [PATCH] Switch two type errors to internal errors One of these was broken and falling into that case would raise a random runtime error anyway. original commit: 54cea00f4fce318986802295582151fa47a78fbd --- .../typed-racket/typecheck/tc-expr-unit.rkt | 6 ++---- 1 file changed, 2 insertions(+), 4 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 5b2bbb6a..62a77a96 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 @@ -288,7 +288,7 @@ [(letrec-values ([(name ...) expr] ...) . body) (tc/letrec-values #'((name ...) ...) #'(expr ...) #'body form expected)] ;; other - [_ (tc-error/expr #:return (ret expected) "cannot typecheck unknown form : ~a\n" (syntax->datum form))] + [_ (int-err "cannot typecheck unknown form : ~a" (syntax->datum form))] ))) ;; type check form in the current type environment @@ -389,9 +389,7 @@ (begin (tc-exprs (syntax->list #'es)) (tc-expr #'e))] ;; other - [_ - (printf "~s\n" (continuation-mark-set->context (current-continuation-marks))) - (tc-error/expr #:return (ret (Un)) "cannot typecheck unknown form : ~a\n" (syntax->datum form))])) + [_ (int-err "cannot typecheck unknown form : ~a" (syntax->datum form))])) (parameterize ([current-orig-stx form]) ;(printf "form: ~a\n" (syntax->datum form))