当前位置:  开发笔记 > 编程语言 > 正文

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

如何解决《在类型上使用'withsexp'会生成“警告4:此模式匹配很脆弱”》经验,为你挑选了0个好方法。

我刚刚开始在我的自定义类型上使用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.ListSexp.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.

其他信息:我使用ocamlc的4.02.3版本(如通过安装opam在MacBook(约塞米蒂))和正在使用的版本113.00.00 corecore_kernel。我也用-w A我的旗帜。

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

感谢您的反馈!

推荐阅读
ERIK又
这个屌丝很懒,什么也没留下!
DevBox开发工具箱 | 专业的在线开发工具网站    京公网安备 11010802040832号  |  京ICP备19059560号-6
Copyright © 1998 - 2020 DevBox.CN. All Rights Reserved devBox.cn 开发工具箱 版权所有