Project

General

Profile

Revision 1bff14ac src/corelang.ml

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 =
184
let mkinstr ?(lustre_expr=None) ?(lustre_eq=None) i =
185 185
  {
186 186
    instr_desc = i;
187

  
187
    (* lustre_expr = lustre_expr; *)
188
    lustre_eq = lustre_eq;
188 189
  }
189 190

  
190 191
let get_instr_desc i = i.instr_desc

Also available in: Unified diff