Skip to content

Commit d7e8a0e

Browse files
committed
---
yaml --- r: 234747 b: refs/heads/tmp c: dcf49b5 h: refs/heads/master i: 234745: 318e814 234743: 13f0fd0 v: v3
1 parent ac29653 commit d7e8a0e

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

53 files changed

+257
-1434
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ refs/tags/0.11.0: e1247cb1d0d681be034adb4b558b5a0c0d5720f9
2525
refs/tags/0.12.0: f0c419429ef30723ceaf6b42f9b5a2aeb5d2e2d1
2626
refs/heads/beta: d2e13e822a73e0ea46ae9e21afdd3155fc997f6d
2727
refs/tags/1.0.0-alpha: e42bd6d93a1d3433c486200587f8f9e12590a4d7
28-
refs/heads/tmp: d007eb628a935472b0e2dc689ded992c65195ccd
28+
refs/heads/tmp: dcf49b5f680a74b402a516e5bd1c855ac18259f5
2929
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
3030
refs/tags/homu-tmp: ab792abf1fcc28afbd315426213f6428da25c085
3131
refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828

branches/tmp/COMPILER_TESTS.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
# Compiler Test Documentation
22

3-
In the Rust project, we use a special set of comands embedded in
3+
In the Rust project, we use a special set of comands imbedded in
44
comments to test the Rust compiler. There are two groups of commands:
55

66
1. Header commands
@@ -29,11 +29,11 @@ The error levels that you can have are:
2929
3. `NOTE`
3030
4. `HELP` and `SUGGESTION`*
3131

32-
\* **Note**: `SUGGESTION` must follow immediately after `HELP`.
32+
\* **Note**: `SUGGESTION` must follow emediatly after `HELP`.
3333

3434
## Summary of Header Commands
3535

36-
Header commands specify something about the entire test file as a
36+
Header commands specify something about the entire test file, as a
3737
whole, instead of just a few lines inside the test.
3838

3939
* `ignore-X` where `X` is an architecture, OS or stage will ignore the test accordingly

branches/tmp/Makefile.in

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
#
2727
# * check - Run the complete test suite
2828
#
29-
# * clean - Clean the build repository. It is advised to run this
29+
# * clean - Clean the build repertory. It is advised to run this
3030
# command if you want to build Rust again, after an update
3131
# of the git repository.
3232
#

branches/tmp/RELEASES.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
Version 1.3.0 (2015-09-17)
1+
Version 1.3.0 (September 2015)
22
==============================
33

44
* ~900 changes, numerous bugfixes

branches/tmp/configure

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1095,12 +1095,6 @@ envopt CPP
10951095
envopt CFLAGS
10961096
envopt CXXFLAGS
10971097

1098-
# stdc++ name in use
1099-
# used to manage non-standard name (on OpenBSD for example)
1100-
program_transform_name=$($CFG_CC -v 2>&1 | sed -n "s/.*--program-transform-name='\([^']*\)'.*/\1/p")
1101-
CFG_STDCPP_NAME=$(echo "stdc++" | sed "${program_transform_name}")
1102-
putvar CFG_STDCPP_NAME
1103-
11041098
# a little post-processing of various config values
11051099
CFG_PREFIX=${CFG_PREFIX%/}
11061100
CFG_MANDIR=${CFG_MANDIR%/}

branches/tmp/mk/dist.mk

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -77,7 +77,6 @@ $(PKG_TAR): $(PKG_FILES)
7777
-C $(S) \
7878
--exclude-vcs \
7979
--exclude=*~ \
80-
--exclude=*.pyc \
8180
--exclude=*/llvm/test/*/*.ll \
8281
--exclude=*/llvm/test/*/*.td \
8382
--exclude=*/llvm/test/*/*.s \

branches/tmp/mk/llvm.mk

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ $$(LLVM_STAMP_$(1)): $(S)src/rustllvm/llvm-auto-clean-trigger
7373

7474
ifeq ($$(CFG_ENABLE_LLVM_STATIC_STDCPP),1)
7575
LLVM_STDCPP_RUSTFLAGS_$(1) = -L "$$(dir $$(shell $$(CC_$(1)) $$(CFG_GCCISH_CFLAGS_$(1)) \
76-
-print-file-name=lib$(CFG_STDCPP_NAME).a))"
76+
-print-file-name=libstdc++.a))"
7777
else
7878
LLVM_STDCPP_RUSTFLAGS_$(1) =
7979
endif
@@ -83,7 +83,7 @@ endif
8383
LLVM_LINKAGE_PATH_$(1):=$$(abspath $$(RT_OUTPUT_DIR_$(1))/llvmdeps.rs)
8484
$$(LLVM_LINKAGE_PATH_$(1)): $(S)src/etc/mklldeps.py $$(LLVM_CONFIG_$(1))
8585
$(Q)$(CFG_PYTHON) "$$<" "$$@" "$$(LLVM_COMPONENTS)" "$$(CFG_ENABLE_LLVM_STATIC_STDCPP)" \
86-
$$(LLVM_CONFIG_$(1)) "$(CFG_STDCPP_NAME)"
86+
$$(LLVM_CONFIG_$(1))
8787
endef
8888

8989
$(foreach host,$(CFG_HOST), \

branches/tmp/src/doc/trpl/concurrency.md

Lines changed: 31 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -26,8 +26,8 @@ to help us make sense of code that can possibly be concurrent.
2626
### `Send`
2727

2828
The first trait we're going to talk about is
29-
[`Send`](../std/marker/trait.Send.html). When a type `T` implements `Send`, it
30-
indicates that something of this type is able to have ownership transferred
29+
[`Send`](../std/marker/trait.Send.html). When a type `T` implements `Send`, it indicates
30+
to the compiler that something of this type is able to have ownership transferred
3131
safely between threads.
3232

3333
This is important to enforce certain restrictions. For example, if we have a
@@ -42,19 +42,13 @@ us enforce that it can't leave the current thread.
4242
### `Sync`
4343

4444
The second of these traits is called [`Sync`](../std/marker/trait.Sync.html).
45-
When a type `T` implements `Sync`, it indicates that something
45+
When a type `T` implements `Sync`, it indicates to the compiler that something
4646
of this type has no possibility of introducing memory unsafety when used from
47-
multiple threads concurrently through shared references. This implies that
48-
types which don't have [interior mutability](mutability.html) are inherently
49-
`Sync`, which includes simple primitive types (like `u8`) and aggregate types
50-
containing them.
51-
52-
For sharing references across threads, Rust provides a wrapper type called
53-
`Arc<T>`. `Arc<T>` implements `Send` and `Sync` if and only if `T` implements
54-
both `Send` and `Sync`. For example, an object of type `Arc<RefCell<U>>` cannot
55-
be transferred across threads because
56-
[`RefCell`](choosing-your-guarantees.html#refcell%3Ct%3E) does not implement
57-
`Sync`, consequently `Arc<RefCell<U>>` would not implement `Send`.
47+
multiple threads concurrently.
48+
49+
For example, sharing immutable data with an atomic reference count is
50+
threadsafe. Rust provides a type like this, `Arc<T>`, and it implements `Sync`,
51+
so it is safe to share between threads.
5852

5953
These two traits allow you to use the type system to make strong guarantees
6054
about the properties of your code under concurrency. Before we demonstrate
@@ -76,7 +70,7 @@ fn main() {
7670
}
7771
```
7872

79-
The `thread::spawn()` method accepts a [closure](closures.html), which is executed in a
73+
The `thread::spawn()` method accepts a closure, which is executed in a
8074
new thread. It returns a handle to the thread, that can be used to
8175
wait for the child thread to finish and extract its result:
8276

@@ -221,18 +215,29 @@ fn main() {
221215
}
222216
```
223217

224-
Note that the value of `i` is bound (copied) to the closure and not shared
225-
among the threads.
226218

227-
Also note that [`lock`](../std/sync/struct.Mutex.html#method.lock) method of
228-
[`Mutex`](../std/sync/struct.Mutex.html) has this signature:
219+
If we'd tried to use `Mutex<T>` without wrapping it in an `Arc<T>` we would have
220+
seen another error like:
221+
222+
```text
223+
error: the trait `core::marker::Send` is not implemented for the type `std::sync::mutex::MutexGuard<'_, collections::vec::Vec<u32>>` [E0277]
224+
thread::spawn(move || {
225+
^~~~~~~~~~~~~
226+
note: `std::sync::mutex::MutexGuard<'_, collections::vec::Vec<u32>>` cannot be sent between threads safely
227+
thread::spawn(move || {
228+
^~~~~~~~~~~~~
229+
```
230+
231+
You see, [`Mutex`](../std/sync/struct.Mutex.html) has a
232+
[`lock`](../std/sync/struct.Mutex.html#method.lock)
233+
method which has this signature:
229234

230235
```ignore
231236
fn lock(&self) -> LockResult<MutexGuard<T>>
232237
```
233238

234-
and because `Send` is not implemented for `MutexGuard<T>`, the guard cannot
235-
cross thread boundaries, ensuring thread-locality of lock acquire and release.
239+
and because `Send` is not implemented for `MutexGuard<T>`, we couldn't have
240+
transferred the guard across thread boundaries on it's own.
236241

237242
Let's examine the body of the thread more closely:
238243

@@ -312,24 +317,22 @@ use std::sync::mpsc;
312317
fn main() {
313318
let (tx, rx) = mpsc::channel();
314319

315-
for i in 0..10 {
320+
for _ in 0..10 {
316321
let tx = tx.clone();
317322

318323
thread::spawn(move || {
319-
let answer = i * i;
324+
let answer = 42;
320325

321326
tx.send(answer);
322327
});
323328
}
324329

325-
for _ in 0..10 {
326-
println!("{}", rx.recv().unwrap());
327-
}
330+
rx.recv().ok().expect("Could not receive answer");
328331
}
329332
```
330333

331-
Here we create 10 threads, asking each to calculate the square of a number (`i`
332-
at the time of `spawn()`), and then `send()` back the answer over the channel.
334+
A `u32` is `Send` because we can make a copy. So we create a thread, ask it to calculate
335+
the answer, and then it `send()`s us the answer over the channel.
333336

334337

335338
## Panics

branches/tmp/src/doc/trpl/error-handling.md

Lines changed: 11 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ systems may want to jump around.
2828
* [The `Result` type](#the-result-type)
2929
* [Parsing integers](#parsing-integers)
3030
* [The `Result` type alias idiom](#the-result-type-alias-idiom)
31-
* [A brief interlude: unwrapping isn't evil](#a-brief-interlude:-unwrapping-isn't-evil)
31+
* [A brief interlude: unwrapping isn't evil](#a-brief-interlude-unwrapping-isnt-evil)
3232
* [Working with multiple error types](#working-with-multiple-error-types)
3333
* [Composing `Option` and `Result`](#composing-option-and-result)
3434
* [The limits of combinators](#the-limits-of-combinators)
@@ -41,11 +41,11 @@ systems may want to jump around.
4141
* [The real `try!` macro](#the-real-try!-macro)
4242
* [Composing custom error types](#composing-custom-error-types)
4343
* [Advice for library writers](#advice-for-library-writers)
44-
* [Case study: A program to read population data](#case-study:-a-program-to-read-population-data)
44+
* [Case study: A program to read population data](#case-study-a-program-to-read-population-data)
4545
* [Initial setup](#initial-setup)
4646
* [Argument parsing](#argument-parsing)
4747
* [Writing the logic](#writing-the-logic)
48-
* [Error handling with `Box<Error>`](#error-handling-with-box%3Cerror%3E)
48+
* [Error handling with `Box<Error>`](#error-handling-with-box<error>)
4949
* [Reading from stdin](#reading-from-stdin)
5050
* [Error handling with a custom type](#error-handling-with-a-custom-type)
5151
* [Adding functionality](#adding-functionality)
@@ -87,9 +87,9 @@ thread '<main>' panicked at 'Invalid number: 11', src/bin/panic-simple.rs:5
8787
Here's another example that is slightly less contrived. A program that accepts
8888
an integer as an argument, doubles it and prints it.
8989

90-
<a name="code-unwrap-double"></a>
91-
90+
<div id="code-unwrap-double">
9291
```rust,should_panic
92+
9393
use std::env;
9494
9595
fn main() {
@@ -99,6 +99,7 @@ fn main() {
9999
println!("{}", 2 * n);
100100
}
101101
```
102+
</div>
102103

103104
If you give this program zero arguments (error 1) or if the first argument
104105
isn't an integer (error 2), the program will panic just like in the first
@@ -139,8 +140,7 @@ system is an important concept because it will cause the compiler to force the
139140
programmer to handle that absence. Let's take a look at an example that tries
140141
to find a character in a string:
141142

142-
<a name="code-option-ex-string-find"></a>
143-
143+
<div id="code-option-ex-string-find">
144144
```rust
145145
// Searches `haystack` for the Unicode character `needle`. If one is found, the
146146
// byte offset of the character is returned. Otherwise, `None` is returned.
@@ -153,6 +153,7 @@ fn find(haystack: &str, needle: char) -> Option<usize> {
153153
None
154154
}
155155
```
156+
</div>
156157

157158
Notice that when this function finds a matching character, it doen't just
158159
return the `offset`. Instead, it returns `Some(offset)`. `Some` is a variant or
@@ -186,8 +187,6 @@ But wait, what about `unwrap` used in [`unwrap-double`](#code-unwrap-double)?
186187
There was no case analysis there! Instead, the case analysis was put inside the
187188
`unwrap` method for you. You could define it yourself if you want:
188189

189-
<a name="code-option-def-unwrap"></a>
190-
191190
```rust
192191
enum Option<T> {
193192
None,
@@ -211,7 +210,7 @@ that makes `unwrap` ergonomic to use. Unfortunately, that `panic!` means that
211210

212211
### Composing `Option<T>` values
213212

214-
In [`option-ex-string-find`](#code-option-ex-string-find)
213+
In [`option-ex-string-find`](#code-option-ex-string-find-2)
215214
we saw how to use `find` to discover the extension in a file name. Of course,
216215
not all file names have a `.` in them, so it's possible that the file name has
217216
no extension. This *possibility of absence* is encoded into the types using
@@ -253,8 +252,6 @@ option is `None`, in which case, just return `None`.
253252
Rust has parametric polymorphism, so it is very easy to define a combinator
254253
that abstracts this pattern:
255254

256-
<a name="code-option-map"></a>
257-
258255
```rust
259256
fn map<F, T, A>(option: Option<T>, f: F) -> Option<A> where F: FnOnce(T) -> A {
260257
match option {
@@ -394,8 +391,6 @@ remove choices because they will panic if `Option<T>` is `None`.
394391
The `Result` type is also
395392
[defined in the standard library][6]:
396393

397-
<a name="code-result-def-1"></a>
398-
399394
```rust
400395
enum Result<T, E> {
401396
Ok(T),
@@ -672,8 +667,6 @@ with both an `Option` and a `Result`, the solution is *usually* to convert the
672667
(from `env::args()`) means the user didn't invoke the program correctly. We
673668
could just use a `String` to describe the error. Let's try:
674669

675-
<a name="code-error-double-string"></a>
676-
677670
```rust
678671
use std::env;
679672

@@ -906,8 +899,6 @@ seen above.
906899

907900
Here is a simplified definition of a `try!` macro:
908901

909-
<a nama name="code-try-def-simple"></a>
910-
911902
```rust
912903
macro_rules! try {
913904
($e:expr) => (match $e {
@@ -1168,8 +1159,6 @@ The `std::convert::From` trait is
11681159
[defined in the standard
11691160
library](../std/convert/trait.From.html):
11701161

1171-
<a name="code-from-def"></a>
1172-
11731162
```rust
11741163
trait From<T> {
11751164
fn from(T) -> Self;
@@ -1247,11 +1236,9 @@ macro_rules! try {
12471236
}
12481237
```
12491238

1250-
This is not its real definition. Its real definition is
1239+
This is not it's real definition. It's real definition is
12511240
[in the standard library](../std/macro.try!.html):
12521241

1253-
<a name="code-try-def"></a>
1254-
12551242
```rust
12561243
macro_rules! try {
12571244
($e:expr) => (match $e {
@@ -1470,7 +1457,7 @@ representation. But certainly, this will vary depending on use cases.
14701457
At a minimum, you should probably implement the
14711458
[`Error`](../std/error/trait.Error.html)
14721459
trait. This will give users of your library some minimum flexibility for
1473-
[composing errors](#the-real-try!-macro). Implementing the `Error` trait also
1460+
[composing errors](#the-real-try-macro). Implementing the `Error` trait also
14741461
means that users are guaranteed the ability to obtain a string representation
14751462
of an error (because it requires impls for both `fmt::Debug` and
14761463
`fmt::Display`).

branches/tmp/src/doc/trpl/guessing-game.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -147,7 +147,7 @@ a few tricks up their sleeves.
147147

148148
For example, they’re [immutable][immutable] by default. That’s why our example
149149
uses `mut`: it makes a binding mutable, rather than immutable. `let` doesn’t
150-
take a name on the left hand side of the assignment, it actually accepts a
150+
take a name on the left hand side, it actually accepts a
151151
[pattern][patterns]’. We’ll use patterns later. It’s easy enough
152152
to use for now:
153153

branches/tmp/src/etc/mklldeps.py

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,6 @@
1717
components = sys.argv[2].split() # splits on whitespace
1818
enable_static = sys.argv[3]
1919
llvm_config = sys.argv[4]
20-
stdcpp_name = sys.argv[5]
2120

2221
f.write("""// Copyright 2013 The Rust Project Developers. See the COPYRIGHT
2322
// file at the top-level directory of this distribution and at
@@ -78,15 +77,15 @@ def run(args):
7877
out = run([llvm_config, '--cxxflags'])
7978
if enable_static == '1':
8079
assert('stdlib=libc++' not in out)
81-
f.write("#[link(name = \"" + stdcpp_name + "\", kind = \"static\")]\n")
80+
f.write("#[link(name = \"stdc++\", kind = \"static\")]\n")
8281
else:
8382
# Note that we use `cfg_attr` here because on MSVC the C++ standard library
8483
# is not c++ or stdc++, but rather the linker takes care of linking the
8584
# right standard library.
8685
if 'stdlib=libc++' in out:
8786
f.write("#[cfg_attr(not(target_env = \"msvc\"), link(name = \"c++\"))]\n")
8887
else:
89-
f.write("#[cfg_attr(not(target_env = \"msvc\"), link(name = \"" + stdcpp_name + "\"))]\n")
88+
f.write("#[cfg_attr(not(target_env = \"msvc\"), link(name = \"stdc++\"))]\n")
9089

9190
# Attach everything to an extern block
9291
f.write("extern {}\n")

branches/tmp/src/libcollections/btree/node.rs

Lines changed: 1 addition & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -164,12 +164,7 @@ fn calculate_allocation_generic<K, V>(capacity: usize, is_leaf: bool) -> (usize,
164164
let (keys_size, keys_align) = (capacity * mem::size_of::<K>(), mem::align_of::<K>());
165165
let (vals_size, vals_align) = (capacity * mem::size_of::<V>(), mem::align_of::<V>());
166166
let (edges_size, edges_align) = if is_leaf {
167-
// allocate one edge to ensure that we don't pass size 0 to `heap::allocate`
168-
if mem::size_of::<K>() == 0 && mem::size_of::<V>() == 0 {
169-
(1, mem::align_of::<Node<K, V>>())
170-
} else {
171-
(0, 1)
172-
}
167+
(0, 1)
173168
} else {
174169
((capacity + 1) * mem::size_of::<Node<K, V>>(), mem::align_of::<Node<K, V>>())
175170
};

0 commit comments

Comments
 (0)