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

use correct constructor

Browse Source 
svn: r14630

original commit: 4d8ba2bca691a99f48a332b1c3cc4dab7f61d7dd
This commit is contained in:
Sam Tobin-Hochstadt 2009-04-27 20:15:14 +00:00
parent fca47159f2
commit 4495909274
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)
(let* ([ty (lookup-type/lexical id)])
(ret ty
(make-LFilterSet (list (make-NotTypeFilter (-val #f) null id))
(list (make-TypeFilter (-val #f) null id)))
(make-FilterSet (list (make-NotTypeFilter (-val #f) null id))
(list (make-TypeFilter (-val #f) null id)))
(make-Path null id))))
;; typecheck an expression, but throw away the effect