Re: Typage des modules

From: David Monniaux (David.Monniaux@ens.fr)
Date: Wed Jun 23 1999 - 19:00:28 MET DST


Date: Wed, 23 Jun 1999 19:00:28 +0200 (MET DST)
From: David Monniaux <David.Monniaux@ens.fr>
To: Liste CAML <caml-list@inria.fr>
Subject: Re: Typage des modules
In-Reply-To: <376FAE0E.9C1AD8AE@ens-lyon.fr>

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



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:23 MET