Self-answer, though I'm not sure that's the prettiest way (not even sure it is even valid) :
<:ctyp< ($Ast.tySta_of_list tuple_types$) >>
ph.
Hi list,
Does someone know how to write a camlp4 quotation for types of the form 'a * 'b * 'c * 'd ... For now I could only obtain types of the form 'a * ('b * ('c * ('d * ... )...))), using a code similar to
List.fold_right
(fun x accu -> <:ctyp< $x$ * $accu$ >>)
(List.tl tuple_types)
(List.hd tuple_types)
TIA,
ph.