summaryrefslogtreecommitdiff
path: root/asmcomp/split.ml
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2016-03-09 11:40:16 +0100
committeralainfrisch <alain@frisch.fr>2016-03-15 22:46:35 +0100
commit502e4f9336c03e21442404fd1beba79df824d32d (patch)
tree1345561a10eb5a93d5246676b9b1a26a7b9ddadc /asmcomp/split.ml
parentf4a29c6ca2d926fa988e1bcd3a838247932beaf8 (diff)
downloadocaml-502e4f9336c03e21442404fd1beba79df824d32d.tar.gz
More warnings when compiling the compiler.
Diffstat (limited to 'asmcomp/split.ml')
-rw-r--r--asmcomp/split.ml10
1 files changed, 5 insertions, 5 deletions
diff --git a/asmcomp/split.ml b/asmcomp/split.ml
index bac047e9b0..b64f70431f 100644
--- a/asmcomp/split.ml
+++ b/asmcomp/split.ml
@@ -87,8 +87,8 @@ let identify_sub sub1 sub2 reg =
let merge_substs sub1 sub2 i =
match (sub1, sub2) with
(None, None) -> None
- | (Some s1, None) -> sub1
- | (None, Some s2) -> sub2
+ | (Some _, None) -> sub1
+ | (None, Some _) -> sub2
| (Some s1, Some s2) ->
Reg.Set.iter (identify_sub s1 s2) (Reg.add_set_array i.live i.arg);
sub1
@@ -155,9 +155,9 @@ let rec rename i sub =
| Iswitch(index, cases) ->
let new_sub_cases = Array.map (fun c -> rename c sub) cases in
let sub_merge =
- merge_subst_array (Array.map (fun (n, s) -> s) new_sub_cases) i.next in
+ merge_subst_array (Array.map (fun (_n, s) -> s) new_sub_cases) i.next in
let (new_next, sub_next) = rename i.next sub_merge in
- (instr_cons (Iswitch(index, Array.map (fun (n, s) -> n) new_sub_cases))
+ (instr_cons (Iswitch(index, Array.map (fun (n, _s) -> n) new_sub_cases))
(subst_regs i.arg sub) [||] new_next,
sub_next)
| Iloop(body) ->
@@ -206,7 +206,7 @@ let fundecl f =
reset ();
let new_args = Array.copy f.fun_args in
- let (new_body, sub_body) = rename f.fun_body (Some Reg.Map.empty) in
+ let (new_body, _sub_body) = rename f.fun_body (Some Reg.Map.empty) in
repres_regs new_args;
set_repres new_body;
equiv_classes := Reg.Map.empty;