Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 7 months ago

reformatting

View differences:

src/arrow.ml
9 9
    node_id = arrow_id;
10 10
    node_type = Type_predef.type_bin_poly_op;
11 11
    node_clock = Clock_predef.ck_bin_univ;
12
    node_inputs= [Corelang.dummy_var_decl "_in1" arrow_typ; Corelang.dummy_var_decl "_in2" arrow_typ];
13
    node_outputs= [Corelang.dummy_var_decl "_out" arrow_typ];
14
    node_locals= [];
12
    node_inputs =
13
      [
14
        Corelang.dummy_var_decl "_in1" arrow_typ;
15
        Corelang.dummy_var_decl "_in2" arrow_typ;
16
      ];
17
    node_outputs = [ Corelang.dummy_var_decl "_out" arrow_typ ];
18
    node_locals = [];
15 19
    node_gencalls = [];
16 20
    node_checks = [];
17 21
    node_asserts = [];
18
    node_stmts= [];
22
    node_stmts = [];
19 23
    node_dec_stateless = false;
20 24
    node_stateless = Some false;
21 25
    node_spec = None;
22 26
    node_annot = [];
23 27
    node_iscontract = false;
24
}
28
  }
25 29

  
26 30
let arrow_top_decl () =
27 31
  {
28 32
    top_decl_desc = Node arrow_desc;
29
    top_decl_owner = (Options_management.core_dependency "arrow");
33
    top_decl_owner = Options_management.core_dependency "arrow";
30 34
    top_decl_itf = false;
31
    top_decl_loc = Location.dummy_loc
35
    top_decl_loc = Location.dummy_loc;
32 36
  }
33 37

  
34
let td_is_arrow td =
35
  Corelang.node_name td = arrow_id
38
let td_is_arrow td = Corelang.node_name td = arrow_id

Also available in: Unified diff