我正在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
它确实可以正常工作:
我阅读了几篇文章，其中大多数得出的结论是这是OCaml不兼容的问题。
如何解决这个问题？
还有其他人也遇到该错误吗？
最佳答案
错误消息“input_value:坏的大数组类型”表示您遇到了Unison中一个众所周知的错误。
同步中涉及的两个Unison流程的主要版本不仅需要匹配(您可能知道)，而且OCaml库在4.01和4.02版本之间的内部更改也与数据封送有关。很难为您提供精确的链接，因为Google的一些最有前途的结果会返回一个空白页，但是我希望这些能够做到:
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
请特别注意最后一个链接的页面:
有时我自己会遇到这个问题，我通过编译自己的OCaml，Lablgtk for the graphical (GTK) interface和Unison来规避它。我发现在Linux下编译它们非常简单(尚未在其他操作系统上尝试过)。
关于docker - 未捕获的异常失败(“input_value: bad bigarray kind”)-Windows和Mgt开发环境上的Unison，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/41920098/