Revision 3ca27bc7 src/corelang.ml
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