camlp4 3.10.0 and Camlp4.PreCast.Ast.ident in tuples

camlp4 3.10.0 and Camlp4.PreCast.Ast.ident in tuples

[Richard Jones]

This code used to work in OCaml 3.09, but not in 3.10.  I don't really
understand what's going on, but I want to build a tuple here, so I'm
not sure how it could force me to use idents instead of exprs.

      let convert =
	(* Avoid generating a single-element tuple. *)
	match conversions with
	| [] -> <:expr< () >>
	| [a] -> <:expr< $a$ >>
	| conversions ->
	    <:expr< ( $list:conversions$ ) >> in   <---

      <:expr<
	let rows = $expr$ in
	let original_query = $str:query$ in
	List.map (
	  fun row ->
	    match row with
	      [ $list$ -> $convert$

File "pa_pgsql.ml4", line 335, characters 18-29:
This expression has type Camlp4.PreCast.Ast.expr list
but is here used with type Camlp4.PreCast.Ast.ident list

("conversions" is a list of expr.)

How is the Camlp4 3.10 manual progressing?

Rich.

-- 
Richard Jones
Red Hat

Re: [Caml-list] camlp4 3.10.0 and Camlp4.PreCast.Ast.ident in tuples

[Bruno De Fraine]

On 03 Sep 2007, at 16:22, Richard Jones wrote:

>       let convert =
> 	(* Avoid generating a single-element tuple. *)
> 	match conversions with
> 	| [] -> <:expr< () >>
> 	| [a] -> <:expr< $a$ >>
> 	| conversions ->
> 	    <:expr< ( $list:conversions$ ) >> in   <---

I think this has been answered before. E.g. see this message and the  
reply from Nicolas:

http://caml.inria.fr/pub/ml-archives/caml-list/ 
2007/04/6ed141fb8ef02d20b4a0589f11f7817b.en.html

Regards,
Bruno

--
Bruno De Fraine
Vrije Universiteit Brussel
Faculty of Applied Sciences, DINF - SSEL
Room 4K208, Pleinlaan 2, B-1050 Brussels
tel: +32 (0)2 629 29 75
fax: +32 (0)2 629 28 70
e-mail: Bruno.De.Fraine@vub.ac.be