当我installed QuickChick from opam时，我得到：
无法满足以下依赖项：
coq-quickchick → ocaml >= 4.04.0
这个开关的基础（使用
--unlock-base强制）
我应该如何将ocaml升级到最新版本以支持QuickChick而不破坏Coq的配置？
which ocaml:
/home/hengxin/opam-coq.8.9.0/ocaml-base-compiler.4.02.3/bin/ocaml
【问题讨论】：
标签： ocaml upgrade coq ubuntu-18.04 opam
如果我没记错的话，使用建议的选项 (--unlock-base) 将允许 opam 升级您的 ocaml 版本并保持相同的开关。但是，由于几乎所有包都依赖于ocaml 包，因此该操作实际上会重新安装所有包，因此您不会获得太多w.r.t。创建一个新的开关。
如果您尝试这种方式，您可能必须在之后重新锁定某些包（例如ocaml）以避免在使用opam 的常规操作中修改它们（我不记得--unlock-base 是临时的还是永久的） .
【讨论】：
opam switch create 4.07.1。现在，opam list 和 which ocaml 显示新版本：/home/hengxin/opam-coq.8.9.0/4.07.1/bin/ocaml。但是，which coqide 仍然显示 /home/hengxin/opam-coq.8.9.0/ocaml-base-compiler.4.02.3/bin/coqide。如何配置 Coq 以使用最新的ocaml？
coq 和coqide 并确保环境已同步（通常与eval $(opam env) 同步）。
我很担心@hengxin 你可能需要创建一个新开关；另一方面，这应该不会破坏任何东西，除非您有非常特殊的设置。
【讨论】：