Project

General

Profile

« Previous | Next » 

Revision 3ca27bc7

Added by Pierre-Loïc Garoche almost 7 years ago

- Addtional encapsulation of machine_code instr in a struct to enable future extension of type with more metadata.
- Improved EMF backend with META information

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