On Wed, 2007-03-14 at 14:11 +0100, Nicolas Pouillard wrote:

> > There's no easy.ml, only easy.mli. Does this change anything?

> Yep that's all the difference. That's no more an ocamlbuild problem :)

> $ cat foo.mli
> type t = A | B
> $ cat bar.ml
> module F = Foo
> type t = F.t
> 
> $ ocamlc -c foo.mli
> $ ocamlc bar.ml
> Error while linking bar.cmo: Reference to undefined global `Foo'
> 
> Perhaps a bug ?

It's a 'bug' in Ocaml:

skaller@rosella:/work/felix/svn/felix/felix/trunk$ cat bar.ml
type t = Foo.t

skaller@rosella:/work/felix/svn/felix/felix/trunk$ ocamlc bar.ml

That links fine -- why would you expect introducing
an alias to change the compilation requirements?



-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net