Project

General

Profile

Revision e8c0f452 src/machine_code.ml

View differences:

src/machine_code.ml
414 414
	  then
415 415
	    (accu, node_eqs_remainder)
416 416
	  else
417
	    if   List.exists (fun vdecl -> vdecl.var_id = v) nd.node_locals
417
	    (*if   List.exists (fun vdecl -> vdecl.var_id = v) nd.node_locals
418 418
	      || List.exists (fun vdecl -> vdecl.var_id = v) nd.node_outputs
419
	    then
419
	    then*)
420 420
	      let eq_v, remainder = find_eq v node_eqs_remainder in
421 421
	      eq_v::accu, remainder
422
	    (* else it is a constant value, checked during typing phase *)
422
	    (* else it is a constant value, checked during typing phase
423 423
	    else	 
424
	      accu, node_eqs_remainder
424
	      accu, node_eqs_remainder *)
425 425
      ) 
426 426
      ([], split_eqs) 
427 427
      sch 
......
462 462
  }
463 463

  
464 464

  
465
let translate_prog decls = 
465
let translate_prog decls =
466 466
  let nodes = get_nodes decls in 
467 467
   (* What to do with Imported/Sensor/Actuators ? *)
468 468
   (*arrow_machine ::*)  List.map translate_decl nodes

Also available in: Unified diff