使用ppx自动生成Sexp解析器时出现OCaml运行时错误

错误原因 #

你遇到的问题是因为Sexplib默认生成的exp_of_sexp解析器严格遵循variant类型的Sexp编码规则：

• 所有variant构造函数必须显式写出名称，比如E1、(EConst (CNum 1))
• 输入的(1 2)会被解析器当作“以1为构造函数的variant”，但1并不是exp类型定义中的任何构造函数（你的构造函数是E1、E2、EConst、EVar、EList），因此触发“unexpected variant constructor”错误。

正确的输入格式 #

根据你的类型定义，要表示包含两个整数常量的EList，正确的Sexp输入应该是：

(EList ((EConst (CNum 1)) (EConst (CNum 2))))

拆解逻辑：

• (CNum 1)对应const类型的CNum 1
• (EConst (CNum 1))对应exp类型的EConst (CNum 1)
• 外层的(EList (...))把这些exp元素包裹成EList构造函数的参数

可选：自定义解析逻辑（简化输入） #

如果希望直接用(1 2)这类格式解析成EList（自动将数字转为EConst (CNum x)），可以手动实现exp_of_sexp覆盖默认行为：

open Sexplib.Std
open Sexplib0.Sexp

type var = string [@@deriving sexp]

type const =
  | CNum of int
  | CStr of string
  | CBool of bool [@@deriving sexp]
 
type exp =
  | E1
  | E2
  | EConst of const
  | EVar of var
  | EList of exp list

let rec exp_of_sexp sexp =
  match sexp with
  | List elements when not (List.is_empty elements) ->
      (* 尝试将列表解析为EList，元素自动转为EConst *)
      try
        EList (List.map (fun s -> EConst (const_of_sexp s)) elements)
      with _ ->
        (* 解析失败时回退到默认逻辑，处理其他构造函数 *)
        Sexplib.Std.exp_of_sexp sexp
  | _ -> Sexplib.Std.exp_of_sexp sexp

(* 保留默认的sexp_of_exp *)
let sexp_of_exp = Sexplib.Std.sexp_of_exp

注意：这种自定义逻辑会优先把列表形式的Sexp解析为EList，如果业务场景中还有其他需要用列表表示的构造函数，需要调整判断逻辑避免冲突。

内容的提问来源于stack exchange，提问作者Cs_J