![]() With only Integer possible as type for the index argument, Integer was used as expected type, and any information we had about the argument (sign, range, etc.) was lost. |
||
---|---|---|
.. | ||
annotate-classes.rkt | ||
base-env-indexing-abs.rkt | ||
base-env-indexing.rkt | ||
base-env-numeric.rkt | ||
base-env.rkt | ||
base-special-env.rkt | ||
base-structs.rkt | ||
base-types-extra.rkt | ||
base-types.rkt | ||
colon.rkt | ||
env-lang.rkt | ||
extra-procs.rkt | ||
for-clauses.rkt | ||
internal.rkt | ||
prims.rkt | ||
type-env-lang.rkt |