const (value -- immutableView)

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 ! and 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.

const (value -- immutableView)

Inputs

value: Current stack value whose view may become immutable.

Outputs

immutableView: Resulting stack value in immutable view where valid.

const is a current stack-value immutable-view conversion builtin. It converts the current stack value to an immutable 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 const. Accepted unchanged Meta inputs still make isConst report FALSE.

Behavior

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

An immutable Ref input is returned unchanged.

NAME on an In-place local is valid because that form already produces an immutable Ref view.

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 const printStack _:; @value printStack _:; value printStack _:; value const printStack _:; @value isConst printStack _:; @value const isConst printStack _:; value const isConst printStack _:; "-- accepted non-Ref inputs are unchanged --" printCompilerMessage "hi" const printStack _:; unknownText const isConst printStack _:; {} () {} codeRef const isConst printStack _:; @codeLocal const isConst printStack _:; () const isConst printStack _:; 0 ] "main" exportFunction

Expected Output During Compilation

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