diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-12-16 17:34:23 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-12-16 17:34:23 +0000 |
| commit | ac5cbb7913a3e260a8d48a1a41d6350e5cf53664 (patch) | |
| tree | 44b0ad1c08560f3afd88c204ebeed9a91d84a3d1 /parsing | |
| parent | 33f6c2c78b8d63d3160d91ed046592523a33c360 (diff) | |
#5808: allow simple patterns, not only identifiers, in 'let p : t = ...'.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14362 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/parser.mly | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 3bb662087..f08afc21d 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1248,6 +1248,8 @@ let_binding_: (ghpat(Ppat_constraint(mkpatvar $1 1, poly)), exp) } | pattern EQUAL seq_expr { ($1, $3) } + | simple_pattern_not_ident COLON core_type EQUAL seq_expr + { (ghpat(Ppat_constraint($1, $3)), $5) } ; fun_binding: strict_binding @@ -1356,6 +1358,9 @@ pattern: simple_pattern: val_ident %prec below_EQUAL { mkpat(Ppat_var (mkrhs $1 1)) } + | simple_pattern_not_ident { $1 } +; +simple_pattern_not_ident: | UNDERSCORE { mkpat(Ppat_any) } | signed_constant |