From 5b05d3668571bd9b748b781b0cc29ae10f745f61 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 10 Mar 2016 13:35:48 +0100
Subject: Code cleanup.

Removed some unused variables, functions etc. and resolved some
problems which occur if all warnings except 3,4,9 and 29 are active.
Bug 18394.
---
 backend/PrintXTL.ml | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

(limited to 'backend/PrintXTL.ml')

diff --git a/backend/PrintXTL.ml b/backend/PrintXTL.ml
index dd8434da..1bee1e15 100644
--- a/backend/PrintXTL.ml
+++ b/backend/PrintXTL.ml
@@ -17,9 +17,7 @@ open Camlcoq
 open Datatypes
 open Maps
 open AST
-open Registers
-open Op
-open Locations
+open !Locations
 open PrintAST
 open PrintOp
 open XTL
@@ -69,8 +67,8 @@ let ros pp = function
 
 let liveset pp lv =
   fprintf pp "{";
-  VSet.iter (function V(r, ty) -> fprintf pp " x%d" (P.to_int r)
-                    | L l -> ())
+  VSet.iter (function V(r, _) -> fprintf pp " x%d" (P.to_int r)
+                    | L _ -> ())
     lv;
   fprintf pp " }"
 
@@ -95,9 +93,9 @@ let print_instruction pp succ = function
   | Xstore(chunk, addr, args, src) ->
       fprintf pp "%s[%a] = %a"
          (name_of_chunk chunk) (print_addressing var) (addr, args) var src
-  | Xcall(sg, fn, args, res) ->
+  | Xcall(_, fn, args, res) ->
       fprintf pp "%a = call %a(%a)" vars res ros fn vars args
-  | Xtailcall(sg, fn, args) ->
+  | Xtailcall(_, fn, args) ->
       fprintf pp "tailcall %a(%a)" ros fn vars args
   | Xbuiltin(ef, args, res) ->
       fprintf pp "%a = %s(%a)"
-- 
cgit