---

yaml
---
r: 975
b: refs/heads/master
c: e6b7f76
h: refs/heads/master
i:
  973: 58e0e31
  971: 92b67ba
  967: 03ee295
  959: 0db4a83
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 3e08171fc21f7fcc403aa315d8fb54f04c552841
+refs/heads/master: e6b7f763853d0d847288111e7050841e05a885f4

trunk/src/comp/front/ast.rs

@@ -153,6 +153,7 @@ tag ty_ {
     ty_box(@ty);
     ty_vec(@ty);
     ty_tup(vec[@ty]);
+    ty_rec(vec[tup(ident,@ty)]);
     ty_fn(vec[rec(mode mode, @ty ty)], @ty);        // TODO: effect
     ty_path(path, option.t[def]);
     ty_mutable(@ty);

trunk/src/comp/front/parser.rs

@@ -187,6 +187,23 @@ impure fn parse_ty(parser p) -> @ast.ty {
             t = ast.ty_tup(elems.node);
         }
 
+        case (token.REC) {
+            p.bump();
+            impure fn parse_field(parser p) -> tup(ast.ident, @ast.ty) {
+                auto ty = parse_ty(p);
+                auto id = parse_ident(p);
+                ret tup(id,ty);
+            }
+            auto f = parse_field; // FIXME: trans_const_lval bug
+            auto elems =
+                parse_seq[tup(ast.ident, @ast.ty)](token.LPAREN,
+                                                   token.RPAREN,
+                                                   some(token.COMMA),
+                                                   f, p);
+            hi = p.get_span();
+            t = ast.ty_rec(elems.node);
+        }
+
         case (token.MUTABLE) {
             p.bump();
             auto t0 = parse_ty(p);