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 /debugger/eval.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 'debugger/eval.ml')
| -rw-r--r-- | debugger/eval.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/eval.ml b/debugger/eval.ml index 1e84d92081..c170e3378a 100644 --- a/debugger/eval.ml +++ b/debugger/eval.ml @@ -148,7 +148,7 @@ let rec expression event env = function and find_label lbl env ty path tydesc pos = function [] -> raise(Error(Wrong_label(ty, lbl))) - | (name, mut, ty_arg) :: rem -> + | (name, mut, _, ty_arg) :: rem -> if Ident.name name = lbl then begin let ty_res = Btype.newgenty(Tconstr(path, tydesc.type_params, ref Mnil)) |