Re: Q: unboxed values and polymorphism

[dewar@cs.nyu.edu (Robert Dewar)]

Hannes says

"But will this give me unboxed integers and type information on the stack ?
I'd try a private type that's actually an integer. I'd use half of this
integers (-2**30 ... 2**30-1) for my fixnums. Values outside this range
would be indices in arrays of bignums or list cells. So I'd have unboxed
integers and type information on the stack."

You are encoding at a very low level, appropriate for C (since it is the
only way to do things), but totally inappropriate for Ada. You need a
variant record with a discriinant to indicate whether you have fixnums
or indices. The discriminant would be a single bit.