Revision 1b683c9a
Added by Pierre-Loïc Garoche about 5 years ago
| src/corelang.ml | ||
|---|---|---|
| 181 | 181 |
{ e with expr_annot = merge_expr_annot e.expr_annot (Some annot) }
|
| 182 | 182 |
|
| 183 | 183 |
|
| 184 |
let mkinstr ?(lustre_expr=None) ?(lustre_eq=None) i =
|
|
| 184 |
let mkinstr ?lustre_expr ?lustre_eq i =
|
|
| 185 | 185 |
{
|
| 186 | 186 |
instr_desc = i; |
| 187 | 187 |
(* lustre_expr = lustre_expr; *) |
Also available in: Unified diff
Cleaned horrible ocaml practice (optional parameters and mli issues)