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

Switched indexing to integers in the typechecker's special cases for

Browse Source 
heterogenous vectors and unsafe struct operations.

original commit: 3c9e7e34db69a6112f8aa87c4e5c3edcd550b4ab
This commit is contained in:
Vincent St-Amour 2010-06-22 13:23:44 -04:00
parent 1d48090ecb
commit 93728d1ebd
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-app.rkt
View File

@ -472,7 +472,7 @@
[(tc-result1: (Value: (? number? i))) i]
[_ #f]))])
(cond [(not ival)
(check-below e-t -Nat)
(check-below e-t -Integer)
(if expected
(check-below (ret (apply Un flds)) expected)
(ret (apply Un flds)))]
@ -529,7 +529,7 @@
[(tc-result1: (Value: (? number? i))) i]
[_ #f]))])
(cond [(not ival)
(check-below e-t -Nat)
(check-below e-t -Integer)
(if expected
(check-below (ret (apply Un es)) expected)
(ret (apply Un es)))]