diff options
author | Alain Frisch <alain@frisch.fr> | 2013-03-06 13:51:18 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2013-03-06 13:51:18 +0000 |
commit | 97c5f1a2530d0de9b1ee9f0088a550ceefbcde59 (patch) | |
tree | ed7615eb84147dc8bb730ee264cabd222ee62eb0 /ocamldoc | |
parent | cb3b398308cb1225e22e7eaac58a8394ac4ae085 (diff) | |
download | ocaml-97c5f1a2530d0de9b1ee9f0088a550ceefbcde59.tar.gz |
Attributes on label in record type declarations.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13361 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc')
-rw-r--r-- | ocamldoc/odoc_sig.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/ocamldoc/odoc_sig.ml b/ocamldoc/odoc_sig.ml index 37dbe190ee..5a6d0cf5b5 100644 --- a/ocamldoc/odoc_sig.ml +++ b/ocamldoc/odoc_sig.ml @@ -196,15 +196,16 @@ module Analyser = f [] cons_core_type_list_list | Parsetree.Ptype_record name_mutable_type_list (* of (string * mutable_flag * core_type) list*) -> + let open Parsetree in let rec f = function [] -> [] - | (name, _, ct, xxloc) :: [] -> + | {pld_name=name; pld_type=ct} :: [] -> let pos = ct.Parsetree.ptyp_loc.Location.loc_end.Lexing.pos_cnum in let s = get_string_of_file pos pos_end in let (_,comment_opt) = My_ir.just_after_special !file_name s in [name.txt, comment_opt] - | (name,_,ct,xxloc) :: ((name2,_,ct2,xxloc2) as ele2) :: q -> + | {pld_name=name; pld_type=ct} :: ({pld_name=name2; pld_type=ct2} as ele2) :: q -> let pos = ct.Parsetree.ptyp_loc.Location.loc_end.Lexing.pos_cnum in let pos2 = ct2.Parsetree.ptyp_loc.Location.loc_start.Lexing.pos_cnum in let s = get_string_of_file pos pos2 in |