From 16f0b6a30b8d35812a66fd8a8e0c2426c2db766f Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Fri, 15 May 2009 15:05:53 +0000 Subject: [PATCH] Fix typo so cdrs in paths are handled. svn: r14826 original commit: b2cf9c0006bb8db35d1de5a0d48042d8958b48c2 --- collects/typed-scheme/typecheck/tc-envops.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/typecheck/tc-envops.ss b/collects/typed-scheme/typecheck/tc-envops.ss index da851f38..c3a5bd4c 100644 --- a/collects/typed-scheme/typecheck/tc-envops.ss +++ b/collects/typed-scheme/typecheck/tc-envops.ss @@ -31,7 +31,7 @@ (make-Pair (update t (make-TypeFilter u rst x)) s)] [((Pair: t s) (NotTypeFilter: u (list* (CarPE:) rst) x)) (make-Pair (update t (make-NotTypeFilter u rst x)) s)] - [((Pair: t s) (TypeFilter: u (list* (CarPE:) rst) x)) + [((Pair: t s) (TypeFilter: u (list* (CdrPE:) rst) x)) (make-Pair t (update s (make-TypeFilter u rst x)))] [((Pair: t s) (NotTypeFilter: u (list* (CdrPE:) rst) x)) (make-Pair t (update s (make-NotTypeFilter u rst x)))] @@ -49,7 +49,7 @@ (restrict t u)] [(t (NotTypeFilter: u (list) _)) (remove t u)] - [(_ _) + [(t lo) (int-err "update along ill-typed path: ~a ~a" t lo)])) (define/contract (env+ env fs)