A few days ago Jacques-Pascal Deplaix came to ask me this question: when using the
include trick to override some definition in a module, how can we also override some definition in a submodule? The answer is short – just scroll to the last code block – and may be of interest to some readers.
The proposed use-case is the following: you want to write code that looks like it uses the module
List from the standard library, but in fact the functions
tl are the variants that return
option values, because you like that style better than catching exceptions.
There is a rather well-known trick to do that, which is to prepend the following code at the beginning of your source, or in a separate
My_std module you always open first.
However, you may run into problem if the definition you want to override is not directly in the module, but some of its submodule. Let’s consider the following code:
Suppose I want to replace
Toto.Tata.y to be of type
string rather than
int. The obvious thing doesn’t work.
Error: Multiple definition of the module name Tata. Names must be unique in a given structure or signature.
The problem is that, while OCaml will let you shadow an existing
let declaration, it does not accept declaring other sorts of declarations (types, modules, module types…) twice in the same module. Here a
Tata submodule is created in
Totoverride first at the
include Toto point, and then for a second time explicitly.
One manual solution is to use a signature ascription to remove the
Tata submodule from
Toto at include time.
The problem with this solution is that you have to repeat most
Toto’s signature, which leads to a painful maintenance burden. Not only will changes in
Toto’s definition (addition of new fields) require changes in this place, but the compiler will not tell you when such changes happen,
Totoverride will just be incomplete with respect to
module type of and Destructive substitution
Destructive substitution (
with .. := ...) is a newish feature of the OCaml language, as it was added in 3.12 – released in summer 2010. The documentation in the manual is extremely clear and provides good examples, so if you don’t know about it you should just go read it now.
module type of was also added in 3.12, and lets you speak about the interface of a module without defining it explicitly:
module type of Foo is an interface that
There are subtleties about the semantics of both these constructions, so you should not abuse them unless you want to read papers about module systems – you probably don’t – to understand why your code doesn’t type-check. However, they can be combined in a perfectly reasonable way to remove some type or submodules of a module at inclusion time:
module type of Foo with type t := Foo.t is the signature of
Foo, minus the type
t, and the same thing works for
with module. This lets us solve our module overriding problem:
Completeness is always hard
This is a neat trick to have in your toolbox, but you should know that it may not satisfy all your module overriding drives. You can remove type and module from a signature, but there are a lot of other OCaml signature items that don’t have a corresponding destructive subtitution: module types, classes, class types and exceptions.
The problem is that it’s not always clear what the intended semantics of destructive substitution should be. For example, I’m not really sure what destructive substitution of exception declarations would mean – exceptions are a kind of blind spot as they don’t appear in types. But in any case, if you try to override everything, you’ll run into this incompleteness and go add your lament to the feature request PR#5460, “Replace/rename/remove module types”.
To be honest, the signature language grows pieces by pieces as needs are justified (and semantics are understood), so it’s not particularly surprising that it is not complete. There was a notable attempt by Norman Ramsey in 2001 to think about what a more self-sufficient signature languages should be, Towards a Calculus of Signatures – with, I just found out, a draft implementation by Jürgen Pfitzenmaier). The good news is that probably the most important construct (destructive substitution of types) has been integrated since, but otherwise things are going at their own pace.