Revision 75c459f4
Added by Lélio Brun about 2 years ago
| src/corelang.ml | ||
|---|---|---|
| 257 | 257 |
e |
| 258 | 258 |
|
| 259 | 259 |
|
| 260 |
let mkinstr ?lustre_eq i =
|
|
| 261 |
{
|
|
| 262 |
instr_desc = i;
|
|
| 263 |
(* lustre_expr = lustre_expr; *)
|
|
| 264 |
lustre_eq = lustre_eq;
|
|
| 265 |
}
|
|
| 260 |
let mkinstr ?lustre_eq instr_spec instr_desc = {
|
|
| 261 |
instr_desc;
|
|
| 262 |
(* lustre_expr = lustre_expr; *)
|
|
| 263 |
instr_spec;
|
|
| 264 |
lustre_eq; |
|
| 265 |
} |
|
| 266 | 266 |
|
| 267 | 267 |
let get_instr_desc i = i.instr_desc |
| 268 | 268 |
let update_instr_desc i id = { i with instr_desc = id }
|
Also available in: Unified diff
start with Spec AST generation