summaryrefslogtreecommitdiff
path: root/debugger/printval.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2016-03-10 00:27:42 +0100
committeralainfrisch <alain@frisch.fr>2016-03-15 22:47:35 +0100
commit6f0e6735e12e66124d93f60ad93e4ad24e6e4de7 (patch)
tree284931820d3fd0da88019974c7f83a140f749d5e /debugger/printval.ml
parentb8e418e9f3e8464314111404e2207d65d04d4a05 (diff)
downloadocaml-6f0e6735e12e66124d93f60ad93e4ad24e6e4de7.tar.gz
More warnings for debugger/.
Diffstat (limited to 'debugger/printval.ml')
-rw-r--r--debugger/printval.ml10
1 files changed, 5 insertions, 5 deletions
diff --git a/debugger/printval.ml b/debugger/printval.ml
index 30f111eaca..1175a96c77 100644
--- a/debugger/printval.ml
+++ b/debugger/printval.ml
@@ -40,7 +40,7 @@ let name_value v ty =
let find_named_value name =
Hashtbl.find named_values name
-let check_depth ppf depth obj ty =
+let check_depth depth obj ty =
if depth <= 0 then begin
let n = name_value obj ty in
Some (Outcometree.Oval_stuff ("$" ^ string_of_int n))
@@ -57,19 +57,19 @@ module EvalPath =
with Symtable.Error _ ->
raise Error
end
- | Pdot(root, fieldname, pos) ->
+ | Pdot(root, _fieldname, pos) ->
let v = eval_path env root in
if not (Debugcom.Remote_value.is_block v)
then raise Error
else Debugcom.Remote_value.field v pos
- | Papply(p1, p2) ->
+ | Papply _ ->
raise Error
let same_value = Debugcom.Remote_value.same
end
module Printer = Genprintval.Make(Debugcom.Remote_value)(EvalPath)
-let install_printer path ty ppf fn =
+let install_printer path ty _ppf fn =
Printer.install_printer path ty
(fun ppf remote_val ->
try
@@ -90,7 +90,7 @@ let print_exception ppf obj =
let print_value max_depth env obj (ppf : Format.formatter) ty =
let t =
Printer.outval_of_value !max_printer_steps max_depth
- (check_depth ppf) env obj ty in
+ check_depth env obj ty in
!Oprint.out_value ppf t
let print_named_value max_depth exp env obj ppf ty =