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
Camlp5 release 5.03
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-11-20 (12:47)
From: Daniel de Rauglaudre <daniel.de_rauglaudre@i...>
Subject: Re: [Caml-list] Camlp5 release 5.03

On Tue, Nov 20, 2007 at 12:33:12PM +0100, David Teller wrote:
> By quickly browsing the documentation, I haven't been able to understand
> the core of the difference between camlp4 and camlp5. I mean, there's a
> Pcaml module which seems to have disappared from camlp4 in 3.10, but I
> assume that's not where it ends. Could you tell us a bit more about it ?

Camlp5 is the continuation of the classical Camlp4.

At OCaml 3.10, Camlp4 was changed, with some incompatible features,
sometimes implying many changes in user programs. A solution is to
use Camlp5. Some softwares, e.g. "Coq", adopted this solution.

Daniel de Rauglaudre