remove the `float` type

It is simply defined as `f64` across every platform right now.

A use case hasn't been presented for a `float` type defined as the
highest precision floating point type implemented in hardware on the
platform. Performance-wise, using the smallest precision correct for the
use case greatly saves on cache space and allows for fitting more
numbers into SSE/AVX registers.

If there was a use case, this could be implemented as simply a type
alias or a struct thanks to `#[cfg(...)]`.

Closes #6592

The mailing list thread, for reference:

https://mail.mozilla.org/pipermail/rust-dev/2013-July/004632.html

1 files changed, 2 insertions, 8 deletions

diff --git a/src/test/debug-info/borrowed-managed-basic.rs b/src/test/debug-info/borrowed-managed-basic.rs
index 35a222ffd04..917db045edb 100644
--- a/src/test/debug-info/borrowed-managed-basic.rs
+++ b/src/test/debug-info/borrowed-managed-basic.rs
@@ -51,14 +51,11 @@
 // debugger:print *u64_ref
 // check:$12 = 64
 
-// debugger:print *float_ref
-// check:$13 = 1.5
-
 // debugger:print *f32_ref
-// check:$14 = 2.5
+// check:$13 = 2.5
 
 // debugger:print *f64_ref
-// check:$15 = 3.5
+// check:$14 = 3.5
 
 #[allow(unused_variable)];
 
@@ -99,9 +96,6 @@ fn main() {
     let u64_box: @u64 = @64;
     let u64_ref: &u64 = u64_box;
 
-    let float_box: @float = @1.5;
-    let float_ref: &float = float_box;
-
     let f32_box: @f32 = @2.5;
     let f32_ref: &f32 = f32_box;