From 772abbfa813d7a22303e118ddfb36bf0182e68d1 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 12 May 2010 18:24:19 -0400 Subject: [PATCH] Updates along useless paths are not errors. original commit: 4ceda9970005b4da3b56b0e48a0d69de05e3fa54 --- collects/typed-scheme/typecheck/tc-envops.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/typecheck/tc-envops.rkt b/collects/typed-scheme/typecheck/tc-envops.rkt index 39665cd6..274a52bb 100644 --- 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)