Recherche:

Tu ne peux pas 'récupérer' les valeurs de src1 et src2 si tu n'es pas dans une portée où elles ont été définies.

Dans ton exemple on est dans une portée où srcr1 et srcr2 ont été définies, mais...

Ça ressemble à une bête faute de frappe, le bon code serait :


| RTLabs.St_cst (op2, destr, src1, src2, cst, lbl) ->

Cependant il y a quand même un problème : tantôt tu utilises le...