diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2015-10-16 00:13:40 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2015-10-16 00:13:40 +0000 |
| commit | e34f40ad87b04a823a0172e1399e28199f89ba68 (patch) | |
| tree | 4dd4acb3c9483188744c700041d8143e8b4f8113 /parsing/parser.mly | |
| parent | 4188f0543de0818211298ac96acfd49ad82b0b87 (diff) | |
| download | ocaml-gadt-warnings.tar.gz | |
switch to 'pat -> .' and add P/Texp_unreachablegadt-warnings
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing/parser.mly')
| -rw-r--r-- | parsing/parser.mly | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 3f20e46d2c..2f8d65f84c 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1490,8 +1490,8 @@ match_case: { Exp.case $1 $3 } | pattern WHEN seq_expr MINUSGREATER seq_expr { Exp.case $1 ~guard:$3 $5 } - | pattern MINUSGREATER UNDERSCORE - { Exp.case_lhs $1 } + | pattern MINUSGREATER DOT + { Exp.case $1 (Exp.unreachable ~loc:(rhs_loc 3) ())} ; fun_def: MINUSGREATER seq_expr { $2 } |