ocaml - 为什么用 sexp return 注释类型会导致 Unbound value int_of_sexp？

Question

使用sexplib语法扩展自动生成一个类型的序列化代码，网上有很多简单的例子:

open Sexplib
type t = { foo : int; bar : string; } with sexp
let v = { foo = 3; bar = "baz"; } in
sexp_of_t v

编译失败， Error: Unbound value int_of_sexp .

Answer 1

在较新版本的 sexplib 中，您需要先 open Sexplib.Std ，其中包括生成代码命名空间中的标准类型序列化例程。

所以:

open Sexplib
open Sexplib.Std (* newly essential import *)
type t = { foo : int; bar : string; } with sexp
let v = { foo = 3; bar = "baz"; } in
sexp_of_t v

作品。