Re: [Caml-list] Partial module include

[David House <dhouse@janestreet.com>]

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
>