On Mon, 31 Jan 2011 11:46:06 +0100, Arnaud Lecointre <lec.arnaud@gmail.com> wrote:
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))*
*This expression has type int but is here used with type Domains.value*
Problème le priorité des opérateurs... "read_val address+1" c'est la même chose que "(read_val address) +1" et effectivement on essaye alors d'additionner une value (le résultat de "read_val address" et un entier (1). "read_val (address+1)" permettra de corriger le problème sans se risquer à faire de la magie. -- Cordialement, Jean-Yves Moyen