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 | |
| parent | 33f6c2c78b8d63d3160d91ed046592523a33c360 (diff) | |
| download | ocaml-ac5cbb7913a3e260a8d48a1a41d6350e5cf53664.tar.gz | |
#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
| -rw-r--r-- | Changes | 1 | ||||
| -rw-r--r-- | parsing/parser.mly | 5 |
2 files changed, 6 insertions, 0 deletions
@@ -63,6 +63,7 @@ Features wishes: - PR#6071: Add a -noinit option to the toplevel (patch by David Sheets) - PR#6166: document -ocamldoc option of ocamlbuild - PR#6246: allow wilcard _ as for-loop index +- PR#5808: allow simple patterns, not only identifiers, in "let p : t = ..." OCaml 4.01.1: ------------- diff --git a/parsing/parser.mly b/parsing/parser.mly index 3bb6620876..f08afc21dc 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 |