---

yaml
---
r: 27960
b: refs/heads/try
c: 7317bf8
h: refs/heads/master
v: v3

Author: paulstansifer

[refs]

@@ -2,7 +2,7 @@
 refs/heads/master: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
-refs/heads/try: 9a7890d73af5ebe4bf862fa727427e290da1391b
+refs/heads/try: 7317bf8792ebb3f27768109b7d574ee0806cc5e5
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: d0c6ce338884ee21843f4b40bf6bf18d222ce5df

branches/try/src/libsyntax/parse/token.rs

@@ -279,9 +279,18 @@ pure fn is_bar(t: token) -> bool {
 
 type ident_interner = util::interner::interner<@~str>;
 
+mod special_idents {
+    const underscore : uint = 0u;
+    const anon : uint = 1u;
+    const destr : uint = 2u; // 'drop', but that's reserved
+}
+
 fn mk_ident_interner() -> ident_interner {
-    let rv = @interner::mk::<@~str>(|x| str::hash(*x),
-                                    |x,y| str::eq(*x, *y));
+    /* the indices here must correspond to the numbers in special_idents */
+    let init_vec = ~[@~"_", @~"anon", @~"drop"];
+
+    let rv = @interner::mk_prefill::<@~str>(|x| str::hash(*x),
+                                            |x,y| str::eq(*x, *y), init_vec);
     rv
 }
 

branches/try/src/libsyntax/util/interner.rs

@@ -18,6 +18,15 @@ fn mk<T: const copy>(+hasher: hashfn<T>, +eqer: eqfn<T>) -> interner<T> {
     return hi as interner::<T>;
 }
 
+fn mk_prefill<T: const copy>(hasher: hashfn<T>, eqer: eqfn<T>,
+                             init: ~[T]) -> interner<T> {
+
+    let rv = mk(hasher, eqer);
+    for init.each() |v| { rv.intern(v); }
+    return rv;
+}
+
+
 /* when traits can extend traits, we should extend index<uint,T> to get [] */
 trait interner<T: const copy> {
     fn intern(T) -> uint;