probleme dans les modules - contraintes

probleme dans les modules - contraintes

[Jean-Yves Moyen]

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.

Re: probleme dans les modules - contraintes

[Xavier Leroy]

> 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)

C'est en effet un bug dans l'implémentation, qui sera corrigé dans la
prochaine release.  Merci à Nicolas Olliger pour l'analyse et la correction.

- Xavier Leroy