Re: [Caml-list] Partial module include

[David House <dhouse@janestreet.com>]

Ah, no, that cannot be done. Shadowing of modules is mysteriously
disallowed :) (I suspect there is a good reason for this, but I
confess I don't know it.)

If you say what you want to do with a bit more context, there might be
a decent workaround.

On Fri, Sep 21, 2012 at 5:43 PM, Pierre-Etienne Meunier
<pierreetienne.meunier@gmail.com> wrote:
> No, sorry, what I wanted to override was a module:
>
> module A=struct
>        let a=0
>        module B=struct let b=1 end
> end
>
> module B=struct
>        include A
>        module B=struct let b=2 end
> end
>
>
> Em 21/09/2012, às 18:41, David House escreveu:
>
>> Sure. That exact code will work just fine.
>>
>> It's a special case of "shadowing", where bindings override any
>> previous ones, for the duration of their scope. E.g.:
>>
>> let x = 5 in
>> let x = 4 in
>> (* here x is 4 *)
>>
>> also:
>>
>> let x = 5 in
>> let () =
>>  let x = 4 in
>>  printf "%d " x
>> in
>> printf "%d\n" x
>>
>> Prints "4 5", because the inner binding only has effect during the
>> time that it is in scope, and afterwards the original binding is
>> "uncovered" again.
>>
>> On Fri, Sep 21, 2012 at 5:37 PM, Pierre-Etienne Meunier
>> <pierreetienne.meunier@gmail.com> wrote:
>>> Hi,
>>>
>>> Is it possible in ocaml to redefine a part of an included module, like in the following code ?
>>>
>>> module A=struct
>>>        let a=0
>>>        let b=1
>>> end
>>>
>>> module B=struct
>>>        include A
>>>        let b=2
>>> end
>>>
>>>
>>> Thanks
>>> Pierre
>>> --
>>> Caml-list mailing list.  Subscription management and archives:
>>> https://sympa-roc.inria.fr/wws/info/caml-list
>>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>>>
>
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>