Project

General

Profile

Revision 9b0432bc lib/machine_code_types.ml

View differences:

lib/machine_code_types.ml
14 14
  | Array of value_t list
15 15
  | Access of value_t * value_t
16 16
  | Power of value_t * value_t
17

  
17
 [@@deriving show]
18 18
type instr_t =
19 19
  {
20 20
    instr_desc: instr_t_desc; (* main data: the content *)
......
30 30
  | MBranch of value_t * (label * instr_t list) list
31 31
  | MComment of string
32 32
  | MSpec of string 
33

  
33
 [@@deriving show]
34 34
type step_t = {
35 35
    step_checks: (Location.t * value_t) list;
36 36
    step_inputs: var_decl list;
......
39 39
    step_instrs: instr_t list;
40 40
    step_asserts: value_t list;
41 41
  }
42

  
42
 [@@deriving show]
43 43
type static_call = top_decl * (Dimension.dim_expr list)
44

  
44
 [@@deriving show]
45 45
  
46 46
type machine_t = {
47 47
  mname: node_desc;
......
54 54
  mstep: step_t;
55 55
  mspec: node_spec_t option;
56 56
  mannot: expr_annot list;
57
  msch: Scheduling_type.schedule_report option; (* Equations scheduling *)
57
  msch: Scheduling_type.schedule_report option; [@opaque] (* Equations scheduling *)
58 58
}
59
[@@deriving show]

Also available in: Unified diff