Version française
Home     About     Download     Resources     Contact us    
Browse thread
probleme dans les modules - contraintes
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Yves Moyen <guest10@d...>
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.