]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #67430 - tspiteri:minus-inf, r=Dylan-DPC
authorDylan DPC <dylan.dpc@gmail.com>
Tue, 31 Dec 2019 12:44:01 +0000 (18:14 +0530)
committerGitHub <noreply@github.com>
Tue, 31 Dec 2019 12:44:01 +0000 (18:14 +0530)
commit2c64475069cc20701b84395af24110334fa0c15c
treec8ec53331860b16cd41687066e2fef90891eb683
parentbf2d145c62888c853db0bcfd8f5b3a6919f15502
parentd1a3518e30febb459afeb25b4850a3222f44db8c
Rollup merge of #67430 - tspiteri:minus-inf, r=Dylan-DPC

doc: minus (U+2212) instead of dash (U+002D) for negative infinity

The documentation for [`f32::NEG_INFINITY`](https://doc.rust-lang.org/std/f32/constant.NEG_INFINITY.html) contains “-∞” with a dash instead of a minus sign, “−∞” with a proper minus sign looks better with the used Source Serif Pro font. Similarly for [`f64::NEG_INFINITY`](https://doc.rust-lang.org/std/f64/constant.NEG_INFINITY.html).
src/libcore/num/f32.rs
src/libcore/num/f64.rs