suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix typo so cdrs in paths are handled.

Browse Source 
svn: r14826

original commit: b2cf9c0006bb8db35d1de5a0d48042d8958b48c2
This commit is contained in:
Sam Tobin-Hochstadt 2009-05-15 15:05:53 +00:00
parent bea5e0d9b1
commit 16f0b6a30b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/typecheck/tc-envops.ss
View File

@ -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)