Re: [Caml-list] Partial module include

[Pierre-Etienne Meunier <pierreetienne.meunier@gmail.com>]

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
>>