File tree Expand file tree Collapse file tree 2 files changed +6
-6
lines changed
branches/try2/src/libsyntax/util Expand file tree Collapse file tree 2 files changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -5,7 +5,7 @@ refs/heads/snap-stage3: 78a7676898d9f80ab540c6df5d4c9ce35bb50463
5
5
refs/heads/try: 519addf6277dbafccbb4159db4b710c37eaa2ec5
6
6
refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
7
7
refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
8
- refs/heads/try2: 46d1af28b5ce4f626be1eb33cb9751cb9cbb1fe9
8
+ refs/heads/try2: 181e5f3fc8bd9afaf0e39ea57cf63b47755e3d9a
9
9
refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d
10
10
refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
11
11
refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
Original file line number Diff line number Diff line change @@ -126,14 +126,14 @@ impl RcStr {
126
126
}
127
127
}
128
128
129
- // A StrInterner differs from Interner<String> in that it accepts
130
- // &str rather than RcStr, resulting in less allocation.
129
+ /// A StrInterner differs from Interner<String> in that it accepts
130
+ /// &str rather than RcStr, resulting in less allocation.
131
131
pub struct StrInterner {
132
132
map : RefCell < HashMap < RcStr , Name > > ,
133
133
vect : RefCell < Vec < RcStr > > ,
134
134
}
135
135
136
- // when traits can extend traits, we should extend index<Name,T> to get []
136
+ /// When traits can extend traits, we should extend index<Name,T> to get []
137
137
impl StrInterner {
138
138
pub fn new ( ) -> StrInterner {
139
139
StrInterner {
@@ -177,8 +177,8 @@ impl StrInterner {
177
177
// lightweight way to get what I want, though not
178
178
// necessarily the cleanest.
179
179
180
- // create a gensym with the same name as an existing
181
- // entry.
180
+ /// Create a gensym with the same name as an existing
181
+ /// entry.
182
182
pub fn gensym_copy ( & self , idx : Name ) -> Name {
183
183
let new_idx = self . len ( ) as Name ;
184
184
// leave out of map to avoid colliding
You can’t perform that action at this time.
0 commit comments