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-04-30 (21:16)
From: Joel Reymont <joelr1@g...>
Subject: Re: Upgrading sexplib-2.7.0 to camlp4 3.10
     | <:ctyp< $id:id$ >> ->
       (match id with
          | <:ident< $tp1$ . $tp2$ >> ->
            (match tp_path tp2 with [n] -> n | _ -> assert false) ::  
tp_path tp1
          | _ -> invalid_arg "tp_path")

<:ident ... >> above apparently made tp1 and tp2 into idents. How do  
I convert them to ctyp as the error below requires?

This expression has type
   Camlp4.PreCast.Syntax.Ast.ident = Camlp4.PreCast.Ast.ident
but is here used with type
   Camlp4.PreCast.Syntax.Ast.ctyp = Camlp4.PreCast.Ast.ctyp

--
http://wagerlabs.com/