Re: Smart variables, dumb variables

[Marius Vollmer]

address@hidden writes:

> It sure makes sense, but at another point (see also all the other
> followups).  Those decisions are compile-time, and whether the
> compiler gets its info from promises the user makes (kind of
> type declarations) or from static code analysis -- it'd have
> to have a richer per-variable data structure than just those two
> bits.

Yes, but some parts of that data structure could be moved into the
variable cell, especially those that would be used right from the
start by our current memoizer.

-- 
GPG: D5D4E405 - 2F9B BCCC 8527 692A 04E3  331E FAF8 226A D5D4 E405