-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 01/31/2011 12:18 PM, Jean-Yves Moyen wrote:
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...
Good catch, Jean-Yves ! :-) Donc non, utiliser Obj.magic est une mauvaise idée ici. - -- Luca Saiu http://www-lipn.univ-paris13.fr/~saiu GNU epsilon: http://www.gnu.org/software/epsilon Marionnet: http://www.marionnet.org -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk1GnBsACgkQvzOavibF0oaZQQCfZYnOJgQBuL9q012KwCotPJ6L kMsAn3GXPG2BaC7okztCTx1AhzD4j2Kb =qh42 -----END PGP SIGNATURE-----