; Fieldtest fixture — Axis 4 companion: rejection diagnostic for Eq at Float.
;
; Twin of eqord_4_float_ord_must_fail.ail for the Eq variant.
; Verifies the diagnostic produced when an LLM-author tries the
; polymorphic `eq` at Float — what the milestone spec calls the
; Klausel-3 discriminator.
;
; Expected behaviour: `ail check` exits non-zero. stderr contains:
;   - `NoInstance` mention of `Eq` and `Float`
;   - the literal string `float_eq` somewhere in the addendum

(module eqord_5_float_eq_must_fail
  (fn main
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body (app print (if (app eq 1.5 1.5) 1 0)))))