Code

Wingman: streaming tactic solutions#2102

Code

Merged

mergify[bot] merged 32 commits intohaskell:masterhaskell/haskell-language-server:masterfrom isovector:refinery-v5isovector/haskell-language-server:refinery-v5Copy head branch name to clipboardAug 24, 2021

+267-85

Commits

Commits on Aug 12, 2021

• WIP abstract LSP, take the pain out of writing LSP stuff

  isovector

  committed
  6deff15

  Copy full SHA for 6deff15

Commits on Aug 13, 2021

• Finish making commands

  isovector

  committed
  dc27a6c

  Copy full SHA for dc27a6c

• Separate code lenses and actions

  isovector

  committed
  bdd7f18

  Copy full SHA for bdd7f18

• Pull out types

  isovector

  committed
  f95a9c9

  Copy full SHA for f95a9c9

• Finalize the abstract API

  isovector

  committed
  07763e1

  Copy full SHA for 07763e1

• Bug fix in JSON; first connected abstract handler

  isovector

  committed
  63816b1

  Copy full SHA for 63816b1

• Add ContinuationResult for better control over how edits work

  isovector

  committed
  af54591

  Copy full SHA for af54591

• Remove IO from TacticProviders; use LspEnv instead

  isovector

  committed
  e644a1f

  Copy full SHA for e644a1f

• installInteractions

  isovector

  committed
  149b6c5

  Copy full SHA for 149b6c5

• Pull TacticCodeActions into their own file

  isovector

  committed
  ee6b73c

  Copy full SHA for ee6b73c

• Misc cleanup

  isovector

  committed
  69ec486

  Copy full SHA for 69ec486

• Haddock

  isovector

  committed
  6b44e4d

  Copy full SHA for 6b44e4d

• Fix bug in codelens

  isovector

  committed
  cefbbe7

  Copy full SHA for cefbbe7

• Port EmptyCase to Interaction

  isovector

  committed
  cdfcedc

  Copy full SHA for cdfcedc

• Rename makeTacticCodeAction -> makeTacticInteraction

  isovector

  committed
  a552896

  Copy full SHA for a552896

Commits on Aug 14, 2021

• Support for partial timeouts in upcoming refinery v5

  isovector

  committed
  2aedbe7

  Copy full SHA for 2aedbe7

Commits on Aug 16, 2021

• asum instead of choice for assumption

  isovector

  committed
  d80fc2c

  Copy full SHA for d80fc2c

• Don't count it as using a term if you only destruct it

  isovector

  committed
  7ec618b

  Copy full SHA for 7ec618b

• Merge branch 'dont-award-unused-matches' into refinery-v5

  isovector

  committed
  77bcd55

  Copy full SHA for 77bcd55

• Let interactions return multiple results --- aka also info messages

  isovector

  committed
  1755392

  Copy full SHA for 1755392

• Update refinery lower bounds

  isovector

  committed
  53199b3

  Copy full SHA for 53199b3

Commits on Aug 19, 2021

• Revert "Update refinery lower bounds"

  Show description for 436bf46
  isovector

  committed
  436bf46

  Copy full SHA for 436bf46

• Pull refinery from the future

  isovector

  committed
  602205d

  Copy full SHA for 602205d

• Merge branch 'master' into refinery-v5

  isovector

  committed
  894cae7

  Copy full SHA for 894cae7

• Fix tests

  isovector

  committed
  2783100

  Copy full SHA for 2783100

• Add -XNumDecimals

  isovector

  committed
  063987d

  Copy full SHA for 063987d

Commits on Aug 20, 2021

• Merge branch 'master' into refinery-v5

  isovector

  authored
  12079f1

  Copy full SHA for 12079f1

• Fix AutoTypeLevel test

  isovector

  committed
  cf3a941

  Copy full SHA for cf3a941

• Continue to emit errors

  isovector

  committed
  54469b5

  Copy full SHA for 54469b5

• Merge branch 'refinery-v5' of github.com:isovector/haskell-language-server into refinery-v5

  isovector

  committed
  dfc5110

  Copy full SHA for dfc5110

Commits on Aug 23, 2021

• Merge branch 'master' into refinery-v5

  isovector

  authored
  dfff9e0

  Copy full SHA for dfff9e0

Commits on Aug 24, 2021

• Merge branch 'master' into refinery-v5

  mergify[bot]

  authored
  dd65b29

  Copy full SHA for dd65b29