manuallyDestroyVariable (value --)

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.

manuallyDestroyVariable (value --)

Inputs

value: Value or Ref whose designated object is destroyed.

Outputs

None.

manuallyDestroyVariable is a designated-storage destruction builtin. It destroys a value in existing storage. Storage release or storage reuse is a separate operation. For an In-place local or field, NAME or .NAME and @NAME or .@NAME all designate the same storage for manual destruction.

Behavior

If value is a mutable or immutable Ref, the builtin destroys the value in the referenced storage.

Otherwise, it destroys the designated local, field, or temporary value itself.

The builtin does not free the underlying storage address.

No result is pushed onto the data stack.

Example

"String" use "memory.mplMalloc" use Tracer: { value: 0; INIT: [ ("init\n") printList 42 !value ]; DIE: [ ("die\n") printList ]; }; {} 0 {} [ slot: Tracer storageSize mplMalloc @Tracer addressToReference; @slot manuallyInitVariable ("-- value -- " slot.value "\n") printList slot manuallyDestroyVariable 0 ] "main" exportFunction

Expected Output

init -- value -- 42 die