François Pottier

@lpw25 writes: *The key is to have an operation like `Shallow.fiber` in my API above, that takes an effectful computation and turns it into an continuation returning the `ret` type.*...

Thanks (all) for your work on this syntax, I am looking forward to using it! Is support for local `let effect` declarations included in this PR?

[baby](https://github.com/fpottier/baby) ([documentation](https://cambium.inria.fr/~fpottier/baby/doc/baby/)) implements weight-balanced trees, following the paper [Joinable Parallel Balanced Binary Trees](https://dl.acm.org/doi/full/10.1145/3512769) by Blelloch, Ferizovic, and Sun (2022). The complexity of every operation is documented. I have tested it...

> here is the patch for menhirlib Thanks! I have applied it. It will be in the next release of Menhir.

I do agree that the current "high-level API" (beyond the primitive combinators) is rather messy. We never got around to cleaning it up. You are welcome to propose new combinators...

Hello Alasdair. Thanks for this suggestion. I definitely do not want to change the semantics of the existing `hardline` combinator, but adding a new combinator with a different semantics could...

@hackwaly, this sounds like an interesting suggestion. I suppose you mean: "every time a *nonblank* character is emitted at the begining of a line, it is immediately preceded by `n`...

Okay. (By the way, `discover.sh` says `run ./configure first`, but the script is named `detect.sh`, not `configure`.) Using a freshly cloned `core` repository, I get this: ``` master $ more...

Hi @xclerc. The command that you suggested succeeds (exit code 0, no output) and creates `a.out`. Running `a.out` also succeeds (exit code 0, no output). The file `/usr/include/x86_64-linux-gnu/sys/timerfd.h` exists on...

What seems weird is that everything works fine in 4.09, but fails in 4.09+bytecode-only. So the problem is perhaps not related to the particular OS I am using?