[LLVMdev] [PATCH] Make sure ocamldep runs on all .mli files.

Erick Tryzelaar idadesub at users.sourceforge.net
Tue Mar 4 09:19:58 PST 2008


On Tue, Mar 4, 2008 at 6:54 AM, Gordon Henriksen
<gordonhenriksen at mac.com> wrote:
>  Not sure how an .mli without a corresponding .ml would be useful, so I
>  left this bit.

If you've got a module that only defines a type with no function
definitions, you don't need the .ml file:

foo.ml:
let foo = Bar.A

bar.mli:
type t = A | B

> ocamlc bar.mli
> ocamlc foo.ml
>

In my eventual patch to switch over to using packed modules, I was
thinking about making a TypeKind.mli that has just the type interface.
However, I think I'd prefer to actually have this in the Type.ml{,i}
files, but that would break source compatibility.



More information about the llvm-dev mailing list