From 60c3067ddb9b187855c81eabd6c5e89d74ebcbff Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 14 Jun 2010 13:05:12 -0400 Subject: [PATCH] Turned indexing back to using integers rather than naturals. --- collects/typed-scheme/private/base-env-indexing.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/base-env-indexing.rkt b/collects/typed-scheme/private/base-env-indexing.rkt index e345ab7e5c..23b72c05ca 100644 --- a/collects/typed-scheme/private/base-env-indexing.rkt +++ b/collects/typed-scheme/private/base-env-indexing.rkt @@ -5,7 +5,7 @@ (for-syntax (types abbrev) (env init-envs) (r:infer infer-dummy infer) "base-env-indexing-abs.rkt")) -(define-for-syntax e (parameterize ([infer-param infer]) (indexing -Nat))) +(define-for-syntax e (parameterize ([infer-param infer]) (indexing -Integer))) (begin-for-syntax (initialize-type-env e))