Thomas Gazagnaire

Results 144 issues of Thomas Gazagnaire

Would be nice to have a native support for submodules.

enhancement

It seems that the online viewer cannot read the generated JSON files anymore. Is this expected? Thanks for the nice tool :-)

Right now, `dune build` or `make` will fail after a fresh clone. As `./configure` command is quite involved, it'd be nice to have a quick way to setup an environment...

From https://github.com/mirage/irmin/pull/2050#discussion_r956172914 > From a UX perspective, I think it would be nice to change (not in this PR) the configuration to max memory vs max entries since it's much...

Using an `enabled_if` library in a test stanza protected by an `enabled_if` is not supported while it is for tests. For instance https://github.com/ocaml-multicore/eio/blob/6a85b668a7cf75efcd304cba0fadabc0e2866b03/lib_eio_linux/tests/dune#L25-L30 On macOS This will fail with: ```...

Tentative new API based on discussions in https://github.com/mirage/mirage/issues/1483 Use: https://github.com/mirage/mirage-skeleton/pull/382 There are a few more cleanup to do but the changes are actually quite simple: - the `main` function in...

this is a WIP PR that aims to simplify the way we simplify dune files. The idea is to separate the "static" files that are generated from the `mirage` tool...

I'm opening this to open the discussion. The AST fragments are not typed yet but we could make this happen if we think that's useful. See https://github.com/mirage/mirage/pull/1488 for an alternative...