diff options
Diffstat (limited to 'src/comp/front/ast.rs')
| -rw-r--r-- | src/comp/front/ast.rs | 9 |
1 files changed, 9 insertions, 0 deletions
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, |