Rudi Grinberg

Results 729 comments of Rudi Grinberg

The idea seems solid to me. > Packages which for various reasons do naughty things in _build can conflict the dune caching package If I'm understanding this suggestion correctly, this...

Sounds reasonable.

@elprans dockerfile + benchmarks updated! @creationix I'm happy to do it. Where can I find coro-http? weblit seems pretty straightforward. Are there any examples of using http-codec? I can't find...

@chrismamo1 are you still working on this?

I see. I was wondering if you were interested in upstreaming eliom support in dune itself. It would be nice if people didn't have to manually write eliom/eliomi rules :)

@paurkedal Indeed that sounds involved. It seems like you know quite a bit of what's required. If you're interested, I can help you understand the require parts of dune needed...

What about eliom libraries? Isn't it possible to define a library with client & server side components?

I see. I wonder if it's simpler to just an `eliom` field to existing stanzas. I'd prefer to introduce new stanza only if some existing fields of `library` or `executable`...

Does this accomplish what you want: https://github.com/reynir/ocp-index-top

Sure, feel free to add them but AFAIK the main issue is that you can't support `completion-at-point` asynchronously. It would be nice if the mode could fallback to completion-at-point if...