Guillaume Bury
Guillaume Bury
That's very impressive ! We'll try and review as soon as possible, ^^
> Issues in CI workflows were caused by the recent release of Cmdliner (1.1.0). I don't know why it doesn't show up in the CI of the "next" branch. I...
Indeed, I'll try and fix that in `next` asap.
The `next` branch has been fixed (with regards to the cmdliner changes, as well as other minor build-related fixes), so you should be able to rebase your branch on top...
my apologies, I've been busy with another project recently. I'll try and look at this PR in detail (including the thing about plugins) next week.
We talked a bit with @proux01 during the JFLA. There are a few things left to do before we can merge: - there are a few comments to add (e.g....
Sorry for the late answer: we're going to try and see how much work would be needed to provide a windows installer. Out of curiosity, would you need the GUI...
Apart from the syntax, how does this differ from using first-class modules ?
> A possibly more direct logic would be to set the block tag to be the exception `e` directly, Wouldn't that prevent distinguishing between a lazy value that raises an...
I'll try and do that this weekend then (one upside of the current situation: I'll have way more free time than usual, ^^). The part that might be more complex...