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

use correct constructor

Browse Source 
svn: r14630
This commit is contained in:
Sam Tobin-Hochstadt 2009-04-27 20:15:14 +00:00
parent 18f89c73e4
commit 4d8ba2bca6
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-expr-unit.ss
View File

@ -107,8 +107,8 @@
(define (tc-id id) (define (tc-id id)
(let* ([ty (lookup-type/lexical id)]) (let* ([ty (lookup-type/lexical id)])
(ret ty (ret ty
(make-LFilterSet (list (make-NotTypeFilter (-val #f) null id)) (make-FilterSet (list (make-NotTypeFilter (-val #f) null id))
(list (make-TypeFilter (-val #f) null id))) (list (make-TypeFilter (-val #f) null id)))
(make-Path null id)))) (make-Path null id))))
;; typecheck an expression, but throw away the effect ;; typecheck an expression, but throw away the effect