I think I missed the point after getting confused by the comments and  
that $tup:Ast.tySta_of_list tl$.

It looks like just <:ctyp< $tup:t$ >>  is needed, my apologies for  
the confusion!

On Apr 30, 2007, at 3:34 PM, Joel Reymont wrote:

>       | Tuple l ->
>           (* (* Development version post-3.10.0+beta: *)
>              let tl = List.map convert l in
>              <:ctyp< ( $tup:Ast.tySta_of_list tl$ ) >> *)
>           let t =
>             List.fold_right
>               (fun x tup -> <:ctyp< $convert x$ * $tup$ >>)
>               l <:ctyp< >> in
>           <:ctyp< $tup:t$ >>

--
http://wagerlabs.com/