Project

General

Profile

Revision 8446bf03 src/plugins/scopes/scopes.ml

View differences:

src/plugins/scopes/scopes.ml
1
open LustreSpec 
1
open Lustre_types 
2 2
open Corelang 
3 3
open Machine_code
4 4

  
......
106 106
      let instance = 
107 107
	List.find 
108 108
	  (fun i -> match get_instr_desc i with 
109
	  | MStep(p, o, _) -> List.exists find_var p 
109
	  | Machine_code_types.MStep(p, o, _) -> List.exists find_var p 
110 110
	  | _ -> false
111 111
	  ) 
112 112
	  e_machine.mstep.step_instrs 
......
114 114
      try
115 115
	let variable, instance_node, instance_id = 
116 116
	  match get_instr_desc instance with 
117
	  | MStep(p, o, _) -> 
117
	  | Machine_code_types.MStep(p, o, _) -> 
118 118
	    (* Format.eprintf "Looking for machine %s@.@?" o; *)
119 119
	    let o_fun, _ = List.assoc o e_machine.mcalls in
120 120
	    if node_name o_fun = nodename then
......
166 166
let option_mem_scopes = ref false
167 167
let option_input_scopes = ref false
168 168

  
169
let scopes_map : (LustreSpec.ident list  * scope_t) list ref  = ref []
169
let scopes_map : (Lustre_types.ident list  * scope_t) list ref  = ref []
170 170

  
171 171
let register_scopes s = 
172 172
  option_scopes := true;
......
220 220
let update_machine machine =
221 221
  let stateassign vdecl =
222 222
    mkinstr 
223
    (MStateAssign (vdecl, mk_val (LocalVar vdecl) vdecl.var_type))
223
    (Machine_code_types.MStateAssign (vdecl, mk_val (Machine_code_types.LocalVar vdecl) vdecl.var_type))
224 224
  in
225 225
  let local_decls = machine.mstep.step_inputs
226 226
    (* @ machine.mstep.step_outputs   *)
......
231 231
    mstep = { 
232 232
      machine.mstep with 
233 233
        step_instrs = machine.mstep.step_instrs
234
        @ (mkinstr (MComment "Registering all flows"))::(List.map stateassign local_decls)
234
        @ (mkinstr (Machine_code_types.MComment "Registering all flows"))::(List.map stateassign local_decls)
235 235
          
236 236
    }
237 237
  }

Also available in: Unified diff