diff options
| author | Alain Frisch <alain@frisch.fr> | 2012-07-18 12:29:54 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2012-07-18 12:29:54 +0000 |
| commit | e9386ad8ed2f8053097f55743f87fdfc8d57792b (patch) | |
| tree | 8eaeed0247c65adda15a5a441ddcd72bc1f4ffc6 /typing/oprint.ml | |
| parent | 24514dc5b14d29c8f1ec736c5cfbd3194a35db59 (diff) | |
| download | ocaml-autofocus.tar.gz | |
New modifier in record declaration (after 'mutable'): 'match'. This enables autofocus for patterns which are not wildcard, variable, alias, constraint, or-pattern.autofocus
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/autofocus@12728 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/oprint.ml')
| -rw-r--r-- | typing/oprint.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/oprint.ml b/typing/oprint.ml index e894027376..30c94daa33 100644 --- a/typing/oprint.ml +++ b/typing/oprint.ml @@ -449,8 +449,8 @@ and print_out_constr ppf (name, tyl,ret_type_opt) = end -and print_out_label ppf (name, mut, arg) = - fprintf ppf "@[<2>%s%s :@ %a@];" (if mut then "mutable " else "") name +and print_out_label ppf (name, mut, focus, arg) = + fprintf ppf "@[<2>%s%s%s :@ %a@];" (if mut then "mutable " else "") (if focus then "match " else "") name !out_type arg let _ = out_module_type := print_out_module_type |