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 UAA15082 for caml-redistribution; Sun, 22 Aug 1999 20:17:18 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA12502 for <caml-list@pauillac.inria.fr>; Sun, 15 Aug 1999 14:50:12 +0200 (MET DST)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.8.7/8.8.7) with ESMTP id OAA04265;
	Sun, 15 Aug 1999 14:50:08 +0200 (MET DST)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA15110; Sun, 15 Aug 1999 14:50:08 +0200 (MET DST)
Message-ID: <19990815145008.61134@pauillac.inria.fr>
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
References: <Pine.HPP.3.95.990802094848.10057B-100000@freja.diku.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Mailer: Mutt 0.89.1
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
Sender: weis

> 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