neg (value -- negatedValue)

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.

neg (value -- negatedValue)

Inputs

value: Signed Int or Real value.

Outputs

negatedValue: Negated value in the same schema.

neg accepts signed Int schemas and Real schemas. The input is dereferenced and must be non-NIL.

This is arithmetic negation, not bitwise complement. The Whole or Real value is mapped to its additive inverse.

Bitwise complement is provided by ~.

Behavior

A known input is negated at compile time.

An unknown input produces an unknown value of the same schema.

The result keeps the same schema as the input.

Nat is invalid because arithmetic negation is defined here only for signed Int and Real.

Example

{} () {} [ "-- int32 --" printCompilerMessage 7 neg printStack _:; -7 neg printStack _:; "-- neg versus ~ --" printCompilerMessage 5 neg printStack _:; 5 ~ printStack _:; "-- real32 --" printCompilerMessage 2.5r32 neg printStack _:; -2.5r32 neg printStack _:; "-- unknown real32 --" printCompilerMessage value: 0.0r32 dynamic; value neg printStack _:; ] "main" exportFunction

Expected Output During Compilation

-- int32 -- -7 7 -- neg versus ~ -- -5 -6 -- real32 -- -2.5r32 2.5r32 -- unknown real32 -- Real32