We want to be able to fully mimic C++ semantics for HeldClasses (since that's what they basically are). To do that we need to be able to model copy construction and instance movement.
Currently, our implementation assumes that all TP instances are trivially moveable (you can just copy the memory from one place to another). So to do this we will need to:
mark all TP types that do not have trivial copy constructors or trivial move operators
make sure we call those operators in the interpreter layer everywhere instead of just moving memory around at will
ensure that we have a valid model for exceptions that get thrown during these calls
implement them in the compiler
optionally - make allow a pathway to let compiled versions of these functions get invoked by the interpreter if they're available
Once this is done, we should be able to implement any new data type directly in a HeldClass
We want to be able to fully mimic C++ semantics for HeldClasses (since that's what they basically are). To do that we need to be able to model copy construction and instance movement.
Currently, our implementation assumes that all TP instances are trivially moveable (you can just copy the memory from one place to another). So to do this we will need to:
Once this is done, we should be able to implement any new data type directly in a HeldClass