summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2022-01-06 10:08:05 +0100
committerSon Ho2022-01-06 10:08:05 +0100
commit5ba37ac224892a4c52cf8ab97c2352c217c27270 (patch)
tree9b0c601fe9b69ef5e90ac728310b542e4a9c91c4
parent6f25cbb0dd202b53fe850560ddf566c75183af7d (diff)
Address some warnings
Diffstat (limited to '')
-rw-r--r--src/Synthesis.ml39
1 files changed, 20 insertions, 19 deletions
diff --git a/src/Synthesis.ml b/src/Synthesis.ml
index 1f683209..d240714e 100644
--- a/src/Synthesis.ml
+++ b/src/Synthesis.ml
@@ -29,42 +29,43 @@ open InterpreterUtils
(** Synthesize code for a symbolic expansion which doesn't lead to branching
(i.e., applied on a value which is not an enumeration with several variants).
*)
-let synthesize_symbolic_expansion_no_branching (sv : V.symbolic_value)
- (see : symbolic_expansion) : unit =
+let synthesize_symbolic_expansion_no_branching (_sv : V.symbolic_value)
+ (_see : symbolic_expansion) : unit =
()
(** Synthesize code for a symbolic enum expansion (which leads to branching)
*)
-let synthesize_symbolic_expansion_enum_branching (sv : V.symbolic_value)
- (seel : symbolic_expansion list) : unit =
+let synthesize_symbolic_expansion_enum_branching (_sv : V.symbolic_value)
+ (_seel : symbolic_expansion list) : unit =
()
-let synthesize_symbolic_expansion_if_branching (sv : V.symbolic_value) : unit =
+let synthesize_symbolic_expansion_if_branching (_sv : V.symbolic_value) : unit =
()
-let synthesize_symbolic_expansion_switch_int_branching (sv : V.symbolic_value) :
- unit =
+let synthesize_symbolic_expansion_switch_int_branching (_sv : V.symbolic_value)
+ : unit =
()
-let synthesize_unary_op (unop : E.unop) (op : V.typed_value)
- (dest : V.symbolic_value) : unit =
+let synthesize_unary_op (_unop : E.unop) (_op : V.typed_value)
+ (_dest : V.symbolic_value) : unit =
()
-let synthesize_binary_op (binop : E.binop) (op1 : V.typed_value)
- (op2 : V.typed_value) (dest : V.symbolic_value) : unit =
+let synthesize_binary_op (_binop : E.binop) (_op1 : V.typed_value)
+ (_op2 : V.typed_value) (_dest : V.symbolic_value) : unit =
()
(** Actually not sure if we need this, or a synthesize_symbolic_expansion_enum *)
-let synthesize_eval_rvalue_discriminant (p : E.place) : unit = ()
+let synthesize_eval_rvalue_discriminant (_p : E.place) : unit = ()
-let synthesize_eval_rvalue_ref (p : E.place) (bkind : E.borrow_kind) : unit = ()
+let synthesize_eval_rvalue_ref (_p : E.place) (_bkind : E.borrow_kind) : unit =
+ ()
-let synthesize_eval_rvalue_aggregate (aggregate_kind : E.aggregate_kind)
- (ops : E.operand list) : unit =
+let synthesize_eval_rvalue_aggregate (_aggregate_kind : E.aggregate_kind)
+ (_ops : E.operand list) : unit =
()
-let synthesize_function_call (fid : A.fun_id)
- (region_params : T.erased_region list) (type_params : T.ety list)
- (args : V.typed_value list) (dest : E.place) (res : V.symbolic_value) : unit
- =
+let synthesize_function_call (_fid : A.fun_id)
+ (_region_params : T.erased_region list) (_type_params : T.ety list)
+ (_args : V.typed_value list) (_dest : E.place) (_res : V.symbolic_value) :
+ unit =
()