如何将Ocaml升级到最新版本以支持Coq中的QuickChick？
How to upgrade Ocaml to the latest version to support QuickChick in Coq?
当我installed QuickChick from opam时，我得到：
The following dependencies couldn't be met:
coq-quickchick → ocaml >= 4.04.0
base of this switch (use --unlock-base to force)
我应该如何将 ocaml 升级到最新版本以支持 QuickChick 而不会破坏 Coq 的配置?
which ocaml:
/home/hengxin/opam-coq.8.9.0/ocaml-base-compiler.4.02.3/bin/ocaml
opam list:
我很担心@hengxin 你可能需要创建一个新的开关；另一方面，除非您有非常特殊的设置，否则这不会破坏任何东西。
如果我没记错的话，使用建议的选项 (--unlock-base) 将允许 opam 升级您的 ocaml 版本并保持相同的开关。然而，由于几乎所有包都依赖于 ocaml 包，该操作实际上将重新安装所有包，因此您不会获得太多 w.r.t。创建一个新开关。
如果你尝试这种方式，你可能需要在之后重新锁定一些包（例如ocaml）以避免在使用opam的常规操作中修改它们（我不记得是否--unlock-base 是临时的还是永久的）。
当我installed QuickChick from opam时，我得到：
The following dependencies couldn't be met:
coq-quickchick → ocaml >= 4.04.0
base of this switch (use
--unlock-baseto force)
我应该如何将 ocaml 升级到最新版本以支持 QuickChick 而不会破坏 Coq 的配置?
which ocaml:
/home/hengxin/opam-coq.8.9.0/ocaml-base-compiler.4.02.3/bin/ocaml
opam list:
我很担心@hengxin 你可能需要创建一个新的开关；另一方面，除非您有非常特殊的设置，否则这不会破坏任何东西。
如果我没记错的话，使用建议的选项 (--unlock-base) 将允许 opam 升级您的 ocaml 版本并保持相同的开关。然而，由于几乎所有包都依赖于 ocaml 包，该操作实际上将重新安装所有包，因此您不会获得太多 w.r.t。创建一个新开关。
如果你尝试这种方式，你可能需要在之后重新锁定一些包（例如ocaml）以避免在使用opam的常规操作中修改它们（我不记得是否--unlock-base 是临时的还是永久的）。