Add a Petanque TCP server

ejgallego / coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

GNU Lesser General Public License v2.1

143 stars 31 forks source link

Add a Petanque TCP server #697

Closed gbdrt closed 3 months ago

gbdrt commented 4 months ago

Add a Petanque TCP server to communicate with Coq.

Bug fixes:

Run_error: unbound (ocaml 5.1.1)
Second starts with same args raise ThmNotFound

Alizter commented 4 months ago

This PR is aimed at the petanque branch, is that intentional?

ejgallego commented 3 months ago

This PR is aimed at the petanque branch, is that intentional?

Yes, we will put things in main soonish, once we get the first working prototype.

In an ideal world we could have developed petanque in its own repos, but actually it makes more sense to have a single repos for now due to API coupling and the bad state of multi-repos tooling.

ejgallego commented 3 months ago

Ouch, this was closed because I merged the petanque branch! Let me fix the mess.

ejgallego commented 3 months ago

Ok, I've rebased this on top of #705 , once #705 goes in we can merge this, but I think we may want to tweak #705 a little bit before.

ejgallego commented 3 months ago

That was closed because I deleted the branch this depended upon (again).

Sorry for all the noise, will fix ASAP.