---

yaml
---
r: 15327
b: refs/heads/try
c: c0d6179
h: refs/heads/master
i:
  15325: b9023d1
  15323: c480b33
  15319: d865fd9
  15311: 64bc4c3
  15295: 1bb74ec
v: v3

Author: nikomatsakis

[refs]

@@ -2,5 +2,5 @@
 refs/heads/master: 61b1875c16de39c166b0f4d54bba19f9c6777d1a
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 4a81779abd786ff22d71434c6d9a5917ea4cdfff
-refs/heads/try: d961f054c509db98a57011c1bb7aa1b14492f12f
+refs/heads/try: c0d61795defc83fd696971880d60f438a1837f0d
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105

branches/try/src/rustc/metadata/tydecode.rs

@@ -265,7 +265,9 @@ fn parse_ty(st: @pstate, conv: conv_did) -> ty::t {
         st.pos = st.pos + 1u;
         ret ty::mk_res(st.tcx, def, inner, params);
       }
-      'X' { ret ty::mk_var(st.tcx, parse_int(st)); }
+      'X' {
+        ret ty::mk_var(st.tcx, ty::ty_vid(parse_int(st) as uint));
+      }
       'Y' { ret ty::mk_type(st.tcx); }
       'C' {
         let ck = alt check next(st) {

branches/try/src/rustc/metadata/tyencode.rs

@@ -5,6 +5,7 @@ import std::map::hashmap;
 import syntax::ast::*;
 import driver::session::session;
 import middle::ty;
+import middle::ty::vid;
 import syntax::print::pprust::*;
 import middle::trans::reachable;
 
@@ -99,23 +100,46 @@ fn enc_mt(w: io::writer, cx: @ctxt, mt: ty::mt) {
     }
     enc_ty(w, cx, mt.ty);
 }
+fn enc_bound_region(w: io::writer, br: ty::bound_region) {
+    alt br {
+      ty::br_self { w.write_char('s') }
+      ty::br_anon { w.write_char('a') }
+      ty::br_param(id, s) {
+        w.write_char('[');
+        w.write_uint(id);
+        w.write_char('|');
+        w.write_str(s);
+        w.write_char(']')
+      }
+    }
+}
 fn enc_region(w: io::writer, r: ty::region) {
     alt r {
-        ty::re_block(nid) {
-            w.write_char('b'); w.write_int(nid); w.write_char('|');
-        }
-        ty::re_self {
-            w.write_char('s');
-        }
-        ty::re_inferred {
-            w.write_char('i');
-        }
-        ty::re_param(id) {
-            w.write_char('p'); w.write_uint(id); w.write_char('|');
-        }
-        ty::re_var(id) {
-            w.write_char('v'); w.write_uint(id); w.write_char('|');
-        }
+      ty::re_bound(br) {
+        w.write_char('b');
+        enc_bound_region(w, br);
+      }
+      ty::re_free(id, br) {
+        w.write_char('f');
+        w.write_char('[');
+        w.write_int(id);
+        w.write_char('|');
+        enc_bound_region(w, br);
+        w.write_char(']');
+      }
+      ty::re_scope(nid) {
+        w.write_char('s');
+        w.write_int(nid);
+        w.write_char('|');
+      }
+      ty::re_default {
+        w.write_char('i');
+      }
+      ty::re_var(id) {
+        w.write_char('v');
+        w.write_uint(id.to_uint());
+        w.write_char('|');
+      }
     }
 }
 fn enc_sty(w: io::writer, cx: @ctxt, st: ty::sty) {
@@ -199,7 +223,10 @@ fn enc_sty(w: io::writer, cx: @ctxt, st: ty::sty) {
         for t: ty::t in tps { enc_ty(w, cx, t); }
         w.write_char(']');
       }
-      ty::ty_var(id) { w.write_char('X'); w.write_str(int::str(id)); }
+      ty::ty_var(id) {
+        w.write_char('X');
+        w.write_uint(id.to_uint());
+      }
       ty::ty_param(id, did) {
         w.write_char('p');
         w.write_str(cx.ds(did));