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

Removed a stray TODO comment.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-07-08 14:46:12 -04:00
parent dbda43ac6b
commit 8505bd8bca
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/typecheck/tc-app.rkt
View File

@ -377,7 +377,7 @@
[(tc-result1: (? needs-resolving? e) f o) [(tc-result1: (? needs-resolving? e) f o)
(loop (ret (resolve-once e) f o))] (loop (ret (resolve-once e) f o))]
[v-ty [v-ty
(let ([arg-tys (list v-ty e-t)]) ;; TODO problem is that 2 rec types are not equal, but why? (let ([arg-tys (list v-ty e-t)])
(tc/funapp #'op #'(v e) (single-value #'op) arg-tys expected))])))] (tc/funapp #'op #'(v e) (single-value #'op) arg-tys expected))])))]
[(#%plain-app (~and op (~or (~literal vector-set!) (~literal unsafe-vector-set!) (~literal unsafe-vector*-set!))) v e:expr val:expr) [(#%plain-app (~and op (~or (~literal vector-set!) (~literal unsafe-vector-set!) (~literal unsafe-vector*-set!))) v e:expr val:expr)
(let ([e-t (single-value #'e)]) (let ([e-t (single-value #'e)])