Bonjour,

bon,
je ne sais pas si c'est une question pour la liste beginner ou quoi, mais
vu que ça fait intervenir les modules, et que je ne les utilisais pas
quand j'étais débutant, j'imagine que ça ira.

En gros je voulais paramétrer tout un programme par des identifiants,
donc je me donne un type de module Id.S, et plusieurs implémentations de
mon module selon ce dont j'ai besoin.
Ensuite je voulais traduire du bytecode d'un langage vers un autre, donc
je définis un module SSA.S qui contient les instructions de mon bytecode
(censées être paramétrées par mes identifiants), ensuite je définis un
module Trans a une tête du genre :

module  Trans
  (..blahblah..)
  (Ident :Id.S)
  (SSADef :SSA.S with type id = Ident.t) = struct ... end ;

alors le truc c'est que je voulais pas à chaque fois (c'est plus propre ?
je sais pas trop) inclure tous les modules les uns dans les autres, ie.
pas faire

module Trans
  (..blahblah..)
  (SSADef :SSA.S) = struct module Ident = SSADef.Ident ; ... end ;

par exemple.

et en particulier, je voulais utiliser des Map et des Set sur mon type
Ident, à la fois en usage interne dans mon module Trans, et à la fois
dans le module SSADef, donc je les ai déclarés dans les deux. Mais OCaml
n'arrive pas à se rendre compte que
Map.Make(Ident).t = SSADef.IdMap.t,
alors que dans mon SSADef, le IdMap est déclaré juste comme
Map.Make(Ident). Bon j'imagine qu'il doit falloir donner pas mal de
précision à OCaml pour qu'il l'admette, mais comment faire ?

J'aurais certainement pu présenter cela de manière plus concise, mais vu
que je m'étais lancé dans cette voie sans avoir trop trop exploré le
système de module, je me dis que du coup, si quelqu'un a une remarque sur
ça, genre un moyen plus propre de le faire...

Merci!

Maël