search

Whiley / WhileyEmacsMode

GNU General Public License v3.0
0 stars 1 forks source link

VSCode extension #4

Open k4rtik opened 2 years ago

k4rtik commented 2 years ago

Hi David

FYI I created a VSCode extension based on this emacs mode at https://github.com/k4rtik/whiley-lang

It's now published at https://marketplace.visualstudio.com/items?itemName=k4rtik.whiley-lang

Probably nothing actionable apart from updating the docs somewhere to point to the extension. I am also open if you want to adopt the git repo and extension into Whiley github org.

DavePearce commented 2 years ago

Hey Kartik,

Ok, awesome --- I will check that out!! I do use VS Code, though not regularly. I have used it for Dafny for example. At some point, my hope is to put together a proper implementation with code highlighting, etc. I'm imagining I would begin by build a language server ...

k4rtik commented 2 years ago

Realized I should have used https://github.com/Whiley/WhileySyntaxBundle as source, instead of emacs-mode.

EDIT: fixed in https://github.com/k4rtik/whiley-lang/commit/abef5369f099087e42e08af39c07ac66dfabd11f