From 3c9e7e34db69a6112f8aa87c4e5c3edcd550b4ab Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 22 Jun 2010 13:23:44 -0400 Subject: [PATCH] Switched indexing to integers in the typechecker's special cases for heterogenous vectors and unsafe struct operations. --- collects/typed-scheme/typecheck/tc-app.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/typecheck/tc-app.rkt b/collects/typed-scheme/typecheck/tc-app.rkt index 109cb371e4..a03531ff45 100644 --- a/collects/typed-scheme/typecheck/tc-app.rkt +++ b/collects/typed-scheme/typecheck/tc-app.rkt @@ -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)))]