构建core_kernel项目时触发OCaml类型匹配错误

该报错是OASIS库版本与setup.ml代码中钩子函数签名不匹配导致的：
你代码中为InternalInstallPlugin.lib_hook赋值的回调函数，入参只匹配了3个元素的元组(cs, bs, lib)，但当前你安装的OASIS版本中，lib_hook要求回调接收4个元素的元组，第四个参数类型为OASISTypes.unix_dirname option（代表可选的库安装目录），因此触发类型匹配错误。
这个签名差异是OASIS版本迭代带来的：旧版本OASIS的lib_hook确实只传3个参数，新版本加了第四个路径参数，而你拉取的适配OCaml 4.02的core_kernel旧仓库里的setup.ml是按旧版OASIS写的，和你本机装的OASIS版本不对应。

直接修改回调的入参匹配，补上第四个未使用的参数即可，修改后的完整代码如下：

(* OASIS_START *)
open OASISDynRun;;
open OASISTypes;;
(* OASIS_STOP *)

let () =
  InternalInstallPlugin.lib_hook :=
    fun (cs, bs, lib, _) ->
      match lib.OASISTypes.lib_findlib_name with
        | Some "core_kernel" ->
            (cs, bs, lib, [])
        | _ ->
            (cs, bs, lib, [])
;;

let () = setup ()

这里第四个参数直接用_通配即可，因为原有逻辑完全不需要用到这个安装目录参数，不会改变钩子的原有行为。

• 注意你贴的编译命令里编译的源文件是setup_dev.ml，但你给出的代码文件名是setup.ml，编译前确认文件名对应，避免改完代码仍编译错误文件。
• 适配OCaml 4.02.0版本时，建议安装0.4.x系列的OASIS版本，过高版本的OASIS本身已不支持4.02版本的编译器，会引发更多兼容问题。
• 如果修改后仍有其他编译错误，可以提供_oasis文件内容进一步排查。

内容的提问来源于stack exchange，提问作者laurent01