functoria
functoria copied to clipboard
mirage
A DSL to invoke otherworldly functors
I found this problem - but can see that `Arg.pair` is now removed, so don't know if this is relevant
``` $ cat .merlin EXCLUDE_QUERY_DIR B /usr/home/hannes/.opam/easy-mirage/lib/astring B /usr/home/hannes/.opam/easy-mirage/lib/bos B /usr/home/hannes/.opam/easy-mirage/lib/bytes B /usr/home/hannes/.opam/easy-mirage/lib/cmdliner B /usr/home/hannes/.opam/easy-mirage/lib/domain-name B /usr/home/hannes/.opam/easy-mirage/lib/fmt B /usr/home/hannes/.opam/easy-mirage/lib/fpath B /usr/home/hannes/.opam/easy-mirage/lib/functoria B /usr/home/hannes/.opam/easy-mirage/lib/functoria-runtime B /usr/home/hannes/.opam/easy-mirage/lib/functoria/app B /usr/home/hannes/.opam/easy-mirage/lib/ipaddr B /usr/home/hannes/.opam/easy-mirage/lib/logs B...
since functoria3 (/cc @samoht) the errors generated are more complex than needed. Given a `config.ml` with a typo, I see the following output: ``` # mirage configure -t hvt File...
given that we now have `Mirage_kv.RO` and `Mirage_kv.RW`, where the latter extends the former, I'm curious how to map this onto functoria devices. What I'd like to express without copy...
when working on a new `storage` configure-time key (@linse and myself), we ran into this assertion failure. (a similar issue with the same assertion has been previously reported at #70,...
- [ ] ocamlgraph: Exercise very few features (the external functor hierarchy is very flat and doesn't need connect. switching modules at configure time is not very useful). - [...
But being able to configure ≥ 1 functor applications that work together would seem cool (?) And making that work with partial re-deployments (e.g. if the HTTP port changes, only...
Currently, it's in mirage. It needs to be careful about custom configuration.
See https://github.com/yomimono/mirage/commit/aefa0ada48e8c013a3d418cc2f09689ebaa51728 for a commit reproducing the problem and a description. Note that `ipv4_qubes_conf` (https://github.com/yomimono/mirage/blob/aefa0ada48e8c013a3d418cc2f09689ebaa51728/lib/mirage.ml#L710) and `ipv4_dhcp_conf`, (https://github.com/yomimono/mirage/blob/aefa0ada48e8c013a3d418cc2f09689ebaa51728/lib/mirage.ml#L668) have the same `name` field.
Overall, I think the Functoria API looks very good: clean, well-designed and well-documented. For the moment, I have just one request: I'd prefer to see `typ` as an abstract type...
