---

yaml
---
r: 1858
b: refs/heads/master
c: 77a3373
h: refs/heads/master
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 10f336055cb13518690f8d280240d30e3f13e508
+refs/heads/master: 77a3373d53e3b0d1b87135b21307f19922398af9

trunk/src/comp/driver/rustc.rs

@@ -9,6 +9,7 @@ import middle.resolve;
 import middle.typeck;
 import util.common;
 
+import std.map.mk_hashmap;
 import std.option;
 import std.option.some;
 import std.option.none;
@@ -112,7 +113,9 @@ impure fn main(vec[str] args) {
                           uint_type = common.ty_u32,
                           float_type = common.ty_f64 );
 
-    auto sess = session.session(target_cfg);
+    auto crate_cache = common.new_int_hash[session.crate_metadata]();
+
+    auto sess = session.session(target_cfg, crate_cache);
     let option.t[str] input_file = none[str];
     let option.t[str] output_file = none[str];
     let vec[str] library_search_paths = vec();

trunk/src/comp/driver/session.rs

@@ -1,6 +1,7 @@
 import util.common.span;
 import util.common.ty_mach;
 import std._uint;
+import std.map;
 
 tag os {
     os_win32;
@@ -20,7 +21,9 @@ type cfg = rec(os os,
                ty_mach uint_type,
                ty_mach float_type);
 
-obj session(cfg targ) {
+type crate_metadata = vec[u8];
+
+obj session(cfg targ, map.hashmap[int, crate_metadata] crates) {
 
     fn get_targ_cfg() -> cfg {
         ret targ;
@@ -66,6 +69,14 @@ obj session(cfg targ) {
         log #fmt("error: unimplemented %s", msg);
         fail;
     }
+
+    fn get_external_crate(int num) -> crate_metadata {
+        ret crates.get(num);
+    }
+
+    fn set_external_crate(int num, &crate_metadata metadata) {
+        crates.insert(num, metadata);
+    }
 }
 
 

trunk/src/comp/middle/ty.rs

@@ -1530,11 +1530,7 @@ fn unify(@ty.t expected, @ty.t actual, &unify_handler handler)
         ret ty.fold_ty(folder(bindings), typ);
     }
 
-    fn hash_int(&int x) -> uint { ret x as uint; }
-    fn eq_int(&int a, &int b) -> bool { ret a == b; }
-    auto hasher = hash_int;
-    auto eqer = eq_int;
-    auto bindings = @map.mk_hashmap[int,@ty.t](hasher, eqer);
+    auto bindings = @common.new_int_hash[@ty.t]();
 
     auto ures = unify_step(bindings, expected, actual, handler);
     alt (ures) {

trunk/src/comp/util/common.rs

@@ -64,6 +64,14 @@ fn new_def_hash[V]() -> std.map.hashmap[ast.def_id,V] {
     ret std.map.mk_hashmap[ast.def_id,V](hasher, eqer);
 }
 
+fn new_int_hash[V]() -> std.map.hashmap[int,V] {
+    fn hash_int(&int x) -> uint { ret x as uint; }
+    fn eq_int(&int a, &int b) -> bool { ret a == b; }
+    auto hasher = hash_int;
+    auto eqer = eq_int;
+    ret std.map.mk_hashmap[int,V](hasher, eqer);
+}
+
 fn istr(int i) -> str {
     ret _int.to_str(i, 10u);
 }