On Aug 23, 2005, at 20:05, Jacques Carette wrote:

> Actually, the whole point of this question is that I want to  
> redefine/override them
> - and I wanted to find out which I could not.  I know I can  
> override + if I want,
> I want to know about the ones like :: which have a pre-defined  
> meaning but can not
> be overridden.

Maybe I'm overlooking something, but I think the ones in the  
"keywords" list
are the ones that you cannot or should not override.

> The point is to see how much of a DSL I can create in Ocaml, using  
> Ocaml syntax,
> by using lots of Functors.  Very much in the spirit of the Lua-ML  
> interpreter in
> fact, except that I want to use Caml syntax rather than having to  
> parse a new
> language.

If it's a DSL that includes OCaml as a sublanguage, I think at some  
point you
will have users who want to use the OCaml features that you are hiding.

-- Damien