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.