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

Fix internal error detected by vincent.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-17 16:06:27 -05:00
parent 0d1d61c725
commit 7ecf424ff8
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-scheme/typecheck/tc-let-unit.rkt
View File

@ -44,7 +44,8 @@
[f+ fs+] [f+ fs+]
[f- fs-]) [f- fs-])
(list (make-ImpFilter (-not-filter (-val #f) n) f+) (list (make-ImpFilter (-not-filter (-val #f) n) f+)
(make-ImpFilter (-filter (-val #f) n) f-)))))])))) (make-ImpFilter (-filter (-val #f) n) f-)))))]
[(tc-results: ts (NoFilter:) _) (values ts null)]))))
;; extend the lexical environment for checking the body ;; extend the lexical environment for checking the body
(with-lexical-env/extend/props (with-lexical-env/extend/props
;; the list of lists of name ;; the list of lists of name