Machine_code: Make a correction in the arrow machine creation : use the same polymorphic type in variables and values.
Machine_code: Make a correction in the arrow machine creation :
use the same polymorphic type in variables and values.