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

fix typo

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-13 17:43:50 -04:00
parent f40000c9c7
commit 798a7f2a3c
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

@ -443,7 +443,7 @@
(check-below e-t -Nat)
(if expected
(check-below (ret (apply Un es)) expected)
(ret (apply (Un es))))]
(ret (apply Un es)))]
[(and (integer? ival) (exact? ival) (<= 0 ival (sub1 (length es))))
(if expected
(check-below (ret (list-ref es ival)) expected)