AlphaGitHub
alpha-2027 · draft-alpha-2027 · tests/alpha-testsView source

Feature contract: f32-equal — SurfaceF32Equal → floatComparison (arity 2)#

Stub contract. This binary32 head is a DRAFT form of edition alpha-2027 (Language & Testing Evolution L13c); its behaviour is covered by the edition conformance suite tests/alpha-tests and the L12/L13 float harnesses, and this stub records it as draft-alpha-2027 (the whole checked closure and the negative corpus exercise the accepted grammar). A later chunk that CHANGES this form replaces this stub with a filled contract (the ten §5.2 items) and a form-specific suite.

1. Lexical and grammar rules, including precedence and termination#

Inherited from alpha-2026; see docs/language/GRAMMAR.md / docs/language/REFERENCE.md (head f32-equal).

2. Scope and binding rules, including generated names#

Inherited from alpha-2026; see docs/language/GRAMMAR.md / docs/language/REFERENCE.md (head f32-equal).

3. Type and quantity requirements#

Inherited from alpha-2026; see docs/language/GRAMMAR.md / docs/language/REFERENCE.md (head f32-equal).

4. Effects, totality, and evaluation-order rules#

Inherited from alpha-2026; see docs/language/GRAMMAR.md / docs/language/REFERENCE.md (head f32-equal).

5. Elaboration into existing core or a specifically versioned new core extension#

Inherited from alpha-2026; see docs/language/GRAMMAR.md / docs/language/REFERENCE.md (head f32-equal).

6. Representation and target support, where relevant#

Inherited from alpha-2026; see docs/language/GRAMMAR.md / docs/language/REFERENCE.md (head f32-equal).

7. Error codes and primary/secondary origins#

Inherited from alpha-2026; see docs/language/GRAMMAR.md / docs/language/REFERENCE.md (head f32-equal).

8. Formatting and migration rules#

Inherited from alpha-2026; see docs/language/GRAMMAR.md / docs/language/REFERENCE.md (head f32-equal).

9. Positive, negative, execution, and edge-case tests#

Inherited from alpha-2026; see docs/language/GRAMMAR.md / docs/language/REFERENCE.md (head f32-equal).

10. Compatibility with the old edition, serialized forms, and cache keys#

Inherited from alpha-2026; see docs/language/GRAMMAR.md / docs/language/REFERENCE.md (head f32-equal).