github.com/haskell/haskell-language-server issues

Prepare 0.6 release

jneira opened this pull request about 4 years ago

too many clang/gcc processes, system limit reached

simonmichael opened this issue about 4 years ago

Disable hlint hints when there are GHC errors

alanz opened this issue about 4 years ago

Segfault on big multi-package project

Vlix opened this issue about 4 years ago

Some warnings are not always displayed

maksbotan opened this issue about 4 years ago

Test infrastructure for plugins

jneira opened this issue about 4 years ago

Prepare hls-plugin-api-0.5

jneira opened this pull request about 4 years ago

Using ghcide to try and debug problems is hard

ndmitchell opened this issue about 4 years ago

HLS 0.5.1 gets stuck in Fedora

mdimjasevic opened this issue about 4 years ago

Unused import warnings

georgefst opened this issue about 4 years ago

Suggest adding -Wno-orphans when orphans are encountered

expipiplus1 opened this issue over 4 years ago

Fix tasty rerun

jneira opened this pull request over 4 years ago

Inserting a constraint context erases the rest of type signature

googleson78 opened this issue over 4 years ago

Bump up ghcide submodule to version 0.5.0

jneira opened this pull request over 4 years ago

2020-11 monthly release

alanz opened this issue over 4 years ago

Haskell Language Server seems to enter infinite loop with concrete hie.yaml

jaunruh opened this issue over 4 years ago

Tactics plugin generates ill-typed term

siraben opened this issue over 4 years ago

CodeLens provided by ModuleName does not disappear properly

berberman opened this issue over 4 years ago

Tactics plugin cannot derive program under certain constraints and bindings

siraben opened this issue over 4 years ago

Tactics plugin cannot derive I from combinators S and K in tagless-final style

siraben opened this issue over 4 years ago

Tactics plugin fails to solve program involving two different instantiations for fmap

siraben opened this issue over 4 years ago

Tactics should make use of GHC hole refinment suggestions

wz1000 opened this issue over 4 years ago

Is it possible (and sensible) to disable the monomorphism restriction when suggesting type sigs?

expipiplus1 opened this issue over 4 years ago

Refactor tactics to track hypothesis provenance

isovector opened this pull request over 4 years ago

Working refactor

isovector opened this pull request over 4 years ago

Language pragmas are inserted incorrectly at the top of file (before shebangs)

expipiplus1 opened this issue over 4 years ago

hlint and CPP

alanz opened this issue over 4 years ago

hlint hints tweak suggestion

alanz opened this issue over 4 years ago

Use bash shell to allow its idioms

jneira opened this pull request over 4 years ago

Mixins are not accounted when trying to hide Prelude

Martoon-00 opened this issue over 4 years ago

Move symbol/definition to other module

jonathanmoregard opened this issue over 4 years ago

Expose & Unexpose (existing code lens) as code actions

jonathanmoregard opened this issue over 4 years ago

Refactor

isovector opened this pull request over 4 years ago

Error when formatting with Brittany (works for other formatters)

rnikhill opened this issue over 4 years ago

Clicking evaluation code-lens accent fails, inserts backtrace

patrickt opened this issue over 4 years ago

Ignore flakey tactics test

isovector opened this pull request over 4 years ago

Better scoring metric for deriving safeHead

isovector opened this pull request over 4 years ago

`hspec-discover` file fails with "could not execute: hspec-discover"

ProofOfKeags opened this issue over 4 years ago

Brittany config indentation is not respected

andys8 opened this issue over 4 years ago

Discover skolems in the hypothesis, not just goal

isovector opened this pull request over 4 years ago

Tactics plugin generates ill-typed term

siraben opened this issue over 4 years ago

`stylish-haskell` not picking up `.stylish-haskell.yaml` in parent directory

typed-hole opened this issue over 4 years ago

Tactics plugin returns wrong result for program

siraben opened this issue over 4 years ago

Example of including ghcide into shell.nix

ingun37 opened this issue over 4 years ago

[retrie] Fix code action title

pepeiborra opened this pull request over 4 years ago

[WIP] Allow applicative idioms when solving tactics

isovector opened this pull request over 4 years ago

HLS fails to build using Nix with GHC 8.6.5

siraben opened this issue over 4 years ago

Unable to set language extensions for eval plugin

expipiplus1 opened this issue over 4 years ago

Tactics support for using given constraints

isovector opened this pull request over 4 years ago

Retrie does not apply forward rule in Windows (revisit after facebookincubator/retrie#30)

jneira opened this issue over 4 years ago

Don't suggest hole filling for ambiguous holes or when there are too many suggestions

expipiplus1 opened this issue over 4 years ago

Is it possible to not suggest different imports for the same thing

expipiplus1 opened this issue over 4 years ago

Use ghcide master head (d76fbf9)

jneira opened this pull request over 4 years ago

Add missing tactic subpackage in default stack.yaml

jneira opened this pull request over 4 years ago

Import syntax is a parse error

Fresheyeball opened this issue over 4 years ago

Use implicit-hie-0.1.2.0

jneira opened this pull request over 4 years ago

Enable ignored tests: renaming and liquid haskell

jneira opened this issue over 4 years ago

Use ghcide version with last TemplateHaskell improvements

jneira opened this issue over 4 years ago

Wait for diagnostics in tactics tests

isovector opened this pull request over 4 years ago

[WIP] Metaprogramming interface to tactics

isovector opened this pull request over 4 years ago

cocn-vim documentation on hover seems broken

zelhar opened this issue over 4 years ago

Attempt to repro CI failures in tactics

isovector opened this pull request over 4 years ago

Implement "split" tactic

WorldSEnder opened this pull request over 4 years ago

Fix a bug in tactics preventing split of split

isovector opened this pull request over 4 years ago

Use infix notation for destructing and splitting infix data cons

isovector opened this pull request over 4 years ago

Retry the build three times

jneira opened this pull request over 4 years ago

Fix testdata hie.yaml generation

jneira opened this issue over 4 years ago

Separate tactics into its own package

isovector opened this pull request over 4 years ago

Regularise the config for plugins

alanz opened this issue over 4 years ago

Record Snippets Completion

gdevanla opened this pull request over 4 years ago

How to disable fold/unfold suggestions?

mrkkrp opened this issue over 4 years ago

Benchmark more kinds of configurations

wz1000 opened this issue over 4 years ago

Eval Plugin cannot handle internal library imports

konn opened this issue over 4 years ago

Makes dictionary argument exclusion logic in Tactic plugin more robust

konn opened this pull request over 4 years ago

Error loading project with optional `packages` field missing in stack.yaml

armatures opened this issue over 4 years ago

My pragmas keep shouting at me

emilypi opened this issue over 4 years ago

The type of selected expression

nartamonov opened this issue over 4 years ago

Add a Troubleshooting section to the README

michaelpj opened this pull request over 4 years ago

Suggestions or actions to use type synonyms

expipiplus1 opened this issue over 4 years ago

Remove redundant imports failure

googleson78 opened this issue over 4 years ago

Add GitHub Actions CI for testing

bubba opened this pull request over 4 years ago

`ghc -i` include paths ignored with "direct" cradle

rvl opened this issue over 4 years ago

Fix stack build for ghc-8.8.3 failing on some machines

luntain opened this pull request over 4 years ago

cabal: streamingProcess: runInteractiveProcess: exec: does not exist (No such file or directory)

Vic-M opened this issue over 4 years ago

Language.Haskell.LSP.Types.Message.RequestMessage the key params was not present

teto opened this issue over 4 years ago

Zombie GCC Processes

fosskers opened this issue over 4 years ago

Problems with process handling?

hasufell opened this issue over 4 years ago

Modules in subdirectories are looked for with the wrong path.

nerfingen opened this issue over 4 years ago

Expand explanation of how to configure HLS

michaelpj opened this pull request over 4 years ago

Add a code action provider for the eval plugin (existing code lens)

michaelpj opened this issue over 4 years ago

Tactics plugin not available in coc.nvim

maksbotan opened this issue over 4 years ago

Local compiler plugin cannot be loaded in ghcide even with `-fobject-code`

konn opened this issue over 4 years ago

No warnings even if correct options are set in cabal file

hasrthur opened this issue over 4 years ago

Interleave benchmark results

pepeiborra opened this issue over 4 years ago

Please, provide wrapper with ability to respect the reproducible Nix envs that projects provide

Anton-Latukha opened this issue over 4 years ago

Prepare 0.5.1

bubba opened this pull request over 4 years ago

Add documentation on LSP

ndmitchell opened this issue over 4 years ago

[WIP]: Nix env support for the wrapper

Anton-Latukha opened this pull request over 4 years ago

"Add .. to the context of the instance declaration" code action code gen doesn't work with standalone deriving declarations

googleson78 opened this issue over 4 years ago

Minimal fix for eval regression

pepeiborra opened this pull request over 4 years ago

Ecosyste.ms: OpenCollective

github.com/haskell/haskell-language-server