mirage / functoria

A DSL to invoke otherworldly functors
ISC License
62 stars 21 forks source link

Assert_failure app/functoria_graph.ml:248:32 #70

Closed talex5 closed 7 years ago

talex5 commented 8 years ago

In a directory containing a single file, config.ml, with:

open Mirage

let foo =
  foreign "Unikernel.Main" (stackv4 @-> job)

let stack =
  if_impl Key.is_xen
    (generic_stackv4 default_console (netif "0"))
    (socket_stackv4 default_console [Ipaddr.V4.any])

let () =
  register "dns" [foo $ stack]

I get:

$ mirage configure --no-opam

$ mirage configure --no-opam --unix
Fatal error: exception "Assert_failure app/functoria_graph.ml:248:32"

$ mirage configure --no-opam -t unix
Fatal error: exception "Assert_failure app/functoria_graph.ml:248:32"

(also happens without --no-opam, just more slowly)

$ opam list
[...]
functoria                1.1.1  A DSL to organize functor applications.
mirage                   2.9.1  The MirageOS library operating system
hannesm commented 8 years ago

I run into this issue as well, @Drup any chance you can have a look at this?

yomimono commented 8 years ago

I can't reproduce this with the current mirage-dev set of stuff. (I had to remove default_console, FWIW.)

hannesm commented 7 years ago

wasn't this fixed by #83?

Drup commented 7 years ago

Yes it was.