haskell/haskell-language-server issues and pull requests

#3525 - Simpler Tier 1 tactics for case splits

Issue - State: open - Opened by ejconlon over 2 years ago - 7 comments
Labels: type: enhancement, component: wingman

#3515 - wingman caseSplit uses out-of-scope (unqualified) constructors

Issue - State: closed - Opened by aavogt almost 3 years ago
Labels: type: bug, component: wingman

#3041 - Wingman should be able to autocomplete missing function patterns

Issue - State: closed - Opened by NiekPas over 3 years ago - 2 comments
Labels: type: enhancement, status: in discussion, component: wingman

#2971 - Support Wingman on ghc 9.2

Issue - State: closed - Opened by santiweight over 3 years ago - 41 comments
Labels: component: plugins, component: wingman, GHC

#2942 - Custom Tactic Block won't work with GHC 9.0

Issue - State: closed - Opened by konn over 3 years ago - 2 comments
Labels: type: bug, component: wingman

#2690 - Support for COMPLETE pragma pattern matching.

Issue - State: closed - Opened by lsmor almost 4 years ago - 6 comments
Labels: type: enhancement, status: in discussion, component: wingman

#2667 - Wingman tries to use `in` as a name for Int32

Issue - State: closed - Opened by isovector almost 4 years ago
Labels: type: bug, component: wingman

#2626 - Wingman produces ill-typed program with fundeps

Issue - State: closed - Opened by isovector almost 4 years ago - 2 comments
Labels: type: bug, component: wingman

#2620 - Wingman should know about `absurd`

Issue - State: closed - Opened by isovector almost 4 years ago
Labels: type: enhancement, component: wingman

#2616 - Wingman doesn't check for typeclass instances when using `use`

Issue - State: closed - Opened by isovector almost 4 years ago
Labels: type: bug, component: wingman

#2610 - Wingman doesn't respect fundeps

Issue - State: closed - Opened by isovector almost 4 years ago - 1 comment
Labels: type: bug, component: wingman

#2564 - Wingman produces invalid code due to missing qualifiers when ADT is in a different module

Issue - State: closed - Opened by nmichael44 almost 4 years ago - 2 comments
Labels: type: bug, component: wingman

#2449 - Document the fact that the tactics plugin turns on -Wincomplete-patterns

Issue - State: closed - Opened by ncfavier almost 4 years ago - 3 comments
Labels: type: bug, type: enhancement, component: wingman

#2448 - Wingman: TODO(sandy) error pops up after the first tactic

Issue - State: closed - Opened by lsmor about 4 years ago - 27 comments
Labels: type: bug, component: wingman

#2437 - Wingman: Using the completion system for case analysis

Issue - State: closed - Opened by kalhauge about 4 years ago - 7 comments
Labels: type: enhancement, component: wingman

#2378 - Wingman is incorrectly not using parentheses in applications

Issue - State: closed - Opened by isovector about 4 years ago
Labels: type: bug, component: ghcide, component: wingman

#2334 - How to set up wingman with neovim built in LSP and nvim-lspconfig

Issue - State: closed - Opened by kedashoe about 4 years ago - 5 comments
Labels: type: support, component: wingman

#2229 - VSCode Wingman "Use custom Tactics Block" doesn't work

Issue - State: closed - Opened by ProofOfKeags about 4 years ago - 6 comments
Labels: type: bug, component: wingman

#2183 - Wingman removes functions in where clauses during refine hole

Issue - State: closed - Opened by santiweight about 4 years ago - 9 comments
Labels: type: bug, component: wingman

#2173 - Wingman: Empty case code actions don't respect skolems

Issue - State: closed - Opened by isovector about 4 years ago
Labels: type: bug, component: wingman

#2171 - Wingman incorrectly ignores skolems when dealing with GADT evidence

Issue - State: closed - Opened by isovector about 4 years ago - 1 comment
Labels: type: bug, component: wingman

#2170 - Wingman produces ill-typed term

Issue - State: closed - Opened by isovector about 4 years ago - 11 comments
Labels: component: wingman

#2074 - Wingman: Destruct on let-bound term fails

Issue - State: closed - Opened by isovector over 4 years ago - 4 comments
Labels: type: bug, status: needs info, component: wingman

#2071 - Hole fit suggestions don't work.

Issue - State: closed - Opened by klapaucius over 4 years ago - 5 comments
Labels: type: bug, component: wingman

#2046 - Wingman doesn't case split on forall-quantified values

Issue - State: closed - Opened by isovector over 4 years ago - 3 comments
Labels: type: bug, component: wingman

#2015 - Wingman/"Case split": Exception: [...]/share/hyph-en-us.hyp.txt.gz: openBinaryFile: does not exist (No such file or directory)

Issue - State: closed - Opened by runeksvendsen over 4 years ago - 3 comments
Labels: type: bug, component: wingman

#2011 - Wingman recursion performance bug

Issue - State: closed - Opened by Tarmean over 4 years ago - 2 comments
Labels: type: bug, performance, component: wingman

#2002 - Wingman feature request: Support for tactic subgoals via let

Issue - State: closed - Opened by s-zeng over 4 years ago - 5 comments
Labels: type: enhancement, component: wingman

#1976 - Wingman's hyphenation dependency is broken in the 1.2 release

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment
Labels: type: bug, CI, component: wingman, old_type: distribution

#1965 - Wingman proofstates don't look good outside of VSCode

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: enhancement, component: wingman

#1964 - Parse errors in metaprograms have the wrong file offsets

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: bug, component: wingman

#1960 - Wingman: empty case code lens spurious appears for genuine empty-cases

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: bug, component: wingman

#1959 - Wingman: intros binds too many variables

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: bug, component: wingman

#1953 - It would be nice if wingman's Complete case constructors lens worked with LambdaCase

Issue - State: closed - Opened by expipiplus1 over 4 years ago - 2 comments
Labels: type: enhancement, component: wingman

#1943 - Wingman/exactprint gets confused when a comment precedes a metaprogram

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment
Labels: type: bug, component: wingman

#1937 - Wingman incorrectly unifies skolems across apart GADT matches

Issue - State: closed - Opened by isovector over 4 years ago - 2 comments
Labels: type: bug, component: wingman

#1911 - Wingman metaprogram proofstates don't timeout

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: bug, component: wingman, level: easy

#1893 - Autocomplete/actions for Wingman's tactic block

Issue - State: closed - Opened by Ailrun over 4 years ago - 1 comment
Labels: type: enhancement, component: wingman

#1884 - Wingman is still flummoxed by GADT evidence

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment
Labels: type: bug, component: wingman

#1879 - Wingman produces silly arbitrary instance for single-constructor types

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: enhancement, component: wingman

#1874 - Wingman can't split type family

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: bug, component: wingman

#1869 - Tactics: suggest monomorphic functions that are "barely not imported"

Issue - State: closed - Opened by ProofOfKeags over 4 years ago
Labels: type: enhancement, component: wingman

#1854 - Begin custom metaprogram wildcardifies bound variables

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: bug, component: wingman

#1820 - Wingman introduces lambda that breaks record syntax

Issue - State: closed - Opened by berberman over 4 years ago
Labels: type: bug, component: wingman

#1803 - Wingman won't apply return-type-polymorphic functions, even if they're the only things that would typecheck

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: bug, component: wingman

#1767 - Empty case split should graft into FunBinds matches if possible

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment
Labels: type: enhancement, component: wingman

#1736 - Splitting a variable bound in a `NamedFieldPun` duplicates record match

Issue - State: closed - Opened by kcsongor over 4 years ago - 1 comment
Labels: type: bug, component: wingman

#1732 - Feature request: add missing cases

Issue - State: closed - Opened by kcsongor over 4 years ago - 10 comments
Labels: type: enhancement, status: blocked, component: wingman

#1716 - case split on case of statement with no destructor cases declared

Issue - State: closed - Opened by santiweight over 4 years ago - 8 comments
Labels: type: enhancement, component: wingman

#1714 - Wingman adds hole diagnostics to in-scope functions whose names begin with an underscore

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: bug, component: wingman

#1711 - Wingman shouldn't suggest destruct actions for things that are already destructed

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: enhancement, component: wingman

#1710 - Split doesn't respect type indices

Issue - State: closed - Opened by googleson78 over 4 years ago - 2 comments
Labels: type: bug, component: wingman

#1704 - Wingman should notice variables already used, outside of the hole

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment
Labels: type: enhancement, component: wingman

#1689 - Wingman doesn't introduce new skolems for existentially bound variables

Issue - State: closed - Opened by isovector over 4 years ago - 8 comments
Labels: type: bug, component: wingman

#1680 - Wingman Intelligent derivations of Semigroup and Monoid doesn't work as expected.

Issue - State: closed - Opened by fonghou over 4 years ago - 2 comments
Labels: type: bug, component: wingman

#1678 - Wingman goes into auto when attempting to derive semigroup

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment
Labels: type: bug, component: wingman

#1677 - Wingman can't split all arguments if some of them aren't splittable

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: bug, component: wingman

#1674 - Lambda case quick action format instance heads

Issue - State: closed - Opened by eviefp over 4 years ago - 3 comments
Labels: type: bug, component: wingman

#1646 - Wingman doesn't pattern match on function calls

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: enhancement, component: wingman

#1643 - Feature Request: Case-split QuickFix on pattern argument

Issue - State: closed - Opened by konn over 4 years ago - 3 comments
Labels: type: enhancement, component: wingman

#1610 - Wingman agda-split transforms infix into prefix

Issue - State: closed - Opened by isovector over 4 years ago - 2 comments
Labels: type: enhancement, status: blocked, component: wingman

#1602 - Wingman gets slow on big modules

Issue - State: closed - Opened by isovector over 4 years ago - 14 comments
Labels: performance, component: wingman

#1600 - Naming of homomorphic split Wingman command

Issue - State: closed - Opened by santiweight over 4 years ago - 3 comments
Labels: type: enhancement, component: wingman

#1599 - Wingman destruct doesn't split case matches

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment
Labels: type: enhancement, component: wingman

#1571 - Wingman can't run "introduce lambda" on impredicative holes

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: enhancement, component: wingman

#1563 - Wingman produces a terrible solution to zip

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: bug, component: wingman

#1552 - Wingman eta reduction gets stymied by pattern matches

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: enhancement, component: wingman

#1551 - Wingman doesn't use synthesized evidence

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: enhancement, component: wingman

#1550 - Wingman doesn't use equality constraints

Issue - State: closed - Opened by isovector over 4 years ago
Labels: type: enhancement, component: wingman

#1548 - Wingman will unify types that don't share a context

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment
Labels: type: bug, component: wingman

#1542 - Wingman: case split on variable deletes existing function definition

Issue - State: closed - Opened by jhrcek over 4 years ago - 1 comment
Labels: type: bug, component: wingman

#1541 - Wingman case split does the wrong thing on nested binds

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment
Labels: type: bug, component: wingman

#1540 - graftExpr produces bad output for list literals

Issue - State: closed - Opened by isovector over 4 years ago - 1 comment
Labels: type: bug, component: wingman

#1518 - Recursion tactic doesn't fire when deriving mutual recursion

Issue - State: closed - Opened by isovector almost 5 years ago
Labels: type: bug, component: wingman

#1504 - Wingman generates bool backwards

Issue - State: closed - Opened by isovector almost 5 years ago - 1 comment
Labels: type: enhancement, component: wingman

#1486 - Wingman inserts layout-breaking spaces when case-splitting in do block

Issue - State: closed - Opened by isovector almost 5 years ago - 2 comments
Labels: type: bug, component: wingman

#1467 - Wingman cheats when scoring unused enum types

Issue - State: closed - Opened by isovector almost 5 years ago
Labels: type: enhancement, component: wingman

#1462 - Wingman doesn't respect GADT equalities when splitting

Issue - State: closed - Opened by isovector almost 5 years ago
Labels: type: bug, component: wingman

#1447 - Tactics incorrectly synthesizes identity

Issue - State: closed - Opened by isovector almost 5 years ago - 7 comments
Labels: type: bug, component: wingman

#1426 - Tactics' agda-split can destroy matches

Issue - State: closed - Opened by isovector almost 5 years ago - 1 comment
Labels: type: bug, component: wingman

#1355 - Add a config option to control tactics' auto's gas

Issue - State: closed - Opened by isovector almost 5 years ago - 4 comments
Labels: type: enhancement, component: wingman

#1354 - Tactics can't solve functions involving overloaded literals

Issue - State: closed - Opened by isovector almost 5 years ago - 2 comments
Labels: type: bug, component: wingman

#1353 - Tactics should synthesize records in record-style

Issue - State: closed - Opened by isovector almost 5 years ago
Labels: type: enhancement, component: wingman

#1346 - Tactics plugin doesn't correctly get the theta type when defining class methods

Issue - State: closed - Opened by isovector almost 5 years ago - 1 comment
Labels: type: bug, component: wingman

#1329 - No valid buildplan for hls 0.9.0 with the tactis-plugin

Issue - State: closed - Opened by maralorn almost 5 years ago - 10 comments
Labels: type: bug, CI, component: wingman

#1285 - Tactics plugin doesn't make use of existential or type equality constraints

Issue - State: closed - Opened by Jashweii almost 5 years ago - 7 comments
Labels: type: enhancement, component: wingman

#695 - Add a known tactic for writing arbitrary instances

Pull Request - State: closed - Opened by isovector almost 5 years ago
Labels: component: wingman

#582 - Tactics: case split as several declarations

Issue - State: closed - Opened by serras about 5 years ago - 4 comments
Labels: type: enhancement, component: wingman

#565 - Tactics plugin generates ill-typed term

Issue - State: closed - Opened by siraben about 5 years ago - 4 comments
Labels: type: bug, can-workaround, component: wingman

#563 - Tactics plugin cannot derive program under certain constraints and bindings

Issue - State: closed - Opened by siraben about 5 years ago - 7 comments
Labels: type: enhancement, component: wingman

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

Issue - State: closed - Opened by siraben about 5 years ago - 5 comments
Labels: type: enhancement, component: wingman

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

Issue - State: closed - Opened by siraben about 5 years ago - 2 comments
Labels: type: enhancement, component: wingman

#560 - Tactics should make use of GHC hole refinment suggestions

Issue - State: closed - Opened by wz1000 about 5 years ago - 7 comments
Labels: component: wingman

#541 - Tactics plugin generates ill-typed term

Issue - State: closed - Opened by siraben about 5 years ago - 3 comments
Labels: type: bug, component: wingman

#539 - Tactics plugin returns wrong result for program

Issue - State: closed - Opened by siraben about 5 years ago - 5 comments
Labels: type: enhancement, component: wingman

#468 - Infix data constructors should be printed infix when case splitting

Issue - State: closed - Opened by mpickering about 5 years ago
Labels: type: enhancement, component: wingman

#394 - Allow using LambdaCase in case splitting plugin

Issue - State: closed - Opened by expipiplus1 about 5 years ago - 4 comments
Labels: type: enhancement, component: plugins, component: wingman

GitHub / haskell/haskell-language-server issues and pull requests