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

Turned indexing back to using integers rather than naturals.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-06-14 13:05:12 -04:00
parent 54eefc52ed
commit 60c3067ddb
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/private/base-env-indexing.rkt
View File

@ -5,7 +5,7 @@
(for-syntax (types abbrev) (env init-envs) (r:infer infer-dummy infer) (for-syntax (types abbrev) (env init-envs) (r:infer infer-dummy infer)
"base-env-indexing-abs.rkt")) "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)) (begin-for-syntax (initialize-type-env e))