diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-04-16 08:59:09 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-04-16 08:59:09 +0000 |
| commit | ecb088015f66fc880c52e5c8b921e11330c5a1cd (patch) | |
| tree | b3b153a193c9b939c5a2be752aab98f180773b42 /otherlibs | |
| parent | da659396416acc512df6529085f8984ef4d7208b (diff) | |
Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to be coherent with Ptyp_arrow.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs')
| -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 1d03f3bfe..0434fd0e8 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -151,7 +151,7 @@ let rec search_pos_class_type cl ~pos ~env = end | Pctf_extension _ -> () end) - | Pcty_fun (_, ty, cty) -> + | Pcty_arrow (_, ty, cty) -> search_pos_type ty ~pos ~env; search_pos_class_type cty ~pos ~env | Pcty_extension _ -> () |