Version française
Home     About     Download     Resources     Contact us    
Browse thread
Same label in different types, how do people solve this?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Nicolas barnier <barnier@r...>
Subject: Re: Same label in different types, how do people solve this?
Sven LUTHER wrote:
>
> > The last solution might be nicer if we had a
> >     let open Module in
> > construct (would require 10 lines in the compiler)
> 
> Is this not already possible ? i read about something similar in the docs
> somewhere ...

I'm afraid not. But you can define local modules as a language extension:

7.6   Local modules

The expression let module module-name = module-expr in expr locally binds the
module expression module-expr to the identifier module-name during the evaluation
of the expression expr. It then returns the value of expr.

-- Nicolas