aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe/pexp.ml
diff options
context:
space:
mode:
authorGraydon Hoare <[email protected]>2010-09-09 15:59:29 -0700
committerGraydon Hoare <[email protected]>2010-09-09 15:59:29 -0700
commita9e2327a18e782df524c14dc42910d61a4785324 (patch)
tree8763224ac3a4c11275dd64257aac47036c97c48d /src/boot/fe/pexp.ml
parentFixed lost signal notifications. (diff)
downloadrust-a9e2327a18e782df524c14dc42910d61a4785324.tar.xz
rust-a9e2327a18e782df524c14dc42910d61a4785324.zip
Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly work, possibly a little bumpy. Changes a lot.
Diffstat (limited to 'src/boot/fe/pexp.ml')
-rw-r--r--src/boot/fe/pexp.ml18
1 files changed, 0 insertions, 18 deletions
diff --git a/src/boot/fe/pexp.ml b/src/boot/fe/pexp.ml
index 75983c7f..1f04e5eb 100644
--- a/src/boot/fe/pexp.ml
+++ b/src/boot/fe/pexp.ml
@@ -270,24 +270,6 @@ and parse_atomic_ty (ps:pstate) : Ast.ty =
| IDENT _ -> Ast.TY_named (parse_name ps)
- | TAG ->
- bump ps;
- let htab = Hashtbl.create 4 in
- let parse_tag_entry ps =
- let ident = parse_ident ps in
- let tup =
- match peek ps with
- LPAREN -> paren_comma_list parse_ty ps
- | _ -> raise (err "tag variant missing argument list" ps)
- in
- htab_put htab (Ast.NAME_base (Ast.BASE_ident ident)) tup
- in
- let _ =
- bracketed_one_or_more LPAREN RPAREN
- (Some COMMA) (ctxt "tag: variant" parse_tag_entry) ps
- in
- Ast.TY_tag htab
-
| REC ->
bump ps;
let parse_rec_entry ps =