before.ml

after.ml

(* Generated by mirage configure -t unix (Wed, 15 Feb 2017 10:59:03 GMT). *)

open Lwt.Infix
let return = Lwt.return
let run = OS.Main.run

let _ = Printexc.record_backtrace true

module Unikernel1 = Unikernel.Main(OS.Time)(Pclock)(Mclock)

module Mirage_logs1 = Mirage_logs.Make(Pclock)

let argv_unix1 = lazy ( OS.Env.argv ())
let pclock1 = lazy ( Pclock.connect ())
let mclock1 = lazy ( Mclock.connect ())
let key1 = lazy ( Lazy.force argv_unix1  >>= fun _argv_unix1 -> 

return
(Functoria_runtime.with_argv
(List.map fst Key_gen.runtime_keys) "speaking_clock" _argv_unix1)
)

let f11 = lazy ( Lazy.force pclock1  >>= fun _pclock1 -> 
 Lazy.force mclock1  >>= fun _mclock1 -> 
 Unikernel1.start () _pclock1 _mclock1)

let mirage_logs1 = lazy ( Lazy.force pclock1  >>= fun _pclock1 -> 

let ring_size = None in
  let reporter = Mirage_logs1.create ?ring_size _pclock1 in
  Mirage_runtime.set_level ~default:Logs.Info (Key_gen.logs ());
  Mirage_logs1.set_reporter reporter;
  Lwt.return reporter)

let mirage1 = lazy ( Lazy.force key1  >>= fun _key1 -> 
 Lazy.force mirage_logs1  >>= fun _mirage_logs1 -> 
 Lazy.force f11  >>= fun _f11 -> 
 return ())

let () =
  let t =
  Lazy.force key1 >>= fun _ -> 
    Lazy.force mirage_logs1 >>= fun _ -> 
    Lazy.force mirage1
  in run t

before.ml

(* Generated by mirage configure -t unix (Wed, 15 Feb 2017 11:14:56 GMT). *)

open Lwt.Infix
let return = Lwt.return
let run =
OS.Main.run

let _ = Printexc.record_backtrace true

module Unikernel1 = Unikernel.Main(OS.Time)(Pclock)(Mclock)

module Mirage_logs1 = Mirage_logs.Make(Pclock)

let argv_unix1 = lazy (
  OS.Env.argv ()
  )

let time1 = lazy (
  return ()
  )

let pclock1 = lazy (
  Pclock.connect ()
  )

let mclock1 = lazy (
  Mclock.connect ()
  )

let key1 = lazy (
  let __argv_unix1 = Lazy.force argv_unix1 in
  __argv_unix1 >>= fun _argv_unix1 ->
  return (Functoria_runtime.with_argv (List.map fst Key_gen.runtime_keys) "speaking_clock" _argv_unix1)
  )

let noop1 = lazy (
  return ()
  )

let f11 = lazy (
  let __time1 = Lazy.force time1 in
  let __pclock1 = Lazy.force pclock1 in
  let __mclock1 = Lazy.force mclock1 in
  __time1 >>= fun _time1 ->
  __pclock1 >>= fun _pclock1 ->
  __mclock1 >>= fun _mclock1 ->
  Unikernel1.start _time1 _pclock1 _mclock1
  )

let mirage_logs1 = lazy (
  let __pclock1 = Lazy.force pclock1 in
  __pclock1 >>= fun _pclock1 ->
  let ring_size = None in
  let reporter = Mirage_logs1.create ?ring_size _pclock1 in
  Mirage_runtime.set_level ~default:Logs.Info (Key_gen.logs ());
  Mirage_logs1.set_reporter reporter;
  Lwt.return reporter
  )

let mirage1 = lazy (
  let __noop1 = Lazy.force noop1 in
  let __noop1 = Lazy.force noop1 in
  let __key1 = Lazy.force key1 in
  let __mirage_logs1 = Lazy.force mirage_logs1 in
  let __f11 = Lazy.force f11 in
  __noop1 >>= fun _noop1 ->
  __noop1 >>= fun _noop1 ->
  __key1 >>= fun _key1 ->
  __mirage_logs1 >>= fun _mirage_logs1 ->
  __f11 >>= fun _f11 ->
  Lwt.return_unit
  )

let () =
  let t =
  Lazy.force noop1 >>= fun _ ->
    Lazy.force noop1 >>= fun _ ->
    Lazy.force key1 >>= fun _ ->
    Lazy.force mirage_logs1 >>= fun _ ->
    Lazy.force mirage1
  in run t