- (minuend subtrahend -- difference)

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.

- (minuend subtrahend -- difference)

Inputs

minuend: Value from which the second value is subtracted.

subtrahend: Value subtracted from the minuend.

Outputs

difference: Difference value.

This builtin accepts whole and real numbers. Both inputs are dereferenced and must be non-NIL. The operands must have the same schema.

Behavior

Whole-number schemas use integer subtraction semantics.

Real schemas use floating-point subtraction semantics.

If both operands are known at compile time, the result is computed at compile time.

If the subtrahend is known 0, the result follows the minuend's value and schema.

If the minuend is known 0 and the schema is real, the result preserves the real schema of the subtrahend. If that subtrahend is unknown, the result remains unknown.

Otherwise, the builtin produces an unknown result of the same schema.

Example

{} () {} [ unknownReal: 2.5r32 dynamic; "-- int32 --" printCompilerMessage 10 3 - printStack _:; 7 0 - printStack _:; "-- zero with unknown real32 --" printCompilerMessage 0.0r32 unknownReal - printStack _:; "-- real32 --" printCompilerMessage 0.0r32 2.5r32 - printStack _:; 5.0r32 2.5r32 - printStack _:; ] "main" exportFunction

Expected Output During Compilation

-- int32 -- 7 7 -- zero with unknown real32 -- Real32 -- real32 -- -2.5r32 2.5r32