Updates along useless paths are not errors.

2010-05-12 18:24:19 -04:00 · 2010-05-12 18:24:19 -04:00 · 4ceda99700
commit 4ceda99700
parent 41f0152435
1 changed files with 3 additions and 1 deletions
--- a/collects/typed-scheme/typecheck/tc-envops.rkt
+++ b/collects/typed-scheme/typecheck/tc-envops.rkt
@ -60,7 +60,9 @@
    [((Union: ts) lo)
     (apply Un (map (lambda (t) (update t lo)) ts))]
    [(t* lo)
-     (int-err "update along ill-typed path: ~a ~a ~a" t t* lo)]))
+     #;
+     (int-err "update along ill-typed path: ~a ~a ~a" t t* lo)
+     t]))

 ;; sets the flag box to #f if anything becomes (U)
 (d/c (env+ env fs flag)