unconst (value -- mutableView)

Builtins

Name introduction, declaration modifiers, and module binding: NAME: ...;, codeRef, def, exportFunction, importFunction, importVariable, overload, private, static, use, and virtual.
Struct construction forms: (...), {...}, and array.
Selection forms: source-text selection with NAME and .NAME, read-only source-text selection with @NAME and .@NAME, and ordinal or known-name data-input selection with @, callField, and fieldRead.
Writing forms: source-text selection with !NAME and .!NAME, ordinal selection with !, fieldWrite, and already-selected destination replacement with set.
Calling and control flow: call, if, loop, ucall, and uif.
Text operations: &, LF, attribute, textSize, and textSplit.
Condition constants, value comparison, and logical operators: <, =, >, DEBUG, FALSE, TRUE, and, is, lshift, or, rshift, xor, and ~.
Arithmetic and numeric transforms: *, +, -, /, ^, cast, ceil, cos, floor, log, log10, mod, neg, sin, and sqrt.
Reference, creation, and value-state operations: const, dynamic, isConst, isDirty, isDynamic, isRef, isStatic, known?, new, newVarOfTheSameType, stable?, unconst, and unknownStable?.
Schema and struct introspection: code?, codeRef?, fieldCount, fieldIndex, fieldIsRef, fieldIsVirtual, fieldName, has, isCombined, managed?, same, schemaName, and virtual?.
Storage and manual lifetime operations: addressToReference, alignment, manuallyDestroyVariable, manuallyInitVariable, storageAddress, and storageSize.
Diagnostics and compile-time failure: failCompilation, getCallTrace, printCompilerMessage, printStack, printStackTrace, and raiseStaticError.

unconst (value -- mutableView)

Inputs

value: Current stack value whose view may become mutable.

Outputs

mutableView: Resulting stack value in mutable view where valid.

unconst is a current stack-value mutable-view conversion builtin. It converts the current stack value to a mutable view where valid.

For Ref inputs, only the current stack value changes. The referenced storage and any other references remain unchanged.

Code, Text, and Meta inputs are accepted and returned unchanged. This includes callable non-NIL Code values. No fresh value is created from dereferenced schema or contents. In-place values are invalid. Because only Ref inputs change view, only Ref inputs can change their isConst result under unconst. Accepted unchanged Meta inputs still make isConst report FALSE.

Behavior

An immutable Ref input becomes the corresponding mutable Ref to the same target.

A mutable Ref input is returned unchanged.

NAME on an In-place local is valid because that form already produces an immutable Ref view. unconst returns the mutable view to the same target.

Code and Text inputs are returned unchanged, including callable non-NIL Code inputs.

Meta inputs are returned unchanged and still report FALSE under isConst.

In-place inputs are invalid.

Example

{} 0 {} [ value: 7; codeLocal: {} () {} codeRef; unknownText: 0 ("") dynamic @; [] !codeLocal "-- current Ref view only --" printCompilerMessage value printStack _:; value unconst printStack _:; value printStack _:; @value printStack _:; @value unconst printStack _:; value isConst printStack _:; value unconst isConst printStack _:; @value unconst isConst printStack _:; "-- accepted non-Ref inputs are unchanged --" printCompilerMessage "hi" unconst printStack _:; unknownText unconst isConst printStack _:; {} () {} codeRef unconst isConst printStack _:; @codeLocal unconst isConst printStack _:; () unconst isConst printStack _:; 0 ] "main" exportFunction

Expected Output During Compilation

-- current Ref view only -- 7 Cref 7 Ref 7 Cref 7 Ref 7 Ref TRUE FALSE FALSE -- accepted non-Ref inputs are unchanged -- "hi" TRUE TRUE TRUE FALSE