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