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.

1 files changed, 5 insertions, 7 deletions

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)"