Commit 4ba5f79f authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Take [@name] into account for data constructors.

parent cc047922
......@@ -125,8 +125,18 @@ let tyvar_visitor_function (alpha : tyvar) : variable =
(* For every data constructor [datacon], there is a descending visitor method,
which is invoked on the way down, when this data constructor is discovered. *)
let datacon_descending_method (datacon : datacon) : methode =
"visit_" ^ datacon
(* The name of this method is normally [visit_Foo] if the data constructor is
named [Foo]. This convention can be overriden by the user via a [@name]
attribute, which must be attached to the data constructor. *)
let datacon_descending_method (cd : constructor_declaration) : methode =
match name cd.pcd_attributes with
| None ->
(* No [@name] attribute. *)
let datacon = cd.pcd_name.txt in
"visit_" ^ datacon
| Some name ->
(* For every data constructor [datacon], there is a ascending visitor method,
which is invoked on the way up, in order to re-build some data structure.
......@@ -855,7 +865,7 @@ let constructor_declaration decl (cd : constructor_declaration) : case =
(ptuple (alias this (map (pconstr datacon) pss)))
(datacon_descending_method datacon)
(datacon_descending_method cd)
(map tyvar_visitor_function alphas @ env :: transmit this (flatten xss))
(quantify alphas (ty_arrows
(map visitor_param_type alphas)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment