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