def (value name --)

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.

def (value name --)

Inputs

value: Value bound to the created name.

name: Known local or field name.

Outputs

None.

def creates one local or field from a stack value and a known Text name.

The name is taken directly from name as known Text and does not consume the name stack.

Pending specifiers from overload, private, and virtual apply to the created local and are then cleared.

Behavior

name must be known Text.

The created local takes its schema and current value from value.

Pending labels remain unchanged and are consumed only by a later NAME: ...;.

If the next created local is static, value must be packable and known at compile time.

Inside {...}, a non-empty name creates a named field and an empty name creates an unnamed item.

Repeating a non-empty name creates another local or field with that name. Normal newest-to-oldest lookup then selects the latest one.

Example

{} 0 {} [ pendingLabel: 7 "x" def 8; virtual 4 "staticValue" def 5 "ordinaryValue" def 1 "latest" def 2 "latest" def "-- def uses its own text name --" printCompilerMessage x printStack _:; "-- pending label still used by ; --" printCompilerMessage pendingLabel printStack _:; "-- static local --" printCompilerMessage staticValue printStack _:; "-- In-place local after static def --" printCompilerMessage ordinaryValue printStack _:; "-- latest local wins --" printCompilerMessage latest printStack _:; "-- named fields created by def --" printCompilerMessage { 100 "score" def 2 "level" def } printStack _:; "-- duplicate field names created by def --" printCompilerMessage { 1 "x" def 2 "x" def } printStack _:; "-- unnamed items created by def --" printCompilerMessage { 1 "" def FALSE "" def } printStack _:; 0 ] "main" exportFunction

Expected Output During Compilation

-- def uses its own text name -- 7 Cref -- pending label still used by ; -- 8 Cref -- static local -- 4 -- In-place local after static def -- 5 Cref -- latest local wins -- 2 Cref -- named fields created by def -- { score: 100; level: 2; } -- duplicate field names created by def -- { x: 1; x: 2; } -- unnamed items created by def -- (1 FALSE)

`def (value name --)`

Inputs

Outputs

Behavior

Example

Expected Output During Compilation

See also