Version française
Home     About     Download     Resources     Contact us    
Browse thread
Typage des modules
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Monniaux <David.Monniaux@e...>
Subject: Re: Typage des modules
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