^ (base exponent -- power)

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.

^ (base exponent -- power)

Inputs

base: Real base value.

exponent: Real exponent value.

Outputs

power: Power value in the same real schema.

^ accepts only same-schema Real32 or Real64 operands. Both inputs are dereferenced and must be non-NIL.

Behavior

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

If base is known 1 and exponent is unknown, the result is known 1 of the same real schema.

If exponent is known 0 and base is unknown, the result is known 1 of the same real schema.

If exponent is known 1 and base is unknown, the result is an unknown value of the same real schema.

In all other cases with an unknown operand, the result is an unknown value of the same real schema.

Known values follow real exponentiation semantics, including results such as nan when the real operation does not produce a finite number.

Example

{} () {} [ "-- real32 --" printCompilerMessage 2.0r32 3.0r32 ^ printStack _:; 2.0r32 -1.0r32 ^ printStack _:; -1.0r32 0.5r32 ^ printStack _:; "-- known base or exponent --" printCompilerMessage unknownExponent: 0.0r32 dynamic; 1.0r32 unknownExponent ^ printStack _:; unknownBase: 0.0r32 dynamic; unknownBase 0.0r32 ^ printStack _:; unknownBase 1.0r32 ^ printStack _:; ] "main" exportFunction

Expected Output During Compilation

-- real32 -- 8.0r32 0.5r32 nanr32 -- known base or exponent -- 1.0r32 1.0r32 Real32