Arbitrary f32 and f64's should include special values

[burntsushi]

Arbitrary f32 and f64's should include special values

I agree, this would be nice to have.

For what it's worth, Haskell's QuickCheck generates none of those values for its Arbitrary Float and Arbitrary Double instances (as of version 2.7.6).

[BurntSushi]

Does anyone know why Haskell's QuickCheck doesn't generate those special values?

[huonw]

Including subnormals might be good too.

[bekh6ex]

Related problem: f64 and f32 values are always in range between -100 and 100

quickcheck! {
    fn float_range(n: f64) -> bool {
        n < 100.0 && n > -100.0
    }
}

This test never fails.

quickcheck version = 0.4.2

[bekh6ex]

Regarding Haskell's quickcheck and floats here is related discussion:
nick8325/quickcheck#98

[KamilaBorowska]

However for Float, the NaN values are problematic since they violate the typeclass laws.

Doesn't sound like an issue for Rust, just saying, due to PartialEq and Eq being separate.