suzanne.soy/typed-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.

original commit: 54cea00f4fce318986802295582151fa47a78fbd
This commit is contained in:
Asumu Takikawa 2013-07-09 18:24:06 -04:00
parent 4e32bbdbcf
commit 8577ca01cf
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)
(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))