From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA19735; Sun, 17 Nov 2002 12:02:10 +0100 (MET)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA19731 for <caml-list@pauillac.inria.fr>; Sun, 17 Nov 2002 12:02:09 +0100 (MET)
X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com
Received: from AlphaSystem.dnsalias.net (AFontenayssB-109-1-3-8.abo.wanadoo.fr [80.15.96.8])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id gAHB28110397
	for <caml-list@inria.fr>; Sun, 17 Nov 2002 12:02:08 +0100 (MET)
Received: from localhost ([127.0.0.1] helo=AlphaSystem.dnsalias.net)
	by AlphaSystem.dnsalias.net with esmtp (Exim 4.10)
	id 18DNBn-0000Mv-00
	for caml-list@inria.fr; Sun, 17 Nov 2002 12:02:07 +0100
Content-Type: text/plain;
  charset="us-ascii"
From: Johan =?iso-8859-1?q?Balti=E9?= <johan.baltie@wanadoo.fr>
To: caml-list@inria.fr
Subject: [Caml-list] Abstract type over modules
Date: Sun, 17 Nov 2002 12:02:06 +0100
User-Agent: KMail/1.4.3
MIME-Version: 1.0
Content-Transfer-Encoding: quoted-printable
Message-Id: <200211171202.07170.johan.baltie@wanadoo.fr>
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

I'm having a strange problem with an abstract type used in 2 modules.

The problem can be summarized as:

************************* test1.mli *************************=20
type toto

val test : toto -> toto

************************* test2.mli *************************=20
open Test1

val test2 : toto -> toto

************************* test1.ml *************************=20

 type toto =3D int

let test a =3D (Test2.test2 a)=20

************************* Compiling *************************=20
> ocamlc -v                              =20
The Objective Caml compiler, version 3.06
Standard library directory: /usr/local/lib/ocaml

> ocamlc -c test1.mli
> ocamlc -c test2.mli
> ocamlc -c test1.ml

The implementation test1.ml does not match the interface test1.cmi:
Values do not match:
  val test : Test1.toto -> Test1.toto
is not included in
  val test : toto -> toto


Does anyone encounter this kind of problem ?

--=20
Ciao

Jo

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners