On Wed, 20 Mar 2002, Gerd Stolpmann wrote:

> Oh, sorry, I was here on the wrong track. Adding a function does not
> break functor applications. Is there any case where module signatures
> must exactly match?

I'm not sure this answer the question, but for instance, if you have:

a.ml empty

b.ml:
let f x = x +. 1.
include A

b.mli:
val f: float -> float


then you are not allowed to add:

let f x = x + 1

to a.ml


-- Alain

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners