使用 Ocaml StringMap.find_opt时遇到未绑定值错误

Question

我尝试编写一个小型 ocaml 程序，但在使用 StringMap.find_opt 时遇到了未绑定值错误。

我对这个错误感到困惑，因为 find_opt in 是在 https://caml.inria.fr/pub/docs/manual-ocaml/libref/Misc.StringMap.html 中定义的

我发现 查看字符串映射中是否存在键，并尝试使用 StringMap.find 代替，但显然在我的程序中 StringMap.find 被定义为 val find ： key -> 'a t -> 'a ，因此它无法根据需要返回 'a 选项类型的值。

错误如下所示：

$ ocamlbuild test.native
+ /Users/KKK/.opam/default/bin/ocamlc.opt -c -o semant.cmo semant.ml
File "semant.ml", line 253, characters 19-37:
Error: Unbound value StringMap.find_opt
Command exited with code 2.
Compilation unsuccessful after building 13 targets (11 cached) in 00:00:00.

相关代码如下所示：

let f2 = function
              Some _ -> raise (Failure ("trying to redeclare variable"))
              | None ->
                let f3 = function
                  Array(t1, t2) ->
                    if (check_array_type (t1, t2)) then let lvs' = StringMap.add id t envs.lvs in let envs2 = {stmts = SVdecl(t, id, (Void, SNoexpr)) :: envs.stmts; lvs = lvs'} in envs2
                    else raise(Failure("array key must be int or string"))
                  | _ ->  let lvs' = StringMap.add id t envs.lvs in let envs2 = {stmts = SVdecl(t, id, (Void, SNoexpr)) :: envs.stmts; lvs = lvs'} in envs2
                in f3 t
            in f2 (StringMap.find_opt id envs.lvs)

编辑：我的Ocaml版本是4.07.1。我已经包括了

module StringMap = Map.Make(String)

在我的文件的开头。编辑2：事实证明，我的顶级 ocaml 版本为 4.02.3，这导致了问题。感谢您的帮助！

Answer 1

据

我所知，没有实际的Misc模块。我从未听说过它，它似乎没有出现在手册的实际文本中。唯一的链接(我能找到(来自模块索引。我认为这可能代表某些内部模块的意外泄漏。(但我可能是错的。

你可以像这样制作自己的 StringMap 模块：

module StringMap = Map.Make(String)

find_opt函数是在 OCaml 4.05 中引入的。