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 MAA10204 for caml-redistribution; Thu, 12 Aug 1999 12:03:45 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA02202 for <caml-list@pauillac.inria.fr>; Mon, 2 Aug 1999 09:56:09 +0200 (MET DST)
Received: from vidar.diku.dk (vidar.diku.dk [130.225.96.249])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id JAA11267
	for <caml-list@inria.fr>; Mon, 2 Aug 1999 09:56:08 +0200 (MET DST)
Received: from freja.diku.dk (guest10@freja.diku.dk [130.225.96.250])
	by vidar.diku.dk (8.9.0/8.9.0) with ESMTP id JAA04358
	for <caml-list@inria.fr>; Mon, 2 Aug 1999 09:56:07 +0200 (METDST)
Received: from localhost (guest10@localhost)
	by freja.diku.dk (8.9.0/8.9.0) with SMTP id JAA10119
	for <caml-list@inria.fr>; Mon, 2 Aug 1999 09:56:06 +0200 (METDST)
X-Authentication-Warning: freja.diku.dk: guest10 owned process doing -bs
Date: Mon, 2 Aug 1999 09:56:06 +0200 (METDST)
From: Jean-Yves Moyen <guest10@diku.dk>
To: caml-list@inria.fr
Subject: probleme dans les modules - contraintes
Message-ID: <Pine.HPP.3.95.990802094848.10057B-100000@freja.diku.dk>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: weis

module type Toto = Set.S

module Titi = functor (T : Toto) -> struct end;;

passe sans problemes.



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)



module Tutu = functor (T : Set.S with type elt=int) -> struct end;;

passe aussi sans probleme :-(


et apparamment, au vu de la grammaire telle qu'indiquee dans le refman,
les 3 versions devraient passer.

A quoi est du le probleme, et comment faire pour le corriger ?



May the MUF be with you !!!
Jym.