Revision ef34b4ae src/basic_library.ml
src/basic_library.ml | ||
---|---|---|
27 | 27 |
(fun env (op, op_type) -> TE.add_value env op op_type) |
28 | 28 |
TE.initial |
29 | 29 |
[ |
30 |
"+", (static_op type_bin_poly_op); |
|
30 |
"true", (static_op type_bool); |
|
31 |
"false", (static_op type_bool); |
|
32 |
"+", (static_op type_bin_poly_op); |
|
31 | 33 |
"uminus", (static_op type_unary_poly_op); |
32 | 34 |
"-", (static_op type_bin_poly_op); |
33 | 35 |
"*", (static_op type_bin_poly_op); |
... | ... | |
51 | 53 |
|
52 | 54 |
let clock_env = |
53 | 55 |
let init_env = CE.initial in |
56 |
let env' = |
|
57 |
List.fold_right (fun op env -> CE.add_value env op ck_nullary_univ) |
|
58 |
["true"; "false"] init_env in |
|
54 | 59 |
let env' = |
55 | 60 |
List.fold_right (fun op env -> CE.add_value env op ck_unary_univ) |
56 |
["uminus"; "not"] init_env in
|
|
61 |
["uminus"; "not"] env' in
|
|
57 | 62 |
let env' = |
58 | 63 |
List.fold_right (fun op env -> CE.add_value env op ck_bin_univ) |
59 | 64 |
["+"; "-"; "*"; "/"; "mod"; "&&"; "||"; "xor"; "equi"; "impl"; "<"; "<="; ">"; ">="; "!="; "="] env' in |
... | ... | |
63 | 68 |
|
64 | 69 |
let delay_env = |
65 | 70 |
let init_env = DE.initial in |
66 |
let env' = |
|
71 |
let env' = |
|
72 |
List.fold_right (fun op env -> DE.add_value env op delay_nullary_poly_op) |
|
73 |
["true"; "false"] init_env in |
|
74 |
let env' = |
|
67 | 75 |
List.fold_right (fun op env -> DE.add_value env op delay_unary_poly_op) |
68 |
["uminus"; "not"] init_env in
|
|
76 |
["uminus"; "not"] env' in
|
|
69 | 77 |
let env' = |
70 | 78 |
List.fold_right (fun op env -> DE.add_value env op delay_binary_poly_op) |
71 | 79 |
["+"; "-"; "*"; "/"; "mod"; "&&"; "||"; "xor"; "equi"; "impl"; "<"; "<="; ">"; ">="; "!="; "="] env' in |
Also available in: Unified diff