diff options
| author | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-03-09 17:32:27 +0000 |
|---|---|---|
| committer | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-03-09 17:32:27 +0000 |
| commit | 6cde432b2c3793ca15380d4b222fb7714ae7f25e (patch) | |
| tree | cde762f39b84c2fc47ded475b55ddae62f88f892 /otherlibs/labltk/browser/searchpos.ml | |
| parent | 3fbe26df0e779cf0e7b9d8916d81061bd11d1884 (diff) | |
| download | ocaml-monadic_let.tar.gz | |
More work on typingmonadic_let
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/monadic_let@13392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/searchpos.ml')
| -rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index c2d334b019..39fa583ce5 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -745,7 +745,7 @@ and search_pos_expr ~pos exp = search_pos_expr exp' ~pos end; search_pos_expr exp ~pos - | Texp_bind (expl, exp) -> + | Texp_bind ((p,e), exp) -> List.iter expl ~f: begin fun (pat, exp') -> search_pos_pat pat ~pos ~env:exp.exp_env; |