dynamic (value -- dynamicValue)

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.

dynamic (value -- dynamicValue)

Inputs

value: Value whose compile-time contents are forgotten.

Outputs

dynamicValue: Resulting value of the same schema and general value kind, with forgotten compile-time contents where applicable.

dynamic is a current stack-value forgotten-contents conversion builtin. It keeps the schema of value and keeps the same general value kind, but it may erase current value knowledge.

For a known non-NIL Ref value, the referenced target becomes forgotten while the current Ref view stays the same.

Behavior

A known In-place value becomes the same schema with forgotten contents.

A known non-NIL Ref value stays a Ref value of the same schema, but the target contents become forgotten.

A known NIL Ref value is unchanged.

An unknown Ref value is unchanged.

A Code value keeps the same schema and still reports FALSE under isDynamic and unknownStable?. A known NIL Code value can lose its printed CNIL marker. A callable non-NIL Code value remains callable.

Text values are unchanged.

Meta values are unchanged.

Example

{} 0 {} [ value: 7; codeLocal: {} () {} codeRef; unknownText: 0 ("") dynamic @; [] !codeLocal "-- In-place value --" printCompilerMessage 7 known? printStack _:; 7 dynamic printStack _:; 7 dynamic known? printStack _:; 7 dynamic isDynamic printStack _:; "-- known Ref --" printCompilerMessage @value known? printStack _:; @value dynamic printStack _:; @value dynamic known? printStack _:; @value dynamic isDynamic printStack _:; "-- known NIL Ref --" printCompilerMessage 0nx value addressToReference printStack _:; 0nx value addressToReference known? printStack _:; 0nx value addressToReference isDynamic printStack _:; 0nx value addressToReference dynamic printStack _:; 0nx value addressToReference dynamic known? printStack _:; 0nx value addressToReference dynamic isDynamic printStack _:; "-- code --" printCompilerMessage {} () {} codeRef printStack _:; {} () {} codeRef known? printStack _:; {} () {} codeRef isDynamic printStack _:; {} () {} codeRef dynamic printStack _:; {} () {} codeRef dynamic known? printStack _:; {} () {} codeRef dynamic isDynamic printStack _:; @codeLocal dynamic printStack _:; @codeLocal dynamic known? printStack _:; @codeLocal dynamic isDynamic printStack _:; "-- text and meta --" printCompilerMessage "hi" dynamic printStack _:; "hi" dynamic known? printStack _:; "hi" dynamic isDynamic printStack _:; () dynamic printStack _:; () dynamic known? printStack _:; () dynamic isDynamic printStack _:; 0 ] "main" exportFunction

Expected Output During Compilation

-- In-place value -- TRUE Int32 FALSE TRUE -- known Ref -- TRUE Int32 Ref FALSE TRUE -- known NIL Ref -- Int32 CNIL FALSE FALSE Int32 CNIL FALSE FALSE -- code -- {} () {} codeRef CNIL FALSE FALSE {} () {} codeRef FALSE FALSE {} () {} codeRef FALSE FALSE -- text and meta -- "hi" TRUE FALSE () TRUE FALSE