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 /ocamldoc/odoc_man.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 'ocamldoc/odoc_man.ml')
-rw-r--r-- | ocamldoc/odoc_man.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_man.ml b/ocamldoc/odoc_man.ml index 037dee02da..3d9c0d7767 100644 --- a/ocamldoc/odoc_man.ml +++ b/ocamldoc/odoc_man.ml @@ -514,6 +514,7 @@ class man = List.iter (fun r -> bs b (if r.rf_mutable then "\n\n.B mutable \n" else "\n "); + bs b (if r.rf_focus then "\n\n.B match \n" else "\n "); bs b (r.rf_name^" : "); self#man_of_type_expr b father r.rf_type; bs b ";"; |