let tuplify_exprs _loc = function
   | [] -> assert false
   | [expr] -> expr
   | exprs -> <:expr< ( $list:exprs$ ) >>

This gives

File "pa_sexp_conv.ml", line 61, characters 26-31:
This expression has type Camlp4.PreCast.Syntax.Ast.expr list
but is here used with type Camlp4.PreCast.Syntax.Ast.ident list

Previously, I replaced $list:tys$ with $tup:tys$ in the ctyp context.

What do I need to use above?

	Thanks, Joel

--
http://wagerlabs.com/