Re: probleme dans les modules - contraintes

From: Xavier Leroy (Xavier.Leroy@inria.fr)
Date: Sun Aug 15 1999 - 14:50:08 MET DST


Date: Sun, 15 Aug 1999 14:50:08 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Jean-Yves Moyen <guest10@diku.dk>, caml-list@inria.fr
Subject: Re: probleme dans les modules - contraintes
In-Reply-To: <Pine.HPP.3.95.990802094848.10057B-100000@freja.diku.dk>; from Jean-Yves Moyen on Mon, Aug 02, 1999 at 09:56:06AM +0200

> module Tata = functor (T : Toto with type elt=int) -> struct end;;
> provoque a la compilation l'erreur "This module type is not a signature"
> sur la chaine "Toto". (Je n'ai pas trouve la description de cette erreur
> dans le refman, ni dans les FAQ)

C'est en effet un bug dans l'implémentation, qui sera corrigé dans la
prochaine release. Merci à Nicolas Olliger pour l'analyse et la correction.

- Xavier Leroy



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