Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
tools:editors [2020-09-05 16:42] – [Kate] fix spelling bble | tools:editors [2024-04-15 17:06] (current) – Add section on Visual Studio Code mh | ||
---|---|---|---|
Line 2: | Line 2: | ||
Of course, one can use any text editor to write and modify Curry programs. | Of course, one can use any text editor to write and modify Curry programs. | ||
- | However, for some editors (listed below), there exist specific modes | + | However, for some editors/IDEs (listed below), there exist specific modes |
to edit or highlight Curry programs. | to edit or highlight Curry programs. | ||
+ | |||
+ | ===== Visual Studio Code ===== | ||
+ | |||
+ | In order to get Curry language support in Visual Studio Code, | ||
+ | you have to build the | ||
+ | [[ https:// | ||
+ | on your machine which requires [[http:// | ||
+ | If you have `stack` installed, download the repository, | ||
+ | run '' | ||
+ | For example, execute the following commands: | ||
+ | |||
+ | > git clone https:// | ||
+ | > cd curry-language-server | ||
+ | > stack install | ||
+ | > export PATH=~/ | ||
+ | |||
+ | After building the Curry Language Server, start Visual Studio Code. Then: | ||
+ | |||
+ | * Go to extensions (Ctrl+Shift+X) and search for Curry or `fwcd.curry`. | ||
+ | * Install the "Curry IDE for Visual Studio Code" | ||
+ | * If the executable '' | ||
+ | * There you might also set the `Import Paths` to the directory where your Curry system contains the base libraries, e.g.: | ||
+ | |||
+ | " | ||
+ | "/ | ||
+ | ], | ||
+ | |||
+ | * The Curry IDE has to find the code of imported modules. In order to do so, you need to run `cypm deps -l` in the directory where you invoke Visual Studio Code. If `cypm` is in your path and you are inside a Curry package, the Curry Language Server does this automatically for you. | ||
+ | * If you reach a situation where the language server cannot find the source code of imported entities, you might try to clean intermediate data. To do so, close Visual Studio Code, remove the directory '' | ||
+ | |||
===== Emacs ===== | ===== Emacs ===== |