Project

General

Profile

« Previous | Next » 

Revision 867276c9

Added by Guillaume DAVY almost 3 years ago

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

View differences:

src/machine_code_common.ml
154 154
  let var_input2 = List.nth Arrow.arrow_desc.node_inputs 1 in
155 155
  let var_output = List.nth Arrow.arrow_desc.node_outputs 0 in
156 156
  let cst b = mk_val (Cst (const_of_bool b)) Type_predef.type_bool in
157
  let t_arg = Types.new_univar () in (* TODO Xavier: c'est bien la bonne def ? *)
157
  assert(var_input1.var_type = var_input2.var_type);
158
  let t_arg = var_input1.var_type in (* TODO Xavier: c'est bien la bonne def ? Guillaume: Bof preferable de reprendre le type des variables non ? *)
158 159
  {
159 160
    mname = Arrow.arrow_desc;
160 161
    mmemory = [var_state];

Also available in: Unified diff