English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Upgrading sexplib-2.7.0 to camlp4 3.10
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-05-01 (13:54)
From: Joel Reymont <joelr1@g...>
Subject: Re: Upgrading sexplib-2.7.0 to camlp4 3.10

On May 1, 2007, at 2:35 PM, Nicolas Pouillard wrote:

> So where you see (p, e) you can write <:binding< $p$ = $e$ >>.

I took care of the issue by using the above at the source that  
generated bindings.

In the same sexp_of_tuple there's

     let matching =
         <:patt< ( $list:patts$ ) >>,
     `Match [matching]

which gives the following error on $list:patts$

This expression has type Camlp4.PreCast.Syntax.Ast.patt list
but is here used with type Camlp4.PreCast.Syntax.Ast.ident list

patts is [patt] where "patt = idp _loc name" and "idp _loc id =  
<:patt< $lid:id$ >>"

I'm guessing that $list always represents "ident list" so it can't be  
used here.

What should be used instead?

	Thanks, Joel