Project

General

Profile

Revision 66359a5e src/inliner.ml

View differences:

src/inliner.ml
137 137
	 { v.var_dec_type  with ty_dec_desc = Corelang.rename_static rename_static v.var_dec_type.ty_dec_desc },
138 138
	 { v.var_dec_clock with ck_dec_desc = Corelang.rename_carrier rename_carrier v.var_dec_clock.ck_dec_desc },
139 139
	 v.var_dec_const,
140
	 Utils.option_map (rename_expr (fun x -> x) rename) v.var_dec_value) in
140
	 Utils.option_map (rename_expr (fun x -> x) rename) v.var_dec_value,
141
	 v.var_parent_nodeid (* we keep the original parent name *)
142
	) in
141 143
    begin
142 144
      (*
143 145
	(try
......
358 360
       {ty_dec_desc=Tydec_bool; ty_dec_loc=loc},
359 361
       {ck_dec_desc=Ckdec_any; ck_dec_loc=loc},
360 362
       false,
361
       None)
363
       None,
364
       None
365
      )
362 366
  ) (Utils.enumerate nb_outputs) 
363 367
  in
364 368

  
......
369 373
     {ty_dec_desc=Tydec_bool; ty_dec_loc=loc},
370 374
     {ck_dec_desc=Ckdec_any; ck_dec_loc=loc},
371 375
     false,
372
     None)
376
     None,
377
     None
378
    )
373 379
  in
374 380
  let main_ok_expr =
375 381
    let mkv x = mkexpr loc (Expr_ident x) in

Also available in: Unified diff