probleme dans les modules - contraintes

From: Jean-Yves Moyen (guest10@diku.dk)
Date: Mon Aug 02 1999 - 09:56:06 MET DST


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

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.



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