haskell/haskell-language-server
1
1
Fork 0
mirror of https://github.com/haskell/haskell-language-server.git synced 2024-09-11 16:56:14 +03:00
Code Issues Projects Releases Wiki Activity
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
2,807 Commits 593 Branches 115 Tags 60 MiB
Haskell 93.5%
JavaScript 3.4%
TypeScript 1.4%
Shell 0.8%
Nix 0.4%
Other 0.4%
ae3d178fc3
Go to file
Zubin Duggal ae3d178fc3 Serialize core to core files 
Add a `.hi.core` file format to which we serialize out compiled core after generating it.
This core is then read back in on subsequent runs and compiled to bytecode.

This greatly speeds up startup times when we need compilation, as we can simply read bytecode
off the disk instead of having to recompile a lot of modules

This is based off Fat Interface files in GHC: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/7502

- Also add --verify-core-file to do roundtrip testing of core-files

- Use closed world assumption for core and .hie files
2022-06-20 02:31:10 +05:30
.circleci Review project stack descriptors according to #2533 (#2874) 2022-05-01 12:08:37 +00:00
.github Support ghc-9.2.3 (#2936) 2022-06-16 15:29:38 +08:00
.gitlab gitlab-ci: Fix executable extension on windows 2022-04-27 13:50:57 +05:30
bindist Support ghc-9.2.3 (#2936) 2022-06-16 15:29:38 +08:00
docs Update Archlinux installation section (#2933) 2022-05-27 13:21:03 +00:00
exe More Fourmolu improvements (#2959) 2022-06-17 13:31:31 +00:00
ghcide Serialize core to core files 2022-06-20 02:31:10 +05:30
hie-compat Consolidate all cabal.project files (#2866) 2022-05-05 15:07:51 +01:00
hls-graph Expose runtime metrics via EKG (#2267) 2022-05-06 09:58:18 +00:00
hls-plugin-api Add throwPluginError to Plugin Utilities (#2924) 2022-05-27 15:11:08 +00:00
hls-test-utils A plugin for GADT syntax converter (#2899) 2022-05-26 17:13:09 +08:00
plugins More Fourmolu improvements (#2959) 2022-06-17 13:31:31 +00:00
release Also recognize gz files in upload script 2022-04-27 13:51:52 +05:30
shake-bench Review project stack descriptors according to #2533 (#2874) 2022-05-01 12:08:37 +00:00
src/Ide Purge some more hslogger (#2770) 2022-03-10 13:10:17 +00:00
test Expand input to pragma if available (#2871) 2022-04-30 15:36:23 +01:00
test-logs Make sure the test-logs directory exists 2020-03-15 12:38:07 +00:00
.editorconfig removed Makefile section 2020-10-11 20:28:08 +02:00
.gitignore nix update (#2892) 2022-05-13 10:09:51 +01:00
.gitlab-ci.yml Support ghc-9.2.3 (#2936) 2022-06-16 15:29:38 +08:00
.gitmodules Remove the ghcide submodule 2020-12-29 13:17:40 +00:00
.gitpod.yml enable the PR gitpod badge and drop the label (#2167) 2021-09-07 19:00:50 +02:00
.pre-commit-config.yaml Add pre-commit hook for cleaning up mixed-line endings (#2679) 2022-02-04 14:50:18 +00:00
.readthedocs.yaml Add initial sphinx doc site (#2083) 2021-08-11 08:54:51 +00:00
.stylish-haskell.yaml Add pre-commit hook for cleaning up mixed-line endings (#2679) 2022-02-04 14:50:18 +00:00
cabal.project Support ghc-9.2.3 (#2936) 2022-06-16 15:29:38 +08:00
ChangeLog.md Prepare 1.7.0.0 2022-04-21 14:08:10 +05:30
CITATION.cff Create a citation (#2155) 2021-09-04 04:17:44 +00:00
CODE_OF_CONDUCT.md Add proof of concept hard-coded hover handler 2020-01-25 19:45:32 +00:00
CODEOWNERS A plugin for GADT syntax converter (#2899) 2022-05-26 17:13:09 +08:00
configuration-ghc-90.nix nix update (#2892) 2022-05-13 10:09:51 +01:00
configuration-ghc-92.nix nix update (#2892) 2022-05-13 10:09:51 +01:00
default.nix Use cabal-install if nix is failing in CI (#1859) 2021-05-24 07:42:00 +02:00
docutils.nix nix update (#2892) 2022-05-13 10:09:51 +01:00
flake.lock chore(nix): bump nixpkgs to prevent glibc issues (#2937) 2022-06-01 22:51:30 +01:00
flake.nix nix update (#2892) 2022-05-13 10:09:51 +01:00
fmt.sh Add a new benchmark example to characterise multi-component performance (#1326) 2021-02-12 16:03:34 +00:00
FUNDING.yml Include sponsorship section (#2063) 2021-08-02 23:38:45 +00:00
GenChangelogs.hs Prepare 1.5.1 (#2393) 2021-11-28 12:54:17 +00:00
GNUmakefile Fix windows CI 2022-04-26 01:08:40 +05:30
haskell-language-server.cabal Support ghc-9.2.3 (#2936) 2022-06-16 15:29:38 +08:00
LICENSE Initial commit 2020-01-25 14:19:40 +00:00
README.md Support hls-hlint-plugin and hls-stylish-plugin for ghc9.0 and ghc9.2 (#2854) 2022-04-28 17:36:25 +00:00
Setup.hs Initial basic infrastucture 2020-01-25 14:33:53 +00:00
shell.nix Fix flake compat (#1852) 2021-05-21 15:58:26 -04:00
stack-lts16.yaml A plugin for GADT syntax converter (#2899) 2022-05-26 17:13:09 +08:00
stack-lts19.yaml Support ghc-9.2.3 (#2936) 2022-06-16 15:29:38 +08:00
stack.yaml Support ghc-9.2.3 (#2936) 2022-06-16 15:29:38 +08:00

README.md

haskell-language-server

haskell-language-server

Release Hackage License Apache 2.0 CircleCI GitHub Testing Workflow GitHub Nix Workflow ircchat codetriage

The official Haskell language server (LSP) implementation. Consult the project documentation for more details.