[Caml-list] Problems building a library, types go missing

[Goswin von Brederlow <goswin-v-b@web.de>]

Hi,

I'm trying to build a library in one of 2 ways out of
seperate modules. All files are available via git from

https://github.com/mrvn/ocam-problems/tree/functor-in-lib-problem
git clone git@github.com:mrvn/ocam-problems.git

The first library works and uses these files:

internal/IntFoo.ml	: implement module T
internal/IntWorks.ml    : declare module type T_t and functor taking a T_t
lib/works.ml            : library mapping internal to external modules
test/test1.ml		: test functor with local module
test/test2.ml		: test functor with libraries module
test/test3.ml		: test privatness of internal module (MUST FAIL)
test/test4.ml		: test3 with too many includes (SHOULD FAIL)

and the second fails and uses there files:

internal/IntFoo_t.ml    : declare module type T_t
internal/IntFoo.ml      : implement module T
internal/IntFails.ml    : functor taking a IntFoo_t.T_t
lib/fails.ml		: library mapping internal to external modules
test/test5.ml		: test functor with local module (FAILS)
test/test6.ml		: test functor with libraries module (FAILS)
test/test7.ml		: test privatness of internal module (MUST FAIL)
test/test8.ml		: test7 with too many includes (SHOULD FAIL)


Now my question is: Why does the Fails.Foo_t.T_t type get lost all of
a sudden unless I include the internal directory in the search path?

MfG
	Goswin