On 7/10/07, Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> wrote:
> Hi,

Hi,

>
> On Mon, Jul 09, 2007 at 09:22:32AM -0500, dsb@prairienet.org wrote:
>
> >   $ make stdlibr.cmo
> >   ocamlc -pp "camlp4r pa_extend.cmo q_MLast.cmo" \
> >           -I +camlp4 -c stdlibr.ml
> >   File "stdlibr.ml", line 20, characters 40-48:
> >   Unbound value Pcaml.sequence
> >   make: *** [stdlibr.cmo] Error 2

FYI in ocaml 3.10...

> Some of the grammar sub-entries used in the files defining the syntax
> (e.g. "sequence") are indeed not accessible in the Pcaml module.

In 3.10 sequence is exported (so extensible).

> The problem is that there are many of them, many small entries useful
> only in specifics parts of the grammar.

In 3.10 most of them are exported.

> These small entries may change, appear, disappear, from a version of
> camlp4 to another when new things are added in the language syntax, or
> to fix possible bugs. It is often difficult to "standardize" them.

Even if it's difficult we tend to reach a stability point and then
prefer expose these things.

> Moreover, some of these entries may be used in revised syntax and not
> in normal syntax and vice-versa, or have a different type and semantics.

In 3.10 both syntaxes share a common grammar (the revised one),
therefore there are closer in types and semantics.

Cheers,

-- 
Nicolas Pouillard