newVarOfTheSameType (schema -- newValue)

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.

newVarOfTheSameType (schema -- newValue)

Inputs

schema: Value or Ref whose dereferenced schema is copied for the new value.

Outputs

newValue: Fresh value created only from the dereferenced schema, without using current contents.

newVarOfTheSameType is a fresh-value creation builtin that uses only the dereferenced schema of its input.

The input may be a value or Ref, but current contents, current access path, and NIL status are ignored. Only the dereferenced schema participates. Unlike new, current Ref contents, current access path, and NIL status never participate here. Applying const or unconst to a Ref input therefore does not change this builtin’s behavior.

Behavior

In-place schemas produce a fresh value of the same schema with unknown contents.

Meta schemas produce a new Meta value of the same schema.

A known NIL Ref input is valid whenever its dereferenced schema is valid for newVarOfTheSameType.

Code schemas are invalid.

Text schemas are invalid.

Mutable versus immutable Ref inputs make no difference except through the dereferenced schema.

Example

{} 0 {} [ template: 7; "-- current contents are ignored --" printCompilerMessage template newVarOfTheSameType printStack _:; template newVarOfTheSameType known? printStack _:; "-- access path is ignored --" printCompilerMessage @template newVarOfTheSameType printStack _:; @template newVarOfTheSameType known? printStack _:; "-- known NIL Ref still uses schema --" printCompilerMessage 0nx template addressToReference newVarOfTheSameType printStack _:; 0nx template addressToReference newVarOfTheSameType known? printStack _:; "-- meta schema --" printCompilerMessage () newVarOfTheSameType printStack _:; () newVarOfTheSameType known? printStack _:; 0 ] "main" exportFunction

Expected Output During Compilation

-- current contents are ignored -- Int32 FALSE -- access path is ignored -- Int32 FALSE -- known NIL Ref still uses schema -- Int32 FALSE -- meta schema -- () TRUE