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

Switch two type errors to internal errors

Browse Source 
One of these was broken and falling into that case would
raise a random runtime error anyway.
This commit is contained in:
Asumu Takikawa 2013-07-09 18:24:06 -04:00
parent bd5b7ea85b
commit 54cea00f4f
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -288,7 +288,7 @@
[(letrec-values ([(name ...) expr] ...) . body) [(letrec-values ([(name ...) expr] ...) . body)
(tc/letrec-values #'((name ...) ...) #'(expr ...) #'body form expected)] (tc/letrec-values #'((name ...) ...) #'(expr ...) #'body form expected)]
;; other ;; 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 ;; type check form in the current type environment
@ -389,9 +389,7 @@
(begin (tc-exprs (syntax->list #'es)) (begin (tc-exprs (syntax->list #'es))
(tc-expr #'e))] (tc-expr #'e))]
;; other ;; other
[_ [_ (int-err "cannot typecheck unknown form : ~a" (syntax->datum form))]))
(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))]))
(parameterize ([current-orig-stx form]) (parameterize ([current-orig-stx form])
;(printf "form: ~a\n" (syntax->datum form)) ;(printf "form: ~a\n" (syntax->datum form))