Rodolphe Lepigre

Patoline does not really have a built-in notion of box, but it would be possible to implement such a thing. For instance, I came up with [examples/stack_text.txp](https://github.com/patoline/patoline/blob/master/examples/stack_text.txp) for the example...

I'm having the same issue with dune 3.4.1. This makes `ppx_blob` completely unusable.

As suggested by @gares on zulip, I can circumvent the issue by adding the attribute `#[arguments(raw)]` to `Elpi Command hello.`.

Yeah, that is possible but currently Lambdapi is not set up of that. There is the `Bindlib.*_in` family of functions that can be used for that. However, I feel like...

I'm not sure how to reproduce this, I do not have emacs set up correctly at the moment. @gabrielhdt can you try? All I can say is that the problem...

So what was the problem in the end? Could someone update the title of the issue accordingly?

> But, I thing it's very useful to check the terminaison before run a process at 100% CPU. Well, we can't really do that because that is not the main...

That is not normal, you should be able to stop the LSP server somehow. Or at least to tell the LSP mode to stop sending updates for a while. Is...

It is actually important to be able to interrupt the LSP mode manually in case there is potential non-termination going on.

> in the current architecture, the best choice is to bind the VSCode interrupt command so it sends a signal to the lsp server. @ejgallego do you mean that we...