From c17964c06d24300e5f9073f0b7ab4ffaffd78a89 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Mon, 20 Sep 2010 20:19:22 -0700 Subject: Use name_base in plval base. --- src/boot/fe/pexp.ml | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) (limited to 'src/boot/fe/pexp.ml') diff --git a/src/boot/fe/pexp.ml b/src/boot/fe/pexp.ml index 58a64474..ec4053c6 100644 --- a/src/boot/fe/pexp.ml +++ b/src/boot/fe/pexp.ml @@ -559,13 +559,13 @@ and parse_bottom_pexp (ps:pstate) : Ast.pexp = (Some COMMA) parse_ty) ps in let bpos = lexpos ps in - span ps apos bpos (Ast.PEXP_lval (Ast.PLVAL_app (i, tys))) + span ps apos bpos (Ast.PEXP_lval (Ast.PLVAL_base (Ast.BASE_app (i, tys)))) end | _ -> begin let bpos = lexpos ps in - span ps apos bpos (Ast.PEXP_lval (Ast.PLVAL_ident i)) + span ps apos bpos (Ast.PEXP_lval (Ast.PLVAL_base (Ast.BASE_ident i))) end end @@ -960,13 +960,8 @@ let rec desugar_lval (ps:pstate) (pexp:Ast.pexp) let (apos, bpos) = (s.lo, s.hi) in match pexp.node with - Ast.PEXP_lval (Ast.PLVAL_ident ident) -> - let nb = span ps apos bpos (Ast.BASE_ident ident) in - ([||], Ast.LVAL_base nb) - - | Ast.PEXP_lval (Ast.PLVAL_app (ident, tys)) -> - let nb = span ps apos bpos (Ast.BASE_app (ident, tys)) in - ([||], Ast.LVAL_base nb) + Ast.PEXP_lval (Ast.PLVAL_base nb) -> + ([||], Ast.LVAL_base (span ps apos bpos nb)) | Ast.PEXP_lval (Ast.PLVAL_ext_name (base_pexp, comp)) -> let (base_stmts, base_atom) = desugar_expr_atom ps base_pexp in -- cgit v1.2.3