diff options
| author | Alain Frisch <alain@frisch.fr> | 2010-04-23 09:40:28 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2010-04-23 09:40:28 +0000 |
| commit | 0cd1451d7f1330a7f7fdf716783c96df6c37be92 (patch) | |
| tree | bf1e06ad8b13844352946d2cec17803b8e15c14c /parsing/parser.mly | |
| parent | fe9c4540195f8a82a59a0f35dbdeea4973e54bf2 (diff) | |
| download | ocaml-metadata.tar.gz | |
Adding metadata to expressions in parsetree.metadata
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/metadata@10302 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/parser.mly')
| -rw-r--r-- | parsing/parser.mly | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 43a6a4c5cf..72e35b4e71 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -25,7 +25,7 @@ let mktyp d = let mkpat d = { ppat_desc = d; ppat_loc = symbol_rloc(); ppat_metadata = [] } let mkexp d = - { pexp_desc = d; pexp_loc = symbol_rloc() } + { pexp_desc = d; pexp_loc = symbol_rloc(); pexp_metadata = [] } let mkmty d = { pmty_desc = d; pmty_loc = symbol_rloc() } let mksig d = @@ -45,7 +45,7 @@ let reloc_pat x = { x with ppat_loc = symbol_rloc () };; let reloc_exp x = { x with pexp_loc = symbol_rloc () };; let mkoperator name pos = - { pexp_desc = Pexp_ident(Lident name); pexp_loc = rhs_loc pos } + { pexp_desc = Pexp_ident(Lident name); pexp_loc = rhs_loc pos; pexp_metadata = [] } (* Ghost expressions and patterns: @@ -64,7 +64,7 @@ let mkoperator name pos = AST node, then the location must be real; in all other cases, it must be ghost. *) -let ghexp d = { pexp_desc = d; pexp_loc = symbol_gloc () };; +let ghexp d = { pexp_desc = d; pexp_loc = symbol_gloc (); pexp_metadata = [] };; let ghpat d = { ppat_desc = d; ppat_loc = symbol_gloc (); ppat_metadata = [] };; let ghtyp d = { ptyp_desc = d; ptyp_loc = symbol_gloc () };; @@ -113,8 +113,8 @@ let rec mktailexp = function loc_end = exp_el.pexp_loc.loc_end; loc_ghost = true} in - let arg = {pexp_desc = Pexp_tuple [e1; exp_el]; pexp_loc = l} in - {pexp_desc = Pexp_construct(Lident "::", Some arg, false); pexp_loc = l} + let arg = {pexp_desc = Pexp_tuple [e1; exp_el]; pexp_loc = l; pexp_metadata = [] } in + {pexp_desc = Pexp_construct(Lident "::", Some arg, false); pexp_loc = l; pexp_metadata = [] } let rec mktailpat = function [] -> @@ -1025,6 +1025,7 @@ simple_expr: { mkexp(Pexp_send($1, $3)) } | LPAREN MODULE module_expr COLON package_type RPAREN { mkexp (Pexp_pack ($3, $5)) } + | LPAREN BACKQUOTE STRING expr RPAREN { let p = $4 in {p with pexp_metadata = $3 :: p.pexp_metadata} } ; simple_labeled_expr_list: labeled_simple_expr @@ -1236,7 +1237,6 @@ simple_pattern: { mkpat(Ppat_constraint($2, $4)) } | LPAREN pattern COLON core_type error { unclosed "(" 1 ")" 5 } -/* | LPAREN simple_pattern AMPERSAND metadata RPAREN { let p = $2 in {p with ppat_metadata = p.ppat_metadata @ $4 } } */ | LPAREN BACKQUOTE STRING pattern RPAREN { let p = $4 in {p with ppat_metadata = $3 :: p.ppat_metadata} } ; |