如何解决OCaml“这个‘结构’可能是无与伦比的”
这是我的代码:
module type Queue =
sig
type element
type queue
exception EMPTY_Q
val emptyQ: queue
val enQ: queue * element -> queue
val deQ: queue -> element * queue
end
module IntListQ =
struct
type element = int list
type queue = (int list * int list)
exception EMPTY_Q
let emptyQ = queue
let enQ = queue * element -> queue
let deQ = queue -> element * queue
end
这是我得到的错误:
Error: This 'struct' might be unmatched.
不知道为什么我会收到这个错误。我觉得这与使用 OCaml 中预定义的特殊关键字有关,但我真的不知道。
解决方法
您在结构中使用了类型的子语言(特别是 ->
符号),这应该是一个实现。
例如,这不是函数定义:
let enQ = queue * element -> queue
但它应该是一个。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。