test-suite/primitive/float/zero.v


1
2
3
4
5
6
7

Require Import ZArith Int63 Floats.

Open Scope float_scope.

Fail Check (eq_refl : zero = neg_zero).
Fail Check (eq_refl <: zero = neg_zero).
Fail Check (eq_refl <<: zero = neg_zero).