Skip to content

Commit 1f42102

Browse files
committed
---
yaml --- r: 236557 b: refs/heads/tmp c: 09d4dee h: refs/heads/master i: 236555: 92e3b9b v: v3
1 parent 7d1145d commit 1f42102

File tree

127 files changed

+1653
-2127
lines changed

Some content is hidden

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

127 files changed

+1653
-2127
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: de2792faa08943699377f782e86098dda599829a
28+
refs/heads/tmp: 09d4deef5b3f84548c0b9f6e1f70b0f5818eba2d
2929
refs/tags/1.0.0-alpha.2: 4c705f6bc559886632d3871b04f58aab093bfa2f
3030
refs/tags/homu-tmp: f859507de8c410b648d934d8f5ec1c52daac971d
3131
refs/tags/1.0.0-beta: 8cbb92b53468ee2b0c2d3eeb8567005953d40828

branches/tmp/mk/cfg/x86_64-unknown-netbsd.mk

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
# x86_64-unknown-netbsd configuration
2-
CROSS_PREFIX_x86_64-unknown-netbsd=x86_64-unknown-netbsd-
32
CC_x86_64-unknown-netbsd=$(CC)
43
CXX_x86_64-unknown-netbsd=$(CXX)
54
CPP_x86_64-unknown-netbsd=$(CPP)

branches/tmp/mk/grammar.mk

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -58,17 +58,17 @@ check-lexer: $(BG) $(BG)RustLexer.class check-build-lexer-verifier
5858
$(Q)$(SG)check.sh $(S) "$(BG)" \
5959
"$(CFG_GRUN)" "$(BG)verify" "$(BG)RustLexer.tokens"
6060
else
61-
$(info cfg: lexer tooling not available, skipping lexer test...)
61+
$(info cfg: grun not available, skipping lexer test...)
6262
check-lexer:
6363

6464
endif
6565
else
66-
$(info cfg: lexer tooling not available, skipping lexer test...)
66+
$(info cfg: antlr4 not available, skipping lexer test...)
6767
check-lexer:
6868

6969
endif
7070
else
71-
$(info cfg: lexer tooling not available, skipping lexer test...)
71+
$(info cfg: javac not available, skipping lexer test...)
7272
check-lexer:
7373

7474
endif

branches/tmp/src/doc/grammar.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ provides only one kind of material:
99

1010
This document does not serve as an introduction to the language. Background
1111
familiarity with the language is assumed. A separate [guide] is available to
12-
help acquire such background.
12+
help acquire such background familiarity.
1313

1414
This document also does not serve as a reference to the [standard] library
1515
included in the language distribution. Those libraries are documented

branches/tmp/src/doc/reference.md

Lines changed: 17 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -674,7 +674,7 @@ There are several kinds of item:
674674
* [modules](#modules)
675675
* [functions](#functions)
676676
* [type definitions](grammar.html#type-definitions)
677-
* [structs](#structs)
677+
* [structures](#structures)
678678
* [enumerations](#enumerations)
679679
* [constant items](#constant-items)
680680
* [static items](#static-items)
@@ -900,10 +900,9 @@ fn main() {}
900900

901901
### Functions
902902

903-
A _function item_ defines a sequence of [statements](#statements) and a
904-
final [expression](#expressions), along with a name and a set of
905-
parameters. Other than a name, all these are optional.
906-
Functions are declared with the keyword `fn`. Functions may declare a
903+
A _function item_ defines a sequence of [statements](#statements) and an
904+
optional final [expression](#expressions), along with a name and a set of
905+
parameters. Functions are declared with the keyword `fn`. Functions declare a
907906
set of *input* [*variables*](#variables) as parameters, through which the caller
908907
passes arguments into the function, and the *output* [*type*](#types)
909908
of the value the function will return to its caller on completion.
@@ -922,7 +921,7 @@ An example of a function:
922921

923922
```
924923
fn add(x: i32, y: i32) -> i32 {
925-
x + y
924+
return x + y;
926925
}
927926
```
928927

@@ -1156,7 +1155,7 @@ type Point = (u8, u8);
11561155
let p: Point = (41, 68);
11571156
```
11581157

1159-
### Structs
1158+
### Structures
11601159

11611160
A _structure_ is a nominal [structure type](#structure-types) defined with the
11621161
keyword `struct`.
@@ -2615,21 +2614,21 @@ comma:
26152614
### Structure expressions
26162615

26172616
There are several forms of structure expressions. A _structure expression_
2618-
consists of the [path](#paths) of a [structure item](#structs), followed by
2617+
consists of the [path](#paths) of a [structure item](#structures), followed by
26192618
a brace-enclosed list of one or more comma-separated name-value pairs,
26202619
providing the field values of a new instance of the structure. A field name
26212620
can be any identifier, and is separated from its value expression by a colon.
26222621
The location denoted by a structure field is mutable if and only if the
26232622
enclosing structure is mutable.
26242623

26252624
A _tuple structure expression_ consists of the [path](#paths) of a [structure
2626-
item](#structs), followed by a parenthesized list of one or more
2625+
item](#structures), followed by a parenthesized list of one or more
26272626
comma-separated expressions (in other words, the path of a structure item
26282627
followed by a tuple expression). The structure item must be a tuple structure
26292628
item.
26302629

26312630
A _unit-like structure expression_ consists only of the [path](#paths) of a
2632-
[structure item](#structs).
2631+
[structure item](#structures).
26332632

26342633
The following are examples of structure expressions:
26352634

@@ -3146,7 +3145,7 @@ if` condition is evaluated. If all `if` and `else if` conditions evaluate to
31463145

31473146
A `match` expression branches on a *pattern*. The exact form of matching that
31483147
occurs depends on the pattern. Patterns consist of some combination of
3149-
literals, destructured arrays or enum constructors, structs and tuples,
3148+
literals, destructured arrays or enum constructors, structures and tuples,
31503149
variable binding specifications, wildcards (`..`), and placeholders (`_`). A
31513150
`match` expression has a *head expression*, which is the value to compare to
31523151
the patterns. The type of the patterns must equal the type of the head
@@ -3470,7 +3469,7 @@ named reference to an [`enum` item](#enumerations).
34703469
### Recursive types
34713470

34723471
Nominal types — [enumerations](#enumerated-types) and
3473-
[structs](#structure-types) — may be recursive. That is, each `enum`
3472+
[structures](#structure-types) — may be recursive. That is, each `enum`
34743473
constructor or `struct` field may refer, directly or indirectly, to the
34753474
enclosing `enum` or `struct` type itself. Such recursion has restrictions:
34763475

@@ -3498,7 +3497,7 @@ let a: List<i32> = List::Cons(7, Box::new(List::Cons(13, Box::new(List::Nil))));
34983497
### Pointer types
34993498

35003499
All pointers in Rust are explicit first-class values. They can be copied,
3501-
stored into data structs, and returned from functions. There are two
3500+
stored into data structures, and returned from functions. There are two
35023501
varieties of pointer in Rust:
35033502

35043503
* References (`&`)
@@ -3898,7 +3897,7 @@ references to boxes are dropped.
38983897
### Variables
38993898

39003899
A _variable_ is a component of a stack frame, either a named function parameter,
3901-
an anonymous [temporary](#lvalues-rvalues-and-temporaries), or a named local
3900+
an anonymous [temporary](#lvalues,-rvalues-and-temporaries), or a named local
39023901
variable.
39033902

39043903
A _local variable_ (or *stack-local* allocation) holds a value directly,
@@ -4037,6 +4036,10 @@ In general, `--crate-type=bin` or `--crate-type=lib` should be sufficient for
40374036
all compilation needs, and the other options are just available if more
40384037
fine-grained control is desired over the output format of a Rust crate.
40394038

4039+
# Appendix: Rationales and design trade-offs
4040+
4041+
*TODO*.
4042+
40404043
# Appendix: Influences
40414044

40424045
Rust is not a particularly original language, with design elements coming from

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

Lines changed: 17 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -411,8 +411,9 @@ fn factory() -> &(Fn(i32) -> i32) {
411411
```
412412

413413
Right. Because we have a reference, we need to give it a lifetime. But
414-
our `factory()` function takes no arguments, so elision doesn’t kick in
415-
here. What lifetime can we choose? `'static`:
414+
our `factory()` function takes no arguments, so
415+
[elision](lifetimes.html#lifetime-elision) doesn’t kick in here. Then what
416+
choices do we have? Try `'static`:
416417

417418
```rust,ignore
418419
fn factory() -> &'static (Fn(i32) -> i32) {
@@ -432,7 +433,7 @@ But we get another error:
432433
```text
433434
error: mismatched types:
434435
expected `&'static core::ops::Fn(i32) -> i32`,
435-
found `[closure <anon>:7:9: 7:20]`
436+
found `[closure@<anon>:7:9: 7:20]`
436437
(expected &-ptr,
437438
found closure) [E0308]
438439
|x| x + num
@@ -441,21 +442,17 @@ error: mismatched types:
441442
```
442443

443444
This error is letting us know that we don’t have a `&'static Fn(i32) -> i32`,
444-
we have a `[closure <anon>:7:9: 7:20]`. Wait, what?
445+
we have a `[closure@<anon>:7:9: 7:20]`. Wait, what?
445446

446447
Because each closure generates its own environment `struct` and implementation
447448
of `Fn` and friends, these types are anonymous. They exist just solely for
448-
this closure. So Rust shows them as `closure <anon>`, rather than some
449+
this closure. So Rust shows them as `closure@<anon>`, rather than some
449450
autogenerated name.
450451

451-
But why doesn’t our closure implement `&'static Fn`? Well, as we discussed before,
452-
closures borrow their environment. And in this case, our environment is based
453-
on a stack-allocated `5`, the `num` variable binding. So the borrow has a lifetime
454-
of the stack frame. So if we returned this closure, the function call would be
455-
over, the stack frame would go away, and our closure is capturing an environment
456-
of garbage memory!
457-
458-
So what to do? This _almost_ works:
452+
The error also points out that the return type is expected to be a reference,
453+
but what we are trying to return is not. Further, we cannot directly assign a
454+
`'static` lifetime to an object. So we'll take a different approach and return
455+
a "trait object" by `Box`ing up the `Fn`. This _almost_ works:
459456

460457
```rust,ignore
461458
fn factory() -> Box<Fn(i32) -> i32> {
@@ -471,7 +468,7 @@ assert_eq!(6, answer);
471468
# }
472469
```
473470

474-
We use a trait object, by `Box`ing up the `Fn`. There’s just one last problem:
471+
There’s just one last problem:
475472

476473
```text
477474
error: closure may outlive the current function, but it borrows `num`,
@@ -480,8 +477,12 @@ Box::new(|x| x + num)
480477
^~~~~~~~~~~
481478
```
482479

483-
We still have a reference to the parent stack frame. With one last fix, we can
484-
make this work:
480+
Well, as we discussed before, closures borrow their environment. And in this
481+
case, our environment is based on a stack-allocated `5`, the `num` variable
482+
binding. So the borrow has a lifetime of the stack frame. So if we returned
483+
this closure, the function call would be over, the stack frame would go away,
484+
and our closure is capturing an environment of garbage memory! With one last
485+
fix, we can make this work:
485486

486487
```rust
487488
fn factory() -> Box<Fn(i32) -> i32> {

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2064,7 +2064,7 @@ string and add a flag to the Option variable. Once were done that, Getopts does
20642064
let mut opts = Options::new();
20652065
opts.optopt("f", "file", "Choose an input file, instead of using STDIN.", "NAME");
20662066
opts.optflag("h", "help", "Show this usage message.");
2067-
opts.optflag("q", "quiet", "Silences errors and warnings.");
2067+
opts.optflag("q", "quit", "Silences errors and warnings.");
20682068
...
20692069
```
20702070

branches/tmp/src/liballoc/boxed.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -80,10 +80,11 @@ use core::raw::{TraitObject};
8080
/// use std::boxed::HEAP;
8181
///
8282
/// fn main() {
83-
/// let foo: Box<i32> = in HEAP { 5 };
83+
/// let foo = box(HEAP) 5;
8484
/// let foo = box 5;
8585
/// }
8686
/// ```
87+
#[lang = "exchange_heap"]
8788
#[unstable(feature = "box_heap",
8889
reason = "may be renamed; uncertain about custom allocator design",
8990
issue = "27779")]

branches/tmp/src/libcollections/binary_heap.rs

Lines changed: 1 addition & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -167,22 +167,12 @@ use vec::{self, Vec};
167167
/// item's ordering relative to any other item, as determined by the `Ord`
168168
/// trait, changes while it is in the heap. This is normally only possible
169169
/// through `Cell`, `RefCell`, global state, I/O, or unsafe code.
170+
#[derive(Clone)]
170171
#[stable(feature = "rust1", since = "1.0.0")]
171172
pub struct BinaryHeap<T> {
172173
data: Vec<T>,
173174
}
174175

175-
#[stable(feature = "rust1", since = "1.0.0")]
176-
impl<T: Clone> Clone for BinaryHeap<T> {
177-
fn clone(&self) -> Self {
178-
BinaryHeap { data: self.data.clone() }
179-
}
180-
181-
fn clone_from(&mut self, source: &Self) {
182-
self.data.clone_from(&source.data);
183-
}
184-
}
185-
186176
#[stable(feature = "rust1", since = "1.0.0")]
187177
impl<T: Ord> Default for BinaryHeap<T> {
188178
#[inline]

branches/tmp/src/libcollections/lib.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@
6262
#![feature(unsafe_no_drop_flag, filling_drop)]
6363
#![feature(decode_utf16)]
6464
#![feature(utf8_error)]
65-
#![cfg_attr(test, feature(clone_from_slice, rand, test))]
65+
#![cfg_attr(test, feature(rand, test))]
6666

6767
#![feature(no_std)]
6868
#![no_std]

branches/tmp/src/libcollections/str.rs

Lines changed: 12 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -715,7 +715,8 @@ impl str {
715715
/// Returns `None` if it doesn't exist.
716716
///
717717
/// The pattern can be a simple `&str`, `char`, or a closure that
718-
/// determines if a character matches.
718+
/// determines the
719+
/// split.
719720
///
720721
/// # Examples
721722
///
@@ -759,7 +760,7 @@ impl str {
759760
/// Returns `None` if it doesn't exist.
760761
///
761762
/// The pattern can be a simple `&str`, `char`,
762-
/// or a closure that determines if a character matches.
763+
/// or a closure that determines the split.
763764
///
764765
/// # Examples
765766
///
@@ -1095,7 +1096,7 @@ impl str {
10951096
/// An iterator over the matches of a pattern within `self`.
10961097
///
10971098
/// The pattern can be a simple `&str`, `char`, or a closure that
1098-
/// determines if a character matches.
1099+
/// determines the split.
10991100
/// Additional libraries might provide more complex patterns like
11001101
/// regular expressions.
11011102
///
@@ -1128,7 +1129,7 @@ impl str {
11281129
/// reverse order.
11291130
///
11301131
/// The pattern can be a simple `&str`, `char`, or a closure that
1131-
/// determines if a character matches.
1132+
/// determines the split.
11321133
/// Additional libraries might provide more complex patterns like
11331134
/// regular expressions.
11341135
///
@@ -1165,7 +1166,8 @@ impl str {
11651166
/// match are returned.
11661167
///
11671168
/// The pattern can be a simple `&str`, `char`, or a closure that
1168-
/// determines if a character matches.
1169+
/// determines
1170+
/// the split.
11691171
/// Additional libraries might provide more complex patterns like
11701172
/// regular expressions.
11711173
///
@@ -1212,7 +1214,8 @@ impl str {
12121214
/// match are returned.
12131215
///
12141216
/// The pattern can be a simple `&str`, `char`, or a closure that
1215-
/// determines if a character matches.
1217+
/// determines
1218+
/// the split.
12161219
/// Additional libraries might provide more complex patterns like
12171220
/// regular expressions.
12181221
///
@@ -1293,7 +1296,7 @@ impl str {
12931296
/// repeatedly removed.
12941297
///
12951298
/// The pattern can be a simple `char`, or a closure that determines
1296-
/// if a character matches.
1299+
/// the split.
12971300
///
12981301
/// # Examples
12991302
///
@@ -1323,7 +1326,7 @@ impl str {
13231326
/// repeatedly removed.
13241327
///
13251328
/// The pattern can be a simple `&str`, `char`, or a closure that
1326-
/// determines if a character matches.
1329+
/// determines the split.
13271330
///
13281331
/// # Examples
13291332
///
@@ -1343,7 +1346,7 @@ impl str {
13431346
/// repeatedly removed.
13441347
///
13451348
/// The pattern can be a simple `&str`, `char`, or a closure that
1346-
/// determines if a character matches.
1349+
/// determines the split.
13471350
///
13481351
/// # Examples
13491352
///

branches/tmp/src/libcollections/string.rs

Lines changed: 1 addition & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,7 @@ use vec::Vec;
3030
use boxed::Box;
3131

3232
/// A growable string stored as a UTF-8 encoded buffer.
33-
#[derive(PartialOrd, Eq, Ord)]
33+
#[derive(Clone, PartialOrd, Eq, Ord)]
3434
#[stable(feature = "rust1", since = "1.0.0")]
3535
pub struct String {
3636
vec: Vec<u8>,
@@ -765,17 +765,6 @@ impl fmt::Display for FromUtf16Error {
765765
}
766766
}
767767

768-
#[stable(feature = "rust1", since = "1.0.0")]
769-
impl Clone for String {
770-
fn clone(&self) -> Self {
771-
String { vec: self.vec.clone() }
772-
}
773-
774-
fn clone_from(&mut self, source: &Self) {
775-
self.vec.clone_from(&source.vec);
776-
}
777-
}
778-
779768
#[stable(feature = "rust1", since = "1.0.0")]
780769
impl FromIterator<char> for String {
781770
fn from_iter<I: IntoIterator<Item=char>>(iterable: I) -> String {

0 commit comments

Comments
 (0)