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