---

yaml
---
r: 46607
b: refs/heads/auto
c: 3953bdd
h: refs/heads/master
i:
  46605: eb6c43e
  46603: e352418
  46599: dcd64a1
  46591: 98b4d64
v: v3

Author: erickt

[refs]

@@ -14,4 +14,4 @@ refs/heads/try3: 9387340aab40a73e8424c48fd42f0c521a4875c0
 refs/tags/release-0.3.1: 495bae036dfe5ec6ceafd3312b4dca48741e845b
 refs/tags/release-0.4: e828ea2080499553b97dfe33b3f4d472b4562ad7
 refs/tags/release-0.5: 7e3bcfbf21278251ee936ad53e92e9b719702d73
-refs/heads/auto: 833ad6018e0fcb4f1fda1ca54feb8256bad27513
+refs/heads/auto: 3953bdd812d73a51f9a7be4a1c57c60d56c6aa1a

branches/auto/doc/rust.md

@@ -297,7 +297,7 @@ the following forms:
 num_lit : nonzero_dec [ dec_digit | '_' ] * num_suffix ?
         | '0' [       [ dec_digit | '_' ] + num_suffix ?
               | 'b'   [ '1' | '0' | '_' ] + int_suffix ?
-              | 'x'   [ hex_digit | '_' ] + int_suffix ? ] ;
+              | 'x'   [ hex_digit | '-' ] + int_suffix ? ] ;
 
 num_suffix : int_suffix | float_suffix ;
 

branches/auto/src/libcore/cleanup.rs

@@ -154,7 +154,7 @@ fn debug_mem() -> bool {
 #[cfg(notest)]
 #[lang="annihilate"]
 pub unsafe fn annihilate() {
-    use rt::local_free;
+    use rt::rt_free;
     use io::WriterUtil;
     use io;
     use libc;
@@ -192,7 +192,7 @@ pub unsafe fn annihilate() {
             stats.n_bytes_freed +=
                 (*((*box).header.type_desc)).size
                 + sys::size_of::<BoxRepr>();
-            local_free(transmute(box));
+            rt_free(transmute(box));
         }
     }
 

branches/auto/src/libcore/core.rc

@@ -1,4 +1,4 @@
-// Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
+// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
 // file at the top-level directory of this distribution and at
 // http://rust-lang.org/COPYRIGHT.
 //
@@ -41,7 +41,7 @@ Implicitly, all crates behave as if they included the following prologue:
        url = "https://github.com/mozilla/rust/tree/master/src/libcore")];
 
 #[comment = "The Rust core library"];
-#[license = "MIT/APL2"];
+#[license = "MIT"];
 #[crate_type = "lib"];
 
 

branches/auto/src/libcore/io.rs

@@ -474,10 +474,7 @@ impl<R:Reader,C> Reader for Wrapper<R, C> {
 
 pub struct FILERes {
     f: *libc::FILE,
-}
-
-impl Drop for FILERes {
-    fn finalize(&self) {
+    drop {
         unsafe {
             libc::fclose(self.f);
         }
@@ -686,10 +683,7 @@ impl Writer for fd_t {
 
 pub struct FdRes {
     fd: fd_t,
-}
-
-impl Drop for FdRes {
-    fn finalize(&self) {
+    drop {
         unsafe {
             libc::close(self.fd);
         }

branches/auto/src/libcore/option.rs

@@ -450,10 +450,7 @@ fn test_unwrap_str() {
 fn test_unwrap_resource() {
     struct R {
        i: @mut int,
-    }
-
-    impl ::ops::Drop for R {
-       fn finalize(&self) { *(self.i) += 1; }
+       drop { *(self.i) += 1; }
     }
 
     fn R(i: @mut int) -> R {

branches/auto/src/libcore/pipes.rs

@@ -346,10 +346,7 @@ pub unsafe fn get_buffer<T>(p: *PacketHeader) -> ~Buffer<T> {
 struct BufferResource<T> {
     buffer: ~Buffer<T>,
 
-}
-
-impl<T> ::ops::Drop for BufferResource<T> {
-    fn finalize(&self) {
+    drop {
         unsafe {
             let b = move_it!(self.buffer);
             //let p = ptr::addr_of(*b);

branches/auto/src/libcore/private.rs

@@ -126,10 +126,7 @@ struct ArcData<T> {
 
 struct ArcDestruct<T> {
     mut data: *libc::c_void,
-}
-
-impl<T> Drop for ArcDestruct<T>{
-    fn finalize(&self) {
+    drop {
         unsafe {
             if self.data.is_null() {
                 return; // Happens when destructing an unwrapper's handle.
@@ -181,10 +178,7 @@ pub unsafe fn unwrap_shared_mutable_state<T:Owned>(rc: SharedMutableState<T>)
     struct DeathThroes<T> {
         mut ptr:      Option<~ArcData<T>>,
         mut response: Option<comm::ChanOne<bool>>,
-    }
-
-    impl<T> Drop for DeathThroes<T>{
-        fn finalize(&self) {
+        drop {
             unsafe {
                 let response = option::swap_unwrap(&mut self.response);
                 // In case we get killed early, we need to tell the person who
@@ -317,10 +311,7 @@ type rust_little_lock = *libc::c_void;
 
 struct LittleLock {
     l: rust_little_lock,
-}
-
-impl Drop for LittleLock {
-    fn finalize(&self) {
+    drop {
         unsafe {
             rustrt::rust_destroy_little_lock(self.l);
         }

branches/auto/src/libcore/rand.rs

@@ -365,10 +365,7 @@ impl Rng {
 
 struct RandRes {
     rng: *rust_rng,
-}
-
-impl Drop for RandRes {
-    fn finalize(&self) {
+    drop {
         unsafe {
             rustrt::rand_free(self.rng);
         }

branches/auto/src/libcore/rt.rs

@@ -36,54 +36,60 @@ pub extern mod rustrt {
     unsafe fn rust_upcall_free(ptr: *c_char);
 }
 
+#[rt(fail_)]
 #[lang="fail_"]
-pub fn fail_(expr: *c_char, file: *c_char, line: size_t) -> ! {
+pub fn rt_fail_(expr: *c_char, file: *c_char, line: size_t) -> ! {
     sys::begin_unwind_(expr, file, line);
 }
 
+#[rt(fail_bounds_check)]
 #[lang="fail_bounds_check"]
-pub unsafe fn fail_bounds_check(file: *c_char, line: size_t,
-                                index: size_t, len: size_t) {
+pub unsafe fn rt_fail_bounds_check(file: *c_char, line: size_t,
+                                   index: size_t, len: size_t) {
     let msg = fmt!("index out of bounds: the len is %d but the index is %d",
                     len as int, index as int);
     do str::as_buf(msg) |p, _len| {
-        fail_(p as *c_char, file, line);
+        rt_fail_(p as *c_char, file, line);
     }
 }
 
-pub unsafe fn fail_borrowed() {
+pub unsafe fn rt_fail_borrowed() {
     let msg = "borrowed";
     do str::as_buf(msg) |msg_p, _| {
         do str::as_buf("???") |file_p, _| {
-            fail_(msg_p as *c_char, file_p as *c_char, 0);
+            rt_fail_(msg_p as *c_char, file_p as *c_char, 0);
         }
     }
 }
 
 // FIXME #4942: Make these signatures agree with exchange_alloc's signatures
+#[rt(exchange_malloc)]
 #[lang="exchange_malloc"]
-pub unsafe fn exchange_malloc(td: *c_char, size: uintptr_t) -> *c_char {
+pub unsafe fn rt_exchange_malloc(td: *c_char, size: uintptr_t) -> *c_char {
     transmute(exchange_alloc::malloc(transmute(td), transmute(size)))
 }
 
 // NB: Calls to free CANNOT be allowed to fail, as throwing an exception from
 // inside a landing pad may corrupt the state of the exception handler. If a
 // problem occurs, call exit instead.
+#[rt(exchange_free)]
 #[lang="exchange_free"]
-pub unsafe fn exchange_free(ptr: *c_char) {
+pub unsafe fn rt_exchange_free(ptr: *c_char) {
     exchange_alloc::free(transmute(ptr))
 }
 
+#[rt(malloc)]
 #[lang="malloc"]
-pub unsafe fn local_malloc(td: *c_char, size: uintptr_t) -> *c_char {
+pub unsafe fn rt_malloc(td: *c_char, size: uintptr_t) -> *c_char {
     return rustrt::rust_upcall_malloc(td, size);
 }
 
 // NB: Calls to free CANNOT be allowed to fail, as throwing an exception from
 // inside a landing pad may corrupt the state of the exception handler. If a
 // problem occurs, call exit instead.
+#[rt(free)]
 #[lang="free"]
-pub unsafe fn local_free(ptr: *c_char) {
+pub unsafe fn rt_free(ptr: *c_char) {
     rustrt::rust_upcall_free(ptr);
 }
 
@@ -106,7 +112,7 @@ pub unsafe fn return_to_mut(a: *u8) {
 pub unsafe fn check_not_borrowed(a: *u8) {
     let a: *mut BoxRepr = transmute(a);
     if ((*a).header.ref_count & FROZEN_BIT) != 0 {
-        fail_borrowed();
+        rt_fail_borrowed();
     }
 }
 

branches/auto/src/libcore/run.rs

@@ -248,10 +248,7 @@ pub fn start_program(prog: &str, args: &[~str]) -> Program {
     }
     struct ProgRes {
         r: ProgRepr,
-    }
-
-    impl Drop for ProgRes {
-        fn finalize(&self) {
+        drop {
             unsafe {
                 // FIXME #4943: This is bad.
                 destroy_repr(cast::transmute(&self.r));

branches/auto/src/libcore/task/spawn.rs

@@ -308,11 +308,8 @@ struct TCB {
     mut ancestors: AncestorList,
     is_main:       bool,
     notifier:      Option<AutoNotify>,
-}
-
-impl Drop for TCB {
     // Runs on task exit.
-    fn finalize(&self) {
+    drop {
         unsafe {
             // If we are failing, the whole taskgroup needs to die.
             if rt::rust_task_is_unwinding(self.me) {
@@ -356,10 +353,7 @@ fn TCB(me: *rust_task, tasks: TaskGroupArc, ancestors: AncestorList,
 struct AutoNotify {
     notify_chan: Chan<TaskResult>,
     mut failed:  bool,
-}
-
-impl Drop for AutoNotify {
-    fn finalize(&self) {
+    drop {
         let result = if self.failed { Failure } else { Success };
         self.notify_chan.send(result);
     }

branches/auto/src/libcore/to_str.rs

@@ -1,4 +1,4 @@
-// Copyright 2012-2013 The Rust Project Developers. See the COPYRIGHT
+// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
 // file at the top-level directory of this distribution and at
 // http://rust-lang.org/COPYRIGHT.
 //
@@ -137,6 +137,15 @@ impl<A:ToStr> ToStr for @[A] {
     }
 }
 
+impl<A:ToStr> ToStr for @A {
+    #[inline(always)]
+    pure fn to_str(&self) -> ~str { ~"@" + (**self).to_str() }
+}
+impl<A:ToStr> ToStr for ~A {
+    #[inline(always)]
+    pure fn to_str(&self) -> ~str { ~"~" + (**self).to_str() }
+}
+
 #[cfg(test)]
 #[allow(non_implicitly_copyable_typarams)]
 mod tests {
@@ -161,12 +170,19 @@ mod tests {
     }
 
     #[test]
+    #[ignore]
     fn test_vectors() {
         let x: ~[int] = ~[];
-        assert x.to_str() == ~"[]";
-        assert (~[1]).to_str() == ~"[1]";
-        assert (~[1, 2, 3]).to_str() == ~"[1, 2, 3]";
+        assert x.to_str() == ~"~[]";
+        assert (~[1]).to_str() == ~"~[1]";
+        assert (~[1, 2, 3]).to_str() == ~"~[1, 2, 3]";
         assert (~[~[], ~[1], ~[1, 1]]).to_str() ==
-               ~"[[], [1], [1, 1]]";
+               ~"~[~[], ~[1], ~[1, 1]]";
+    }
+
+    #[test]
+    fn test_pointer_types() {
+        assert (@1).to_str() == ~"@1";
+        assert (~(true, false)).to_str() == ~"~(true, false)";
     }
 }

branches/auto/src/libcore/util.rs

@@ -66,10 +66,7 @@ pub fn replace<T>(dest: &mut T, src: T) -> T {
 /// A non-copyable dummy type.
 pub struct NonCopyable {
     i: (),
-}
-
-impl Drop for NonCopyable {
-    fn finalize(&self) { }
+    drop { }
 }
 
 pub fn NonCopyable() -> NonCopyable { NonCopyable { i: () } }