same (leftSchema rightSchema -- isSameSchema)

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.

same (leftSchema rightSchema -- isSameSchema)

Inputs

leftSchema: First value or Ref whose dereferenced schema is compared.

rightSchema: Second value or Ref whose dereferenced schema is compared.

Outputs

isSameSchema: Known Cond result that is TRUE when the dereferenced schemas are identical.

same is a dereferenced-schema equality predicate. It tests whether two dereferenced schemas are identical.

All input values are accepted. Only the two dereferenced schemas participate in the result, so current value contents, value knowledge, and Ref mutability do not participate after dereferencing.

Different dereferenced schemas make same return FALSE instead of raising an error.

same therefore answers exact schema identity, not runtime compatibility or naming. Matching schemaName text does not imply same, and runtime comparisons such as = and is answer different questions.

Use same for exact dereferenced-schema identity, = for dereferenced value equality, and is for identity-like equality.

Behavior

The result is always known.

Ref values are dereferenced before comparison, so different Ref mutability does not by itself make the result FALSE.

Identical dereferenced schemas produce TRUE. Different dereferenced schemas produce FALSE.

Different contents and different value knowledge do not matter.

Schema kinds carry extra structure. Two separately written Block values therefore have different schemas even when they look similar.

Example

{} 0 {} [ value: 0 dynamic; "-- same schema, different values or value knowledge --" printCompilerMessage 0 1 same printStack _:; 0 dynamic 1 dynamic same printStack _:; 0 1 = printStack _:; 0 1 is printStack _:; "-- different schemas give FALSE, not an error --" printCompilerMessage 0 0n32 same printStack _:; 7 FALSE same printStack _:; "-- matching schemaName text is not enough --" printCompilerMessage left: { SCHEMA_NAME: "Point" virtual; x: 0; }; right: { SCHEMA_NAME: "Point" virtual; y: 0; }; left schemaName printStack _:; right schemaName printStack _:; left right same printStack _:; "-- references are dereferenced first --" printCompilerMessage @value value same printStack _:; "-- separate block literals have different schemas --" printCompilerMessage [] [] same printStack _:; "-- same block schema read twice --" printCompilerMessage block: []; @block @block same printStack _:; "-- text schema only --" printCompilerMessage "hi" "ho" same printStack _:; "hi" "ho" = printStack _:; "hi" "ho" is printStack _:; 0 ] "main" exportFunction

Expected Output During Compilation

-- same schema, different values or value knowledge -- TRUE TRUE FALSE FALSE -- different schemas give FALSE, not an error -- FALSE FALSE -- matching schemaName text is not enough -- "Point" "Point" FALSE -- references are dereferenced first -- TRUE -- separate block literals have different schemas -- FALSE -- same block schema read twice -- TRUE -- text schema only -- TRUE FALSE FALSE