Bonjour, Je rencontre un problème étrange lors de l'implémentation de la mémoire. En effet dans mon *read_val: int -> value *dans le foncteur Dans le cas ou la value est une paire, je renvois* VPair((read_val address+1),(read_val address+3))* Selon le compilateur cette expression est de type Domains.value ce qui est normal et souhaité. Mais le compilateur me sort une erreur de typage: *This expression has type int but is here used with type Domains.value* Si je commente cette ligne, le projet compile correctement sans erreur et le type de read_val est bien *val read_val : int -> value *le value est déclaré avec Domains.value Je ne comprend pas trop l'erreur si présente car cela voudrait dire que dans le cas des booléens et des entiers, je renvoit des entiers hors je renvois bien des valeurs de type value Cordialement. Arnaud Lecointre