---

yaml
---
r: 1916
b: refs/heads/master
c: 626bdaa
h: refs/heads/master
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: c67eb1a575dc09850c3b59ed15252db9cb451c11
+refs/heads/master: 626bdaaa1f44de7f398c818eaad29dedfb6e20ab

trunk/src/comp/front/creader.rs

@@ -84,6 +84,15 @@ impure fn parse_mt(@pstate st, str_def sd) -> ty.mt {
     ret rec(ty=parse_ty(st, sd), mut=mut);
 }
 
+impure fn parse_def(@pstate st, str_def sd) -> ast.def_id {
+    auto def = "";
+    while (peek(st) as char != '|') {
+        def += _str.unsafe_from_byte(next(st));
+    }
+    st.pos = st.pos + 1u;
+    ret sd(def);
+}
+
 impure fn parse_sty(@pstate st, str_def sd) -> ty.sty {
     alt (next(st) as char) {
         case ('n') {ret ty.ty_nil;}
@@ -109,18 +118,15 @@ impure fn parse_sty(@pstate st, str_def sd) -> ty.sty {
         case ('s') {ret ty.ty_str;}
         case ('t') {
             check(next(st) as char == '[');
-            auto def = "";
-            while (peek(st) as char != '|') {
-                def += _str.unsafe_from_byte(next(st));
-            }
-            st.pos = st.pos + 1u;
+            auto def = parse_def(st, sd);
             let vec[@ty.t] params = vec();
             while (peek(st) as char != ']') {
                 params += vec(parse_ty(st, sd));
             }
             st.pos = st.pos + 1u;
-            ret ty.ty_tag(sd(def), params);
+            ret ty.ty_tag(def, params);
         }
+        case ('p') {ret ty.ty_param(parse_def(st, sd));}
         case ('@') {ret ty.ty_box(parse_mt(st, sd));}
         case ('V') {ret ty.ty_vec(parse_mt(st, sd));}
         case ('P') {ret ty.ty_port(parse_ty(st, sd));}

trunk/src/comp/middle/metadata.rs

@@ -123,7 +123,7 @@ fn sty_str(ty.sty st, def_str ds) -> str {
         }
         case (ty.ty_var(?id)) {ret "X" + common.istr(id);}
         case (ty.ty_native) {ret "E";}
-        case (ty.ty_param(?def)) {ret "p" + ds(def);}
+        case (ty.ty_param(?def)) {ret "p" + ds(def) + "|";}
         case (ty.ty_type) {ret "Y";}
     }
 }

trunk/src/test/run-pass/lib-bitv.rs

@@ -1,4 +1,3 @@
-// xfail-stage0
 use std;
 import std._vec;
 import std.bitv;