suzanne.soy/typed-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 
original commit: 60c3067ddb9b187855c81eabd6c5e89d74ebcbff
This commit is contained in:
Vincent St-Amour 2010-06-14 13:05:12 -04:00
parent 361fee5e59
commit ec41142ab4
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)
"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))