From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA28325 for caml-redistribution; Wed, 23 Jun 1999 21:58:59 +0200 (MET DST)
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 TAA25030 for <caml-list@pauillac.inria.fr>; Wed, 23 Jun 1999 19:00:30 +0200 (MET DST)
Received: from nef.ens.fr (nef.ens.fr [129.199.96.12])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id TAA09748
	for <caml-list@inria.fr>; Wed, 23 Jun 1999 19:00:30 +0200 (MET DST)
Received: from basilic.ens.fr (basilic.ens.fr [129.199.98.74])
          by nef.ens.fr (8.9.3/beig-1.0) with ESMTP id TAA28466
          for <caml-list@inria.fr>; Wed, 23 Jun 1999 19:00:28 +0200 (MET DST)
Received: from localhost by basilic.ens.fr (8.9.2/jb-1.1)
	id TAA17108 for <caml-list@inria.fr>; Wed, 23 Jun 1999 19:00:28 +0200 (MET DST)
X-Authentication-Warning: basilic.ens.fr: monniaux owned process doing -bs
Date: Wed, 23 Jun 1999 19:00:28 +0200 (MET DST)
From: David Monniaux <David.Monniaux@ens.fr>
X-Sender: monniaux@basilic.ens.fr
To: Liste CAML <caml-list@inria.fr>
Subject: Re: Typage des modules
In-Reply-To: <376FAE0E.9C1AD8AE@ens-lyon.fr>
Message-ID: <Pine.GSO.4.03.9906231858060.17026-100000@basilic.ens.fr>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: weis

On Tue, 22 Jun 1999, Daniel Bonniot wrote:

> Cette erreur est logique etant donne le systeme de typage des modules,
> mais comment ecrire ce genre de dependances ?

For our English-speaking friends: I've already had the same kind of
problem as Daniel's. When the compiler compiles a.ml to produce module A,
it doesn't see that A.a and a are the same thing, which leads to absurd
typing errors. It's sometimes unpleasant.

-- David