diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-04-10 17:44:15 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-04-10 17:44:15 +0000 |
| commit | 6e36fd566b532ae3b8a1aaa9d276d872f6e01faa (patch) | |
| tree | 26f989aa1620a189a2563c2f424b173c5c1a0a4e /otherlibs/labltk/browser | |
| parent | ee5f754a42fa42f69cc70283bb033ea2be1ce6f1 (diff) | |
Extension nodes and attributes for class types.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser')
| -rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index 8d252edbd..7dda53ba0 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -153,6 +153,7 @@ let rec search_pos_class_type cl ~pos ~env = | Pcty_fun (_, ty, cty) -> search_pos_type ty ~pos ~env; search_pos_class_type cty ~pos ~env + | Pcty_extension _ -> () end let search_pos_type_decl td ~pos ~env = |