在类型上使用'with sexp'会产生“警告4：此模式匹配很脆弱”

Question

我刚开始在自定义类型上使用with sexp语法扩展（ 在此处和此处描述）。 但是，我注意到，当我这样做时，我收到有关我的类型的以下警告：

Warning 4: this pattern-matching is fragile. It will remain exhaustive when constructors are added to type Sexplib.Type.t.

我假设这是因为由with sexp语法生成的sexp转换器只处理为Sexp定义的类型构造函数（ Sexp.List和Sexp.Atom ）。

我通常会尝试修改编译中的任何警告; 有没有办法让编译器在这里开心（没有让它完全抑制所有情况下的警告）？

编辑：用于降价格式化。

更新：提供来自hit.ml示例代码。

open Core.Std
open Option.Monad_infix

open Battey.Kernel

type hit = (sentence * int) with sexp

生成此警告：

File "hit.ml", line 6, characters 5-27: Warning 4: this pattern-matching is fragile. It will remain exhaustive when constructors are added to type Sexplib.Type.t.

其他信息：我在macbook（Yosemite）上使用版本4.02.3的ocamlc（通过opam安装），并使用版本113.00.00的core和core_kernel 。 我也用-w A代替我的cflags。

对延迟更新表示歉意; 假期使我远离我的笔记本电脑/互联网连接。

感谢您的反馈！

Answer 1

我相信这是因为使用了类似的东西

match t with
| A -> 0
| B -> 1
| _ -> 2

如果type t = A | B | C这看起来很好 type t = A | B | C type t = A | B | C 但是当稍后添加构造函数D时，_将匹配它，通常这不是你想要的。 虽然看起来没有任何东西可以做，但忽略了警告。