[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: New jrpc.el JSONRPC library

From: Clément Pit-Claudel
Subject: Re: New jrpc.el JSONRPC library
Date: Sun, 20 May 2018 20:14:13 -0400
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0

On 2018-05-20 19:11, João Távora wrote:
>> Doesn't LSP-mode let you use language-specific additions, for modes
>> that require more complex interaction than the default style?
> If your question is about lsp-mode.el, I'm not the best person to ask.

Sorry, I meant LSP. I'm not sure why I added -mode after this.

> That said, as Josh points out in the other thread, eglot.el's plan is
> not to shut the door on these experiments in any way. That hypothetical
> code should go into the major-mode's .el file, hopefully briefly, until
> eventually it ends up in eglot.el as a part of the official spec.

Very nice.

The specific scenario I'm curious about is proof assistants like Coq or F*. In 
these, the buffer is divided into a number of regions (definitions), each of 
which has a state: unsent, sent, processed.  The user tells emacs which 
fragments to send and when, and the server responds as it processes the 

I'd love to be able to move to LSP, instead of having to recode clients every 


reply via email to

[Prev in Thread] Current Thread [Next in Thread]