Project

General

Profile

« Previous | Next » 

Revision 75c459f4

Added by LĂ©lio Brun 9 months ago

start with Spec AST generation

View differences:

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