如何使用Janestreet Core定义自定义异常打印机？

Question

默认情况下，会打印

Failure

异常：

# print_endline (Printexc.to_string (Failure "uh\noh"));;
Failure("uh\noh")

为了提高可读性，我们希望按原样打印

Failure

的参数，因为我们知道它应该是人类可读的。在 OCaml 标准库中，我们将使用以下内容初始化应用程序：

# Printexc.register_printer (function
  | Failure s -> Some ("Failure: " ^ s)
  | _ -> None
);;

Printexc.to_string

的新行为是：

# print_endline (Printexc.to_string (Failure "uh\noh"));;
Failure: uh
oh

太棒了。现在，如果我们使用 core_kernel 库，首先我们可以看到打印异常略有不同，但对于人类读者来说并没有更好：

#require "core_kernel";;
# print_endline (Printexc.to_string (Failure "uh\noh"));;
(Failure  "uh\
         \noh")

也许我们可以重写这个？我们来试试吧。

# Printexc.register_printer (function
  | Failure s -> Some ("Failure: " ^ s)
  | _ -> None
);;
# print_endline (Printexc.to_string (Failure "uh\noh"));;
Failure: uh
oh

这可行，但它没有使用属于

Core_kernel

一部分的打印机。如果我们使用它，我们仍然会得到相同的不可读的结果：

# print_endline (Core_kernel.Exn.to_string (Failure "uh\noh"));;
(Failure  "uh\
         \noh")

并且

Core_kernel.Exn

不提供

register_printer

功能。如此有效，看起来

Core_kernel.Exn

确保我们不定义自定义异常打印机。如果我们想显示人类可读的错误消息，是否有其他方法或者我们不应该使用

Core_kernel.Exn

？

编辑：对于上下文，我们最初的问题是很好地打印嵌套的错误消息。例如，我们想阅读如下内容：

Uncaught exception: Failure:
  Uncaught exception in subprocess 1234: Failure:
    something happened
    trace line 1
    trace line 2
  trace line 1
  trace line 2
  trace line 3

我们使用缩进来引用和转义，而不是双引号和反斜杠转义序列。

Answer 1

Base.Exn

（

Core_kernel.Exn

是其别名）使用 Sexplib0 打印机和转换器将错误打印为人类可读的 s 表达式。可以使用

Sexplib0.Exn_converter.add

添加自定义 sexp 转换器以应对异常情况。

但是，如果您不打算将异常打印为 s 表达式，我认为确实没有理由使用

Base.Exn

的打印机。

编辑：由于问题似乎是 S 表达式的打印，一种解决方案可能是使用 Base.Exn.sexp_of，然后插入不转义字符串、也不打印括号的自定义 S 表达式打印机：

let pp_sep ppf () = Format.fprintf ppf "@ "
let pp_sexp ppf = function
  | Atom s -> Format.pp_print_string ppf s
  | List l ->
    Format.fprintf ppf "@[<v 2>  %a@]" 
      (Format.pp_print_list ~pp_sep pp_sexp) l

let to_string exn = Format.asprintf "%a" pp_sexp (Exn.sexp_of_t exn)