Skip to content

Commit 5175f94

Browse files
committed
---
yaml --- r: 210622 b: refs/heads/try c: 42240dc h: refs/heads/master v: v3
1 parent e2ef984 commit 5175f94

File tree

14 files changed

+53
-782
lines changed

14 files changed

+53
-782
lines changed

[refs]

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22
refs/heads/master: 3e561f05c00cd180ec02db4ccab2840a4aba93d2
33
refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
44
refs/heads/snap-stage3: ba0e1cd8147d452c356aacb29fb87568ca26f111
5-
refs/heads/try: f3849431a971aa18febacc664c09001246fac89c
5+
refs/heads/try: 42240dccb600548b222992583402eafb3f47f364
66
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
77
refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d
88
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596

branches/try/src/doc/reference.md

Lines changed: 21 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -31,27 +31,23 @@ You may also be interested in the [grammar].
3131

3232
## Unicode productions
3333

34-
A few productions in Rust's grammar permit Unicode code points outside the
35-
ASCII range. We define these productions in terms of character properties
36-
specified in the Unicode standard, rather than in terms of ASCII-range code
37-
points. The grammar has a [Special Unicode Productions][unicodeproductions]
38-
section that lists these productions.
39-
40-
[unicodeproductions]: grammar.html#special-unicode-productions
34+
A few productions in Rust's grammar permit Unicode code points outside the ASCII
35+
range. We define these productions in terms of character properties specified
36+
in the Unicode standard, rather than in terms of ASCII-range code points. The
37+
section [Special Unicode Productions](#special-unicode-productions) lists these
38+
productions.
4139

4240
## String table productions
4341

4442
Some rules in the grammar — notably [unary
4543
operators](#unary-operator-expressions), [binary
46-
operators](#binary-operator-expressions), and [keywords][keywords] — are
44+
operators](#binary-operator-expressions), and [keywords](#keywords) — are
4745
given in a simplified form: as a listing of a table of unquoted, printable
4846
whitespace-separated strings. These cases form a subset of the rules regarding
4947
the [token](#tokens) rule, and are assumed to be the result of a
5048
lexical-analysis phase feeding the parser, driven by a DFA, operating over the
5149
disjunction of all such string table entries.
5250

53-
[keywords]: grammar.html#keywords
54-
5551
When such a string enclosed in double-quotes (`"`) occurs inside the grammar,
5652
it is an implicit reference to a single member of such a string table
5753
production. See [tokens](#tokens) for more information.
@@ -79,7 +75,7 @@ An identifier is any nonempty Unicode[^non_ascii_idents] string of the following
7975
- The first character has property `XID_start`
8076
- The remaining characters have property `XID_continue`
8177

82-
that does _not_ occur in the set of [keywords][keywords].
78+
that does _not_ occur in the set of [keywords](#keywords).
8379

8480
> **Note**: `XID_start` and `XID_continue` as character properties cover the
8581
> character ranges used to form the more familiar C and Java language-family
@@ -405,7 +401,7 @@ Symbols are a general class of printable [token](#tokens) that play structural
405401
roles in a variety of grammar productions. They are catalogued here for
406402
completeness as the set of remaining miscellaneous printable tokens that do not
407403
otherwise appear as [unary operators](#unary-operator-expressions), [binary
408-
operators](#binary-operator-expressions), or [keywords][keywords].
404+
operators](#binary-operator-expressions), or [keywords](#keywords).
409405

410406

411407
## Paths
@@ -551,7 +547,7 @@ _name_ s that occur in its body. At the "current layer", they all must repeat
551547
the same number of times, so ` ( $( $i:ident ),* ; $( $j:ident ),* ) => ( $(
552548
($i,$j) ),* )` is valid if given the argument `(a,b,c ; d,e,f)`, but not
553549
`(a,b,c ; d,e)`. The repetition walks through the choices at that layer in
554-
lockstep, so the former input transcribes to `(a,d), (b,e), (c,f)`.
550+
lockstep, so the former input transcribes to `( (a,d), (b,e), (c,f) )`.
555551

556552
Nested repetitions are allowed.
557553

@@ -615,7 +611,7 @@ module needs its own source file: [module definitions](#modules) can be nested
615611
within one file.
616612

617613
Each source file contains a sequence of zero or more `item` definitions, and
618-
may optionally begin with any number of [attributes](#items-and-attributes)
614+
may optionally begin with any number of [attributes](#Items and attributes)
619615
that apply to the containing module, most of which influence the behavior of
620616
the compiler. The anonymous crate module can have additional attributes that
621617
apply to the crate as a whole.
@@ -657,7 +653,7 @@ There are several kinds of item:
657653
* [`use` declarations](#use-declarations)
658654
* [modules](#modules)
659655
* [functions](#functions)
660-
* [type definitions](grammar.html#type-definitions)
656+
* [type aliases](#type-aliases)
661657
* [structures](#structures)
662658
* [enumerations](#enumerations)
663659
* [constant items](#constant-items)
@@ -777,7 +773,7 @@ extern crate std as ruststd; // linking to 'std' under another name
777773
A _use declaration_ creates one or more local name bindings synonymous with
778774
some other [path](#paths). Usually a `use` declaration is used to shorten the
779775
path required to refer to a module item. These declarations may appear at the
780-
top of [modules](#modules) and [blocks](grammar.html#block-expressions).
776+
top of [modules](#modules) and [blocks](#blocks).
781777

782778
> **Note**: Unlike in many languages,
783779
> `use` declarations in Rust do *not* declare linkage dependency with external crates.
@@ -1148,7 +1144,9 @@ let px: i32 = match p { Point(x, _) => x };
11481144
```
11491145

11501146
A _unit-like struct_ is a structure without any fields, defined by leaving off
1151-
the list of fields entirely. Such types will have a single value. For example:
1147+
the list of fields entirely. Such types will have a single value, just like
1148+
the [unit value `()`](#unit-and-boolean-literals) of the unit type. For
1149+
example:
11521150

11531151
```
11541152
struct Cookie;
@@ -2438,6 +2436,11 @@ comma:
24382436
(0); // zero in parentheses
24392437
```
24402438

2439+
### Unit expressions
2440+
2441+
The expression `()` denotes the _unit value_, the only value of the type with
2442+
the same name.
2443+
24412444
### Structure expressions
24422445

24432446
There are several forms of structure expressions. A _structure expression_
@@ -3278,7 +3281,7 @@ constructor or `struct` field may refer, directly or indirectly, to the
32783281
enclosing `enum` or `struct` type itself. Such recursion has restrictions:
32793282

32803283
* Recursive types must include a nominal type in the recursion
3281-
(not mere [type definitions](grammar.html#type-definitions),
3284+
(not mere [type definitions](#type-definitions),
32823285
or other structural types such as [arrays](#array,-and-slice-types) or [tuples](#tuple-types)).
32833286
* A recursive `enum` item must have at least one non-recursive constructor
32843287
(in order to give the recursion a basis case).

branches/try/src/doc/trpl/compiler-plugins.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -176,7 +176,7 @@ for a full example, the core of which is reproduced here:
176176

177177
```ignore
178178
declare_lint!(TEST_LINT, Warn,
179-
"Warn about items named 'lintme'");
179+
"Warn about items named 'lintme'")
180180
181181
struct Pass;
182182

branches/try/src/doc/trpl/method-syntax.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -127,12 +127,12 @@ fn grow(&self) -> Circle {
127127
We just say we’re returning a `Circle`. With this method, we can grow a new
128128
circle to any arbitrary size.
129129

130-
# Static methods
130+
# Associated functions
131131

132-
You can also define static methods that do not take a `self` parameter. Here’s a
133-
pattern that’s very common in Rust code:
132+
You can also define associated functions that do not take a `self` parameter.
133+
Here’s a pattern that’s very common in Rust code:
134134

135-
```
135+
```rust
136136
struct Circle {
137137
x: f64,
138138
y: f64,

0 commit comments

Comments
 (0)