Re: Typage des modules

From: David Monniaux (
Date: Wed Jun 23 1999 - 19:00:28 MET DST

Date: Wed, 23 Jun 1999 19:00:28 +0200 (MET DST)
From: David Monniaux <>
To: Liste CAML <>
Subject: Re: Typage des modules
In-Reply-To: <>

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 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