Lvalues should be distinct from both ArkExp and ArkVal as they are run-time values, but not first-class.
ArkExp needs a subclass ArkLexp with an evalRef method that produces an lvalue (=== ArkRef), i.e. ArkRef is no longer a subclass of ArkVal. Assignment calls evalRef on its left-hand argument and eval on its right-hand argument.
For example, ArkProperty.evalRef would call Object.eval and then wrap the result as an ArkPropertyRef. A global, local or capture's .evalRef would return an ArkValRef.
Lvalues should be distinct from both
ArkExpandArkValas they are run-time values, but not first-class.ArkExpneeds a subclassArkLexpwith anevalRefmethod that produces an lvalue (===ArkRef), i.e.ArkRefis no longer a subclass ofArkVal. Assignment callsevalRefon its left-hand argument andevalon its right-hand argument.For example,
ArkProperty.evalRefwould callObject.evaland then wrap the result as anArkPropertyRef. A global, local or capture's.evalRefwould return anArkValRef.