search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
335 stars 68 forks source link

config: Add prettier formatter #849

Closed TDiazT closed 1 month ago

TDiazT commented 2 months ago

Adding a base setup to have a formatter for the main extension files. It is not formatting the goal view nor search ui because they have separate config files, which I think can be handled differently (vite setup). Fixed some typos.

rtetley commented 2 months ago

The CI failures are due to the yarn.nix files not being updated. Could you run the nix-shell -p yarn2nix --run "yarn2nix > ` yarn.nix" command in the client directory ? That should fix it ! Also sorry I pushed a number of things since then :sweat_smile: Could you rebase ? I'll then merge !

TDiazT commented 1 month ago

Having some 🤷 conflicts, if you could check them @rtetley pls. I am having some trouble displaying the goals as well, so I might have broken something trying to rebase.

TDiazT commented 1 month ago

Having some 🤷 conflicts, if you could check them @rtetley pls. I am having some trouble displaying the goals as well, so I might have broken something trying to rebase.

There was a little bug in extension.ts. Added a commit renaming the function call (although this one should go on a separate commit probably because it's already in main).

rtetley commented 1 month ago

The CI failures are due to the yarn.nix files not being updated. Could you run the nix-shell -p yarn2nix --run "yarn2nix > ` yarn.nix" command in the client directory ? That should fix it ! Also sorry I pushed a number of things since then 😅 Could you rebase ? I'll then merge !

The CI failures are still due to the yarn.nix files. No need to rebase this time though :-)

rtetley commented 1 month ago

Thanks !