Comment puis-je utiliser la signature de sortie d'un foncteur dans un fichier d'interface?

Question

Si j'ai une implémentation (.re) fichier contenant

module IntMap = 
    Map.Make { 
    type t = int; 
    let compare = compare; 
    }; 

type foo = IntMap.t string; 

comment puis-je ajouter la signature de foo à l'interface (.rei) fichier? Par analogie avec

de OCaml

module IntMap = Map.S with type key = int 
type foo = string IntMap.t 

Je pensais que ce serait

module IntMap = 
    Map.S { 
    type t = int; 
    }; 

type foo = IntMap.t string; 

mais qui se traduit par une erreur de syntaxe à {.

Answer 1

Je soupçonne que la cause première de votre problème est que le code OCaml que vous avez posté n'est pas valide. Il devrait être

module IntMap: Map.S with type key = int 

L'équivalent Raison est alors

module IntMap: Map.S with type key = int; 
type foo = IntMap.t string; 

Pas très différent :)

En outre, dans le cas où vous n'êtes pas au courant, reason-tools est un outil qui convertir entre Reason et OCaml pour vous. Il nécessite cependant une entrée valide;)