Browse thread
Camlp5 release 5.03
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Daniel de Rauglaudre <daniel.de_rauglaudre@i...> |
| Subject: | Re: [Caml-list] Camlp5 release 5.03 |
Hi, 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 http://pauillac.inria.fr/~ddr/