Nicolas Jeannerod

Results 59 issues of Nicolas Jeannerod

- Update Nix flake dependencies and ignore unused inputs. - Use newly added fixed `dune-fmt` hook (fixed by https://github.com/cachix/pre-commit-hooks.nix/pull/296). - Have one devShell per package, for people who'd want their...

Currently, on here documents, Morbig systematically produces a word that ends with a literal containing a newline character. One could however argue that this newline, because it is systematically necessary,...

Size 1 here would be sufficient, actually. _Originally posted by @Niols in https://github.com/colis-anr/morbig/pull/164#discussion_r1218128966_

cf https://github.com/ocaml/opam-repository/pull/23667/files#r1166318717 for some more context

In particular, we could start with the functions in the module `TildePrefix`, since we worked on them recently with #164.

PR #158 enforces systematic checks that the code base is correctly indented with `ocp-indent`. This was already the case pretty much everywhere. This does raise the question, though: should we...

This PR adds two tests where the `(include_subdirs qualified)` and `(include_subdirs unqualified)` stanzas are both present, one nested under the other. They serve as expectations for feature request https://github.com/ocaml/dune/issues/7630.

## Desired Behavior I would want `(include_subdirs qualified)` and `unqualified` to interact nicely, describing only what happens to sub-directories. ## Example Let's say we have a project of this shape:...

feature-request
include-subdirs-qualified

Say I am using the `hpack` hook and I want it to use my version of `hpack` and not the default one. I will do something such as: ```nix tools...