Updates along useless paths are not errors.

original commit: 4ceda9970005b4da3b56b0e48a0d69de05e3fa54
2010-05-12 18:24:19 -04:00 · 2010-05-12 18:24:19 -04:00 · 772abbfa81
commit 772abbfa81
parent 5fb5d7125b
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)