Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Extract PureScript support into an extension (#9824)

Browse source 
This PR extracts PureScript support into an extension and removes the
built-in PureScript support from Zed.

Release Notes:

- Removed built-in support for PureScript, in favor of making it
available as an extension. The PureScript extension will be suggested
for download when you open a `.purs` file.
This commit is contained in:
Marshall Bowers 2024-03-26 13:55:46 -04:00 • committed by GitHub
parent d77cda1ea9
commit b8ef97015c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
15 changed files with 144 additions and 167 deletions
Download patch file Download diff file Expand all files Collapse all files

15
extensions/purescript/extension.toml Normal file
View file

@ -0,0 +1,15 @@
id = "purescript"
name = "PureScript"
description = "PureScript support."
version = "0.0.1"
schema_version = 1
authors = ["Iván Molina Rebolledo <ivanmolinarebolledo@gmail.com>"]
repository = "https://github.com/zed-industries/zed"
[language_servers.purescript-language-server]
name = "PureScript Language Server"
language = "PureScript"
[grammars.purescript]
repository = "https://github.com/postsolar/tree-sitter-purescript"
commit = "0554811a512b9cec08b5a83ce9096eb22da18213"