docker - Uncaught exception Failure ("input_value: bad bigarray kind") - Windows 和 Mgt 开发环境上的 Unison

Question

我在 Windows 8.1 上使用 Mgt 开发环境 (mgtcommerce/mgt-development-environment-5.6)。 & 适用于 Windows 的 DockerToolbox。

我还从 https://www.mgt-commerce.com/documentation/mgt-development-windows-file-synchronization 下载了建议的 OpenSSH 和 Unison 版本。并按照描述创建了sync.bat。

不幸的是，Unison 出现以下错误消息:

Uncaught exception Failure("input_value: bad bigarray kind")
Raised by primitive operation at file "./remote.ml", line 453, characters 18-45
Called from file "./remote.ml", line 459, characters 23-61
Called from file "./lwt/lwt.ml", line 75, characters 20-23
Re-raised at file "./lwt/lwt.ml", line 135, characters 12-13
Called from file "list.ml", line 73, characters 12-15
Called from file "./lwt/lwt.ml", line 31, characters 2-37
Called from file "./lwt/lwt.ml", line 83, characters 17-46
Called from file "./lwt/win/lwt_unix_impl.ml", line 239, characters 6-40
Called from file "./uitext.ml", line 490, characters 2-113
Called from file "./uitext.ml", line 556, characters 38-66
Called from file "./uitext.ml", line 718, characters 6-47
Called from file "./uitext.ml", line 756, characters 6-125
Called from file "./uitext.ml", line 804, characters 8-47
Called from file "./uitext.ml", line 870, characters 21-43

它确实可以正常工作:

第一次统一用于 docker 图像

与标志-ignorearchives

一起使用时

我阅读了几篇文章，其中大多数得出的结论是这是一个 OCaml 不兼容问题。

如何解决这个问题？
其他人是否也遇到过该错误？

Answer 1

错误消息“input_value: bad bigarray kind”表明您在 Unison 中遇到了一个众所周知的错误。

不仅同步中涉及的两个 Unison 进程的主要版本需要匹配(您可能知道)，在 OCaml 版本 4.01 和 4.02 之间的某个地方，OCaml 库中也存在与数据编码相关的内部变化。很难给你一个精确的链接，因为谷歌的一些最有希望的结果返回一个空白页面，但我希望这些可以:

https://github.com/bcpierce00/unison/issues/32
http://unison-users.yahoogroups.narkive.com/7FOa6VCg/re-unison-failed-uncaught-exception-failure-input-value-bad-bigarray-kind

特别注意最后一个链接的页面:

[...] this is a known issue, and happens because Unison wasn't compiled against the same OCaml versions [...]. The marshaling in OCaml 4.01 and 4.02 uses a different format... You will have to compile Unison 2.48.3 against the same versions of OCaml [...]

我自己有时也会遇到这个问题，我通过编译自己的 OCaml 来规避它， Lablgtk for the graphical (GTK) interface ，和齐声。我发现在 Linux 下编译它们非常简单(尚未在其他操作系统上尝试过)。