isDynamic (value -- isDynamic)

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.

isDynamic (value -- isDynamic)

Inputs

value: Current stack value whose forgotten-contents state is tested.

Outputs

isDynamic: Known Cond result that is TRUE when the current stack value is in the forgotten-contents state.

isDynamic is the current stack-value forgotten-contents predicate. It tests whether the current stack value is in the forgotten-contents state.

This predicate follows the referenced target for known non-NIL Ref values. It is the same predicate as unknownStable?. Mere lack of compile-time knownness is not enough, so Text, Code, and Meta values still report FALSE. This includes callable non-NIL Code values and known NIL Code values.

Behavior

An In-place value whose concrete contents have been forgotten, for example by dynamic, reports TRUE.

A fully known In-place value reports FALSE.

A known non-NIL Ref value reports TRUE only when its referenced target is in that same forgotten-contents state.

Known NIL Ref values and unknown Ref values report FALSE.

Text values report FALSE.

Code values report FALSE.

Meta values report FALSE.

Example

{} 0 {} [ value: 7; codeLocal: {} () {} codeRef; unknownValue: 0 dynamic; unknownText: 0 ("") dynamic @; [] !codeLocal "-- same as unknownStable? for In-place values --" printCompilerMessage 7 known? printStack _:; 7 isDynamic printStack _:; 7 unknownStable? printStack _:; unknownValue known? printStack _:; unknownValue isDynamic printStack _:; unknownValue unknownStable? printStack _:; "-- same as unknownStable? for references --" printCompilerMessage @value isDynamic printStack _:; @value unknownStable? printStack _:; @value dynamic isDynamic printStack _:; @value dynamic unknownStable? printStack _:; 0nx value addressToReference isDynamic printStack _:; 0nx value addressToReference unknownStable? printStack _:; "-- same as unknownStable? for text, code, meta --" printCompilerMessage "hi" isDynamic printStack _:; "hi" unknownStable? printStack _:; unknownText isDynamic printStack _:; unknownText unknownStable? printStack _:; {} () {} codeRef isDynamic printStack _:; {} () {} codeRef unknownStable? printStack _:; @codeLocal isDynamic printStack _:; @codeLocal unknownStable? printStack _:; () isDynamic printStack _:; () unknownStable? printStack _:; 0 ] "main" exportFunction

Expected Output During Compilation

-- same as unknownStable? for In-place values -- TRUE FALSE FALSE FALSE TRUE TRUE -- same as unknownStable? for references -- FALSE FALSE TRUE TRUE FALSE FALSE -- same as unknownStable? for text, code, meta -- FALSE FALSE FALSE FALSE FALSE FALSE FALSE FALSE FALSE FALSE