suzanne.soy/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.
This commit is contained in:
Vincent St-Amour 2010-06-22 13:23:44 -04:00
parent 7d1040283e
commit 3c9e7e34db
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] [(tc-result1: (Value: (? number? i))) i]
[_ #f]))]) [_ #f]))])
(cond [(not ival) (cond [(not ival)
(check-below e-t -Nat) (check-below e-t -Integer)
(if expected (if expected
(check-below (ret (apply Un flds)) expected) (check-below (ret (apply Un flds)) expected)
(ret (apply Un flds)))] (ret (apply Un flds)))]
@ -529,7 +529,7 @@
[(tc-result1: (Value: (? number? i))) i] [(tc-result1: (Value: (? number? i))) i]
[_ #f]))]) [_ #f]))])
(cond [(not ival) (cond [(not ival)
(check-below e-t -Nat) (check-below e-t -Integer)
(if expected (if expected
(check-below (ret (apply Un es)) expected) (check-below (ret (apply Un es)) expected)
(ret (apply Un es)))] (ret (apply Un es)))]