From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <goswin-v-b@web.de>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 7F57E81799
	for <caml-list@sympa.inria.fr>; Sun, 28 Jul 2013 02:13:17 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  goswin-v-b@web.de) identity=pra; client-ip=212.227.17.12;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="goswin-v-b@web.de";
  x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  goswin-v-b@web.de) identity=mailfrom;
  client-ip=212.227.17.12;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="goswin-v-b@web.de";
  x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mout.web.de) identity=helo;
  client-ip=212.227.17.12;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="goswin-v-b@web.de";
  x-sender="postmaster@mout.web.de";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArMBAORg9FHU4xEMm2dsb2JhbABagzu4cYZMFg4BAQEBAQYLCwkUKIJlezQFKCETh30BFgiYJpY8H4kWjS6FbG8Dl16BKoRnjlI
X-IPAS-Result: ArMBAORg9FHU4xEMm2dsb2JhbABagzu4cYZMFg4BAQEBAQYLCwkUKIJlezQFKCETh30BFgiYJpY8H4kWjS6FbG8Dl16BKoRnjlI
X-IronPort-AV: E=Sophos;i="4.89,759,1367964000"; 
   d="scan'208";a="27609630"
Received: from mout.web.de ([212.227.17.12])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 28 Jul 2013 02:13:16 +0200
Received:  from frosties.localnet ([95.208.119.3]) by smtp.web.de (mrweb103)
 with ESMTPSA (Nemesis) id 0LeLSr-1UILbd1OQP-00q8qm for <caml-list@inria.fr>;
 Sun, 28 Jul 2013 02:13:16 +0200
Received: from mrvn by frosties.localnet with local (Exim 4.80)
	(envelope-from <goswin-v-b@web.de>)
	id 1V3Ebr-0001p0-Qq
	for caml-list@inria.fr; Sun, 28 Jul 2013 02:13:15 +0200
Date: Sun, 28 Jul 2013 02:13:15 +0200
From: Goswin von Brederlow <goswin-v-b@web.de>
To: caml users <caml-list@inria.fr>
Message-ID: <20130728001315.GA6534@frosties>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.5.21 (2010-09-15)
X-Provags-ID:  V03:K0:anq7JbpxmO5Pyy5GZ7wTf/KXS1XpLT0F/0+7w2HNVM4wLELleu+
 sOYzoOPXHolAbjgrz6ltKxqdbDtpZ+9/5JAvWSsdAKEyccYGxL9O+eTvgX25gajkDw737RY
 9LIoz9xfC4IVcSeeW6Hv5Z+1MIk9Id4LjsPS4NwcZY50L76fjgtVMUUYDfwN6AxR1DHaxZv
 mc9EUGSzettkbAxdOKFaw==
Subject: [Caml-list] Problems building a library, types go missing

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