---

yaml
---
r: 148818
b: refs/heads/try2
c: dab8640
h: refs/heads/master
v: v3

Author: omasanori

[refs]

@@ -5,7 +5,7 @@ refs/heads/snap-stage3: 78a7676898d9f80ab540c6df5d4c9ce35bb50463
 refs/heads/try: 519addf6277dbafccbb4159db4b710c37eaa2ec5
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
-refs/heads/try2: a72ab2d31c9f2c0d7f19ef70aa8ef3fcfef68175
+refs/heads/try2: dab864098a814830dfed4b9ed6887cd2139d4bad
 refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try2/README.md

@@ -71,9 +71,9 @@ fetch snapshots, and an OS that can execute the available snapshot binaries.
 
 Snapshot binaries are currently built and tested on several platforms:
 
-* Windows (7, 8, Server 2008 R2), x86 only
-* Linux (2.6.18 or later, various distributions), x86 and x86-64
-* OSX 10.7 (Lion) or greater, x86 and x86-64
+* Windows (7, Server 2008 R2), x86 only
+* Linux (various distributions), x86 and x86-64
+* OSX 10.6 ("Snow Leopard") or greater, x86 and x86-64
 
 You may find that other platforms work, but these are our officially
 supported build environments that are most likely to work.

branches/try2/doc/rust.md

@@ -3079,7 +3079,7 @@ A value of type `str` is a Unicode string,
 represented as a vector of 8-bit unsigned bytes holding a sequence of UTF-8 codepoints.
 Since `str` is of unknown size, it is not a _first class_ type,
 but can only be instantiated through a pointer type,
-such as `&str` or `~str`.
+such as `&str`, `@str` or `~str`.
 
 ### Tuple types
 
@@ -3115,7 +3115,7 @@ Such a definite-sized vector type is a first-class type, since its size is known
 A vector without such a size is said to be of _indefinite_ size,
 and is therefore not a _first-class_ type.
 An indefinite-size vector can only be instantiated through a pointer type,
-such as `&[T]` or `~[T]`.
+such as `&[T]`, `@[T]` or `~[T]`.
 The kind of a vector type depends on the kind of its element type,
 as with other simple structural types.
 

branches/try2/doc/rustdoc.md

@@ -139,14 +139,9 @@ that one can still write things like `#[deriving(Eq)]`).
 
 ~~~
 ```rust
-# /!\ The three following lines are comments, which are usually stripped off by
-# the doc-generating tool.  In order to display them anyway in this particular
-# case, the character following the leading '#' is not a usual space like in
-# these first five lines but a non breakable one.
-# 
-# // showing 'fib' in this documentation would just be tedious and detracts from
-# // what's actualy being documented.
-# fn fib(n: int) { n + 2 }
+# // showing 'fib' in this documentation would just be tedious and detracts from
+# // what's actualy being documented.
+# fn fib(n: int) { n + 2 }
 
 do spawn { fib(200); }
 ```

branches/try2/doc/tutorial.md

@@ -72,9 +72,9 @@ from the Internet on our supported platforms.
 
 Snapshot binaries are currently built and tested on several platforms:
 
-* Windows (7, 8, Server 2008 R2), x86 only
-* Linux (2.6.18 or later, various distributions), x86 and x86-64
-* OSX 10.7 (Lion) or greater, x86 and x86-64
+* Windows (7, Server 2008 R2), x86 only
+* Linux (various distributions), x86 and x86-64
+* OSX 10.6 ("Snow Leopard") or greater, x86 and x86-64
 
 You may find that other platforms work, but these are our "tier 1"
 supported build environments that are most likely to work.

branches/try2/src/etc/zsh/_rust

@@ -5,80 +5,110 @@ local -a _rustc_opts_switches _rustc_opts_lint _rustc_opts_debug
 typeset -A opt_args
 
 _rustc_opts_switches=(
+    --android-cross-path'[The path to the Android NDK]'
+    --ar'[Program to use for managing archives instead of the default.]'
     --bin'[Compile an executable crate (default)]'
     -c'[Compile and assemble, but do not link]'
     --cfg'[Configure the compilation environment]'
+    --crate-id'[Output the crate id and exit]'
+    --crate-file-name'[Output the file(s) that would be written if compilation continued and exit]'
+    --crate-name'[Output the crate name and exit]'
+    --dep-info'[Output dependency info to <filename> after compiling]'
+    --dylib'[Compile a dynamic library crate]'
     --emit-llvm'[Produce an LLVM bitcode file]'
     {-h,--help}'[Display this message]'
     -L'[Add a directory to the library search path]'
     --lib'[Compile a library crate]'
     --linker'[Program to use for linking instead of the default.]'
     --link-args'[FLAGS is a space-separated list of flags passed to the linker]'
+    --llvm-args'[A list of arguments to pass to llvm, comma separated]'
     --ls'[List the symbols defined by a library crate]'
+    --no-analysis'[Parse and expand the output, but run no analysis or produce output]'
+    --no-rpath'[Disables setting the rpath in libs/exes]'
     --no-trans'[Run all passes except translation; no output]'
     -O'[Equivalent to --opt-level=2]'
     -o'[Write output to <filename>]'
     --opt-level'[Optimize with possible levels 0-3]'
     --out-dir'[Write output to compiler-chosen filename in <dir>]'
     --parse-only'[Parse only; do not compile, assemble, or link]'
+    --passes'[Comma or space separated list of pass names to use]'
     --pretty'[Pretty-print the input instead of compiling]'
+    --rlib'[Compile a rust library crate as an rlib file]'
     -S'[Compile only; do not assemble or link]'
     --save-temps'[Write intermediate files (.bc, .opt.bc, .o) in addition to normal output]'
+    --staticlib'[Compile a static library crate]'
     --sysroot'[Override the system root]'
     --test'[Build a test harness]'
     --target'[Target triple cpu-manufacturer-kernel\[-os\] to compile]'
     --target-cpu'[Select target processor (llc -mcpu=help for details)]'
     --target-feature'[Target specific attributes (llc -mattr=help for details)]'
-    --android-cross-path'[The path to the Android NDK]'
     {-v,--version}'[Print version info and exit]'
 )
 _rustc_opts_lint=(
-    'path-statement[path statements with no effect]'
-    'missing-trait-doc[detects missing documentation for traits]'
-    'missing-struct-doc[detects missing documentation for structs]'
+    'attribute-usage[detects bad use of attributes]'
     'ctypes[proper use of std::libc types in foreign modules]'
-    "unused-mut[detect mut variables which don't need to be mutable]"
-    'unused-imports[imports that are never used]'
-    'heap-memory[use of any (~ type or @ type) heap memory]'
-    'default-methods[allow default methods]'
-    'unused-variable[detect variables which are not used in any way]'
     'dead-assignment[detect assignments that will never be read]'
-    'unrecognized-lint[unrecognized lint attribute]'
-    'type-limits[comparisons made useless by limits of the types involved]'
-    'unused-unsafe[unnecessary use of an `unsafe` block]'
-    'while-true[suggest using loop { } instead of while(true) { }]'
-    'non-camel-case-types[types, variants and traits should have camel case names]'
+    'dead-code[detect piece of code that will never be used]'
+    'default-type-param-usage[prevents explicitly setting a type parameter with a default]'
+    'deprecated[detects use of #\[deprecated\] items]'
+    'experimental[detects use of #\[experimental\] items]'
+    'heap-memory[use of any (~ type or @ type) heap memory]'
     'managed-heap-memory[use of managed (@ type) heap memory]'
-    'unnecessary-allocation[detects unnecessary allocations that can be eliminated]'
+    'missing-doc[detects missing documentation for public members]'
+    'non-camel-case-types[types, variants and traits should have camel case names]'
+    'non-uppercase-pattern-statics[static constants in match patterns should be all caps]'
+    'non-uppercase-statics[static constants should have uppercase identifiers]'
     'owned-heap-memory[use of owned (~ type) heap memory]'
+    'path-statement[path statements with no effect]'
+    'type-limits[comparisons made useless by limits of the types involved]'
+    'type-overflow[literal out of range for its type]'
+    'unknown-crate-type[unknown crate type found in #\[crate_type\] directive]'
+    'unknown-features[unknown features found in crate-level #\[feature\] directives]'
+    'unnecessary-allocation[detects unnecessary allocations that can be eliminated]'
+    'unnecessary-parens[`if`, `match`, `while` and `return` do not need parentheses]'
+    'unnecessary-qualification[detects unnecessarily qualified names]'
+    'unnecessary-typecast[detects unnecessary type casts, that can be removed]'
+    'unreachable-code[detects unreachable code]'
+    'unrecognized-lint[unrecognized lint attribute]'
+    'unsafe-block[usage of an `unsafe` block]'
+    'unstable[detects use of #\[unstable\] items (incl. items with no stability attribute)]'
+    'unused-imports[imports that are never used]'
+    'unused-must-use[unused result of an type flagged as #\[must_use\]]'
+    "unused-mut[detect mut variables which don't need to be mutable]"
+    'unused-result[unused result of an expression in a statement]'
+    'unused-unsafe[unnecessary use of an `unsafe` block]'
+    'unused-variable[detect variables which are not used in any way]'
+    'warnings[mass-change the level for lints which produce warnings]'
+    'while-true[suggest using `loop { }` instead of `while true { }`]'
 )
 
 _rustc_opts_debug=(
-    'verbose:in general, enable more debug printouts'
-    'time-passes:measure time of each rustc pass'
-    'count-llvm-insns:count where LLVM instrs originate'
-    'time-llvm-passes:measure time of each LLVM pass'
-    'trans-stats:gather trans statistics'
-    'asm-comments:generate comments into the assembly (may change behavior)'
-    'no-verify:skip LLVM verification'
-    'trace:emit trace logs'
-    'coherence:perform coherence checking'
-    'borrowck-stats:gather borrowck statistics'
-    "borrowck-note-pure:note where purity is req'd"
-    "borrowck-note-loan:note where loans are req'd"
-    'no-landing-pads:omit landing pads for unwinding'
-    'debug-llvm:enable debug output from LLVM'
-    'count-type-sizes:count the sizes of aggregate types'
-    'meta-stats:gather metadata statistics'
-    'no-opt:do not optimize, even if -O is passed'
-    'print-link-args:Print the arguments passed to the linker'
-    'gc:Garbage collect shared data (experimental)'
-    'jit:Execute using JIT (experimental)'
-    'extra-debug-info:Extra debugging info (experimental)'
-    'debug-info:Produce debug info (experimental)'
-    'static:Use or produce static libraries or binaries (experimental)'
-    'no-debug-borrows:do not show where borrow checks fail'
-    'lint-llvm:Run the LLVM lint pass on the pre-optimization IR'
+    'asm-comments[generate comments into the assembly (may change behavior)]'
+    'borrowck-stats[gather borrowck statistics]'
+    'count-llvm-insns[count where LLVM instrs originate]'
+    'count-type-sizes[count the sizes of aggregate types]'
+    'debug-info[Produce debug info (experimental)]'
+    'debug-llvm[enable debug output from LLVM]'
+    'extra-debug-info[Extra debugging info (experimental)]'
+    'gc[Garbage collect shared data (experimental)]'
+    'gen-crate-map[Force generation of a toplevel crate map]'
+    'lto[Perform LLVM link-time optimizations]'
+    'meta-stats[gather metadata statistics]'
+    "no-integrated-as[Use external assembler rather than LLVM's integrated one]"
+    'no-landing-pads[omit landing pads for unwinding]'
+    'no-opt[do not optimize, even if -O is passed]'
+    "no-prepopulate-passes[Don't pre-populate the pass managers with a list of passes, only use the passes from --passes]"
+    "no-vectorize-loops[Don't run the loop vectorization optimization passes]"
+    "no-vectorize-slp[Don't run LLVM's SLP vectorization passes]"
+    'no-verify[skip LLVM verification]'
+    'prefer-dynamic[Prefer dynamic linking to static linking]'
+    'print-link-args[Print the arguments passed to the linker]'
+    'print-llvm-passes[Prints the llvm optimization passes being run]'
+    'soft-float[Generate software floating point library calls]'
+    'time-llvm-passes[measure time of each LLVM pass]'
+    'time-passes[measure time of each rustc pass]'
+    'trans-stats[gather trans statistics]'
+    'verbose[in general, enable more debug printouts]'
 )
 
 _rustc_opts_fun_lint(){

branches/try2/src/libarena/lib.rs

@@ -27,38 +27,28 @@ extern mod extra;
 use extra::list::{List, Cons, Nil};
 use extra::list;
 
+use std::at_vec;
 use std::cast::{transmute, transmute_mut, transmute_mut_region};
 use std::cast;
 use std::cell::{Cell, RefCell};
 use std::num;
 use std::ptr;
-use std::kinds::marker;
 use std::mem;
-use std::rc::Rc;
 use std::rt::global_heap;
+use std::uint;
 use std::unstable::intrinsics::{TyDesc, get_tydesc};
 use std::unstable::intrinsics;
 use std::util;
-use std::vec;
 
 // The way arena uses arrays is really deeply awful. The arrays are
 // allocated, and have capacities reserved, but the fill for the array
 // will always stay at 0.
 #[deriving(Clone)]
 struct Chunk {
-    data: Rc<RefCell<~[u8]>>,
+    data: RefCell<@[u8]>,
     fill: Cell<uint>,
     is_pod: Cell<bool>,
 }
-impl Chunk {
-    fn capacity(&self) -> uint {
-        self.data.borrow().borrow().get().capacity()
-    }
-
-    unsafe fn as_ptr(&self) -> *u8 {
-        self.data.borrow().borrow().get().as_ptr()
-    }
-}
 
 // Arenas are used to quickly allocate objects that share a
 // lifetime. The arena uses ~[u8] vectors as a backing store to
@@ -81,14 +71,14 @@ impl Chunk {
 // different chunks than objects without destructors. This reduces
 // overhead when initializing plain-old-data and means we don't need
 // to waste time running the destructors of POD.
+#[no_freeze]
 pub struct Arena {
     // The head is separated out from the list as a unbenchmarked
     // microoptimization, to avoid needing to case on the list to
     // access the head.
     priv head: Chunk,
     priv pod_head: Chunk,
     priv chunks: RefCell<@List<Chunk>>,
-    priv no_freeze: marker::NoFreeze,
 }
 
 impl Arena {
@@ -101,14 +91,15 @@ impl Arena {
             head: chunk(initial_size, false),
             pod_head: chunk(initial_size, true),
             chunks: RefCell::new(@Nil),
-            no_freeze: marker::NoFreeze,
         }
     }
 }
 
 fn chunk(size: uint, is_pod: bool) -> Chunk {
+    let mut v: @[u8] = @[];
+    unsafe { at_vec::raw::reserve(&mut v, size); }
     Chunk {
-        data: Rc::new(RefCell::new(vec::with_capacity(size))),
+        data: RefCell::new(unsafe { cast::transmute(v) }),
         fill: Cell::new(0u),
         is_pod: Cell::new(is_pod),
     }
@@ -139,7 +130,10 @@ fn round_up(base: uint, align: uint) -> uint {
 // in it.
 unsafe fn destroy_chunk(chunk: &Chunk) {
     let mut idx = 0;
-    let buf = chunk.as_ptr();
+    let buf = {
+        let data = chunk.data.borrow();
+        data.get().as_ptr()
+    };
     let fill = chunk.fill.get();
 
     while idx < fill {
@@ -177,16 +171,14 @@ unsafe fn un_bitpack_tydesc_ptr(p: uint) -> (*TyDesc, bool) {
 }
 
 impl Arena {
-    fn chunk_size(&self) -> uint {
-        self.pod_head.capacity()
-    }
     // Functions for the POD part of the arena
     fn alloc_pod_grow(&mut self, n_bytes: uint, align: uint) -> *u8 {
         // Allocate a new chunk.
-        let new_min_chunk_size = num::max(n_bytes, self.chunk_size());
+        let chunk_size = at_vec::capacity(self.pod_head.data.get());
+        let new_min_chunk_size = num::max(n_bytes, chunk_size);
         self.chunks.set(@Cons(self.pod_head.clone(), self.chunks.get()));
         self.pod_head =
-            chunk(num::next_power_of_two(new_min_chunk_size + 1u), true);
+            chunk(uint::next_power_of_two(new_min_chunk_size + 1u), true);
 
         return self.alloc_pod_inner(n_bytes, align);
     }
@@ -197,15 +189,15 @@ impl Arena {
             let this = transmute_mut_region(self);
             let start = round_up(this.pod_head.fill.get(), align);
             let end = start + n_bytes;
-            if end > self.chunk_size() {
+            if end > at_vec::capacity(this.pod_head.data.get()) {
                 return this.alloc_pod_grow(n_bytes, align);
             }
             this.pod_head.fill.set(end);
 
             //debug!("idx = {}, size = {}, align = {}, fill = {}",
             //       start, n_bytes, align, head.fill.get());
 
-            this.pod_head.as_ptr().offset(start as int)
+            ptr::offset(this.pod_head.data.get().as_ptr(), start as int)
         }
     }
 
@@ -224,10 +216,11 @@ impl Arena {
     fn alloc_nonpod_grow(&mut self, n_bytes: uint, align: uint)
                          -> (*u8, *u8) {
         // Allocate a new chunk.
-        let new_min_chunk_size = num::max(n_bytes, self.chunk_size());
+        let chunk_size = at_vec::capacity(self.head.data.get());
+        let new_min_chunk_size = num::max(n_bytes, chunk_size);
         self.chunks.set(@Cons(self.head.clone(), self.chunks.get()));
         self.head =
-            chunk(num::next_power_of_two(new_min_chunk_size + 1u), false);
+            chunk(uint::next_power_of_two(new_min_chunk_size + 1u), false);
 
         return self.alloc_nonpod_inner(n_bytes, align);
     }
@@ -250,7 +243,7 @@ impl Arena {
                 end = start + n_bytes;
             }
 
-            if end > self.head.capacity() {
+            if end > at_vec::capacity(self.head.data.get()) {
                 return self.alloc_nonpod_grow(n_bytes, align);
             }
 
@@ -260,7 +253,7 @@ impl Arena {
             //debug!("idx = {}, size = {}, align = {}, fill = {}",
             //       start, n_bytes, align, head.fill);
 
-            let buf = self.head.as_ptr();
+            let buf = self.head.data.get().as_ptr();
             return (ptr::offset(buf, tydesc_start as int), ptr::offset(buf, start as int));
         }
     }
@@ -612,3 +605,5 @@ mod test {
         })
     }
 }
+
+