= (leftValue rightValue -- isEqual)

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.

= (leftValue rightValue -- isEqual)

Inputs

leftValue: Left value in the comparison.

rightValue: Right value in the comparison.

Outputs

isEqual: Cond result that is TRUE when the dereferenced values are equal, and unknown when equality cannot be decided at compile time.

= compares dereferenced values by value equality.

Supported inputs are values whose dereferenced schemas are same-schema Cond, numeric, or non-NIL Text.

= answers a different question from is and same. Use is for identity-like equality and same for dereferenced schema identity.

Behavior

If the dereferenced schemas differ, the builtin is invalid. It does not return FALSE.

Cond and numeric values compare by value.

Ref values are dereferenced before comparison. Different Ref values to equal-valued targets therefore make = return TRUE even when is returns FALSE.

Text values compare by their UTF-8 contents.

If both dereferenced values are known, the result is known at compile time.

If either dereferenced value is unknown, the result is an unknown Cond.

A known NIL Text input is invalid.

The result is always a Cond value.

Example

{} 0 {} [ condValue: TRUE dynamic; first: 7; second: 7; numberValue: 0 dynamic; textValue: 0 ("") dynamic @; "-- cond --" printCompilerMessage TRUE TRUE = printStack _:; TRUE FALSE = printStack _:; condValue TRUE = printStack _:; "-- numbers compare by value --" printCompilerMessage 7 7 = printStack _:; 7 8 = printStack _:; "-- references are dereferenced first --" printCompilerMessage @first @second = printStack _:; @first @second is printStack _:; "-- unknown int32 --" printCompilerMessage numberValue 7 = printStack _:; "-- text --" printCompilerMessage "alpha" "alpha" = printStack _:; "alpha" "beta" = printStack _:; "-- unknown text --" printCompilerMessage textValue "alpha" = printStack _:; 0 ] "main" exportFunction

Expected Output During Compilation

-- cond -- TRUE FALSE Cond -- numbers compare by value -- TRUE FALSE -- references are dereferenced first -- TRUE FALSE -- unknown int32 -- Cond -- text -- TRUE FALSE -- unknown text -- Cond