pattern-matching - OCaml 模式匹配变体中的 "Pattern expected"

Question

尝试编译以下代码片段时:

type 'a frame = Empty | Frame of string * 'a * 'a frame

let rec searchFrame f s = match f with
  | Empty -> None
  | Frame(x, val, fr) -> if x == s then
                           Some(val)
                         else
                           searchFrame fr s;;

我收到错误 Error: Syntax error: pattern expected. 在第二个匹配案例中，对应于 val。我不知道我在这里做错了什么:基本上 val 应该对应于 'a 类型的值，但我被要求放置一个模式。我该如何解决这个问题？

Answer 1

val 是一个 Ocaml 关键字 - 例如，只需通过将 val 更改为 v 来修改您的代码。