Benjamin Stuhl wrote:
> (eg. I solemnly swear to never use symbolic
> references, count on specific op patterns, or
> use any number large enough to require
> bignums.)
These are things (aside from the number limit, but overflow catching
is needed anyhow, so switching to bignums instead of crashing and
burning seems like a reasonable default behavior) that could be
easily identified and flagged (well, use of symbolic reference) at
first-pass time.
Except for
${$thing}
if we don't know if $thing is a reference or a name -- but can that
be figured out on first-pass? Is there an entry point between this
line and $thing's last use as an l-value, and can the expression
that is getting assigned there be seen to clearly be a reference?
Do we even care?
if symbolic reference only gets fallen back to when, oops, something
that is not a reference gets used as one, what exactly do we save? The
check to verify that something is in fact a reference?
Could that check be deferred into an exception handler?
--
David Nicol 816.235.1187
"It's widely known that the 'F' in RTFM is silent." -- Olie
