From e066bae56e850b5885cc9b73d44131a27ad68b1d Mon Sep 17 00:00:00 2001 From: Patrick Walton Date: Fri, 1 Jul 2011 16:59:03 -0700 Subject: [PATCH] rustc: Move the interner over to interior vectors --- src/comp/middle/ty.rs | 2 +- src/comp/syntax/util/interner.rs | 12 ++++++------ 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs index 40aeb491bcc..85acfe019b1 100644 --- a/src/comp/middle/ty.rs +++ b/src/comp/middle/ty.rs @@ -378,7 +378,7 @@ fn populate_type_store(&ctxt cx) { intern(cx, ty_task, none[str]); intern(cx, ty_type, none[str]); intern(cx, ty_bot, none[str]); - assert (vec::len(cx.ts.vect) == idx_first_others); + assert (ivec::len(cx.ts.vect) == idx_first_others); } fn mk_rcache() -> creader_cache { diff --git a/src/comp/syntax/util/interner.rs b/src/comp/syntax/util/interner.rs index e096b953a89..9717e30d6e6 100644 --- a/src/comp/syntax/util/interner.rs +++ b/src/comp/syntax/util/interner.rs @@ -1,7 +1,7 @@ // An "interner" is a data structure that associates values with uint tags and // allows bidirectional lookup; i.e. given a value, one can easily find the // type, and vice versa. -import std::vec; +import std::ivec; import std::map; import std::map::hashmap; import std::map::hashfn; @@ -12,24 +12,24 @@ import std::option::some; type interner[T] = rec(hashmap[T, uint] map, - mutable vec[T] vect, + mutable T[] vect, hashfn[T] hasher, eqfn[T] eqer); fn mk[T](hashfn[T] hasher, eqfn[T] eqer) -> interner[T] { auto m = map::mk_hashmap[T, uint](hasher, eqer); - let vec[T] vect = []; - ret rec(map=m, mutable vect=vect, hasher=hasher, eqer=eqer); + ret rec(map=m, mutable vect=~[], hasher=hasher, eqer=eqer); } fn intern[T](&interner[T] itr, &T val) -> uint { alt (itr.map.find(val)) { case (some(?idx)) { ret idx; } case (none) { - auto new_idx = vec::len[T](itr.vect); + auto new_idx = ivec::len[T](itr.vect); itr.map.insert(val, new_idx); - itr.vect += [val]; + itr.vect += ~[val]; ret new_idx; } } } fn get[T](&interner[T] itr, uint idx) -> T { ret itr.vect.(idx); } +