Multiple value declaration in .mli file

Multiple value declaration in .mli file

[mohamed iguernelala]

[-- Attachment #1: Type: text/plain, Size: 658 bytes --]

Hello everyone,

We've just noticed that Ocaml permits to declare a value several times in an .mli file.

For example : We can write in a.mli

----
val f : int
val f : bool
----

and it compiles.

But if we define a value f in a.ml it compiles only when f's value is 'a.
From
external files, only the second declaration is visible. Then why Ocaml
allows multiple declaration for the same value in .mli files. Are there
any reason to allow it ?

------
David & Mohamed


      _____________________________________________________________________________ 
Envoyez avec Yahoo! Mail. Une boite mail plus intelligente http://mail.yahoo.fr

[-- Attachment #2: Type: text/html, Size: 900 bytes --]

Re: [Caml-list] Multiple value declaration in .mli file

[blue storm]

[-- Attachment #1: Type: text/plain, Size: 292 bytes --]

I guess you need it to mirror the value shadowing on the implementation side
:
   include Foo
   let bar = baz

This is legal if Foo already defines bar, and most of the time desired and
useful.
In the interface file you'll want to write :
  include FOO (* Foo's signature *)
  val bar : ...

[-- Attachment #2: Type: text/html, Size: 389 bytes --]