Tue Dec 13 17:05:02 EST 2011
For load/store of loop state it seems C structures are necessary.
This requires some support. Doing it just for arrays would probably
be 90% of the work, since this needs some compilation support from the
Struct is mainly there so that we can:
- compose state objects
- keep everything "flat" in the implementation, i.e. local
variables for function args
It has no equivalent in Term.
What needs to be done? Essentially this is just dereferencing and
assignment using "." or "->" + structure type definition. Given a
reference, construct a Struct object using those.
Maybe extending structVariables with a nameSpace argument?