From 596face2745ccc11a959a530807ea3e36e9d1354 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Fri, 4 Mar 2011 14:15:19 -0800
Subject: Parse (and generally ignore) constraints and constrained types.

---
 src/comp/front/ast.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/comp/front/ast.rs')

diff --git a/src/comp/front/ast.rs b/src/comp/front/ast.rs
index e9dee7ec..a8bf4b00 100644
--- a/src/comp/front/ast.rs
+++ b/src/comp/front/ast.rs
@@ -231,8 +231,17 @@ tag ty_ {
     ty_path(path, option.t[def]);
     ty_mutable(@ty);
     ty_type;
+    ty_constr(@ty, vec[@constr]);
 }
 
+tag constr_arg_ {
+    carg_base;
+    carg_ident(ident);
+}
+type constr_arg = spanned[constr_arg_];
+type constr_ = rec(path path, vec[@constr_arg] args);
+type constr = spanned[constr_];
+
 type arg = rec(mode mode, @ty ty, ident ident, def_id id);
 type fn_decl = rec(effect effect,
                    vec[arg] inputs,
-- 
cgit v1.2.3