Project

General

Profile

Revision 3ca27bc7 src/corelang.ml

View differences:

src/corelang.ml
181 181
  { e with expr_annot = merge_expr_annot e.expr_annot (Some annot) }
182 182

  
183 183

  
184
let mkinstr (* TODO ?(lustre_expr=None) ?(lustre_eq=None) *) i =
185
  {
186
    instr_desc = i;
187

  
188
  }
189

  
190
let get_instr_desc i = i.instr_desc
191
let update_instr_desc i id = { i with instr_desc = id }
192

  
184 193
(***********************************************************)
185 194
(* Fast access to nodes, by name *)
186 195
let (node_table : (ident, top_decl) Hashtbl.t) = Hashtbl.create 30

Also available in: Unified diff