diff options
| author | Jacques Le Normand <rathereasy@gmail.com> | 2010-11-12 09:41:49 +0000 |
|---|---|---|
| committer | Jacques Le Normand <rathereasy@gmail.com> | 2010-11-12 09:41:49 +0000 |
| commit | d2fedeb703120030ff3c204630e1d20e89bf591c (patch) | |
| tree | b5ee65f1437de57bdbcd8d95a177b3bc2dfc2828 | |
| parent | e67c5db33f7d2146c6bfd78bf90b436b4b0ceb98 (diff) | |
updated addlabels.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10797 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | tools/addlabels.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/addlabels.ml b/tools/addlabels.ml index 6a297b9e8..b9e4b7f5b 100644 --- a/tools/addlabels.ml +++ b/tools/addlabels.ml @@ -54,11 +54,11 @@ let rec pattern_vars pat = | Ppat_tuple l | Ppat_array l -> List.concat (List.map pattern_vars l) - | Ppat_construct (_, Some pat, _) + | Ppat_construct (_, Some pat, _, _) | Ppat_variant (_, Some pat) | Ppat_constraint (pat, _) -> pattern_vars pat - | Ppat_record(l, _) -> + | Ppat_record(l, _, _) -> List.concat (List.map l ~f:(fun (_,p) -> pattern_vars p)) | Ppat_or (pat1, pat2) -> pattern_vars pat1 @ pattern_vars pat2 |