我正在尝试修改MirageOS http-fetch示例(https://github.com/mirage/mirage-skeleton),可以在海市蜃楼骨架中找到但是我有一些问题,理解为什么我不能移动一些功能在config.ml文件中执行到我的unikernel.ml文件。原始的config.ml文件如下(我将只复制有趣的部分):
[...]
let client =
foreign "Unikernel.Client" @@ console @-> resolver @-> conduit @-> job
let () =
add_to_ocamlfind_libraries ["mirage-http"];
add_to_opam_packages ["mirage-http"];
let sv4 = stack default_console in
let res_dns = resolver_dns sv4 in
let conduit = conduit_direct sv4 in
let job = [ client $ default_console $ res_dns $ conduit ] in
register "http-fetch" job
我要做的是移动这两行:
let res_dns = resolver_dns sv4 in
let conduit = conduit_direct sv4 in
进入我的unikernel.ml启动方法。基本上我想传递给我的模块只是堆栈,让它创建一个DNS解析器和一个管道。我的开始功能如下:
let start c s =
C.log_s c (sprintf "Resolving in 1s using DNS server %s" ns) >>= fun () ->
OS.Time.sleep 1.0 >>= fun () ->
let res_dns = resolver_dns s in
let conduit = conduit_direct s in
http_fetch c res_dns conduit >>= fun (data) ->
Lwt.return(dump_to_db data);
现在我在http_fetch参数提交中收到此错误:
Error: This expression has type Mirage.resolver Mirage.impl
but an expression was expected of type Resolver_lwt.t
我在这里问的主要是一个概念问题,因为我显然遗漏了一些东西。我不是OCaml / MirageOS的专家,但考虑到我只是从不同的文件调用相同的函数,这种有争议的类型不匹配行为很难理解。
答案 0 :(得分:2)
config.ml
用于生成main.ml
。如果需要,您可以从那里复制生成的代码。