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: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: probleme dans les modules - contraintes
> 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