Hi,

On Fri, Jul 19, 2002 at 03:59:40PM +0200, Christophe TROESTLER wrote:

> P.S.  Is it possible to write a "let module A = B" (i.e., module
> renaming) in camlp4?  That is very useful when one wants to be able to
> switch between different modules with the same interface but do not
> want to open them (for name conflicts reasons for example).

It may be possible to attack this question by syntax in some cases,
but it is mainly semantics: in particular, what happens if a module
named "A" is defined further? We have to take care of "scopes", which
is semantics.

What do you mean by "switch between different modules with the same
interface"? Can you give a specific example?

-- 
Daniel de RAUGLAUDRE
daniel.de_rauglaudre@inria.fr
http://cristal.inria.fr/~ddr/
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners