diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2009-10-22 07:28:04 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2009-10-22 07:28:04 +0000 |
| commit | 910b9b83478a8dedf84c38591d187319e69d3b31 (patch) | |
| tree | 3e31a31e468751389795eb2b9751686c38c755b1 /parsing | |
| parent | c8dd8f9863cb9ed8346238af5c8525fd8753264a (diff) | |
| download | ocaml-910b9b83478a8dedf84c38591d187319e69d3b31.tar.gz | |
seems to work! (see end of testlabl/poly.ml)
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/polyrec@9389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/parser.mly | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 761b5a9741..79dbd5052e 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1012,6 +1012,10 @@ let_bindings: let_binding: val_ident fun_binding { ({ppat_desc = Ppat_var $1; ppat_loc = rhs_loc 1}, $2) } + | val_ident COLON typevar_list DOT core_type EQUAL seq_expr + { (ghpat(Ppat_constraint({ppat_desc = Ppat_var $1; ppat_loc = rhs_loc 1}, + ghtyp(Ptyp_poly($3,$5)))), + $7) } | pattern EQUAL seq_expr { ($1, $3) } ; |