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/btype.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/btype.ml')
| -rw-r--r-- | typing/btype.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/btype.ml b/typing/btype.ml index 729ae44cda..0504e7f2df 100644 --- a/typing/btype.ml +++ b/typing/btype.ml @@ -346,7 +346,7 @@ let unmark_type_decl decl = Misc.may unmark_type ret_type_opt) cstrs | Type_record(lbls, rep) -> - List.iter (fun (c, mut, t) -> unmark_type t) lbls + List.iter (fun (c, mut, focus, t) -> unmark_type t) lbls end; begin match decl.type_manifest with None -> () |