Code

Draft: Implement a language server#100

Code

Closed

fwcd wants to merge 77 commits intokoka-lang:devkoka-lang/koka:devfrom fwcd:language-serverfwcd/koka:language-serverCopy head branch name to clipboard

+830-17

Commits

Commits on Dec 9, 2020

• Gitignore .vscode

  fwcd

  committed
  4e005d1

  Copy full SHA for 4e005d1

• Add language server mode

  fwcd

  committed
  c3db897

  Copy full SHA for c3db897

• Add language server protocol library

  fwcd

  committed
  5d5b075

  Copy full SHA for 5d5b075

• Add dependency on lens library

  fwcd

  committed
  1889536

  Copy full SHA for 1889536

• Update stack resolver

  Show description for 665f959
  fwcd

  committed
  665f959

  Copy full SHA for 665f959

• Add unliftio extra-dep

  Show description for 98cde17
  fwcd

  committed
  98cde17

  Copy full SHA for 98cde17

• Implement basic LSP handler

  fwcd

  committed
  d86f6b6

  Copy full SHA for d86f6b6

• Move 'fail' implementations to MonadFail

  Show description for 19f0d18
  fwcd

  committed
  19f0d18

  Copy full SHA for 19f0d18

• Implement 'fail' for IOErr

  fwcd

  committed
  206d174

  Copy full SHA for 206d174

• Implement 'fail' for Asm

  Show description for 479718e
  fwcd

  committed
  479718e

  Copy full SHA for 479718e

• Add option for language server mode

  fwcd

  committed
  e62a764

  Copy full SHA for e62a764

• Add language client to VSCode extension

  fwcd

  committed
  2ea5c22

  Copy full SHA for 2ea5c22

• Fix VSCode extension executable path

  fwcd

  committed
  90d0aa0

  Copy full SHA for 90d0aa0

• Add missing options to language server runner

  fwcd

  committed
  ed510ef

  Copy full SHA for ed510ef

• Implement experimental hover

  fwcd

  committed
  371dd04

  Copy full SHA for 371dd04

• Control range map generation via new flag

  fwcd

  committed
  e42d151

  Copy full SHA for e42d151

• Derive Show on RangeMap

  fwcd

  committed
  e420c6b

  Copy full SHA for e420c6b

• Implement hover using range map

  fwcd

  committed
  c3f8dee

  Copy full SHA for c3f8dee

• Use actual range in hover result

  fwcd

  committed
  4618e99

  Copy full SHA for 4618e99

• Add rangeLength

  fwcd

  committed
  e86f8e7

  Copy full SHA for e86f8e7

• Find innermost range in rangeMapFindAt

  fwcd

  committed
  20d5001

  Copy full SHA for 20d5001

• Fix off-by-ones in LSP pos/range conversions

  fwcd

  committed
  f79f53b

  Copy full SHA for f79f53b

• Only start language client in VSCode extension if option is set

  fwcd

  committed
  fc98530

  Copy full SHA for fc98530

• Improve todo comments

  fwcd

  committed
  de44cb8

  Copy full SHA for de44cb8

• Update cabal file

  fwcd

  committed
  cbc8747

  Copy full SHA for cbc8747

• Update language server options in VSCode extension

  Show description for a085ae1
  fwcd

  committed
  a085ae1

  Copy full SHA for a085ae1

• Perform some stylistic cleanup in LanguageServer.Handlers

  fwcd

  committed
  ae607d9

  Copy full SHA for ae607d9

• Using pretty-printer to generate better hovers

  Show description for 0d1c20e
  fwcd

  committed
  0d1c20e

  Copy full SHA for 0d1c20e

• Factor out pos/range LSP conversions into separate module

  fwcd

  committed
  54d2e19

  Copy full SHA for 54d2e19

• Move hover into separate module

  fwcd

  committed
  f22e5cf

  Copy full SHA for f22e5cf

• Improve handling of errors when creating hover

  fwcd

  committed
  39038ae

  Copy full SHA for 39038ae

• Add conversions for LSP diagnostics

  fwcd

  committed
  e9225d2

  Copy full SHA for e9225d2

• Generate experimental LSP diagnostics

  fwcd

  committed
  d6362a8

  Copy full SHA for d6362a8

• Add source to LSP diagnostics and flush them

  fwcd

  committed
  91c4604

  Copy full SHA for 91c4604

• Clean up imports in hover module

  fwcd

  committed
  f2f5d41

  Copy full SHA for f2f5d41

Commits on Dec 10, 2020

• Move hover handler

  fwcd

  committed
  74f144d

  Copy full SHA for 74f144d

• Add stub handlers for text document changes

  fwcd

  committed
  2422049

  Copy full SHA for 2422049

• Add LSP initialization handler

  fwcd

  committed
  1436685

  Copy full SHA for 1436685

• Add custom monad for storing language server-specific state

  fwcd

  committed
  9b89384

  Copy full SHA for 9b89384

• Add accessors to language server monad

  fwcd

  committed
  7048e96

  Copy full SHA for 7048e96

• WIP: Recompile text documents in language server on changes

  fwcd

  committed
  2af326f

  Copy full SHA for 2af326f

• Enable open/close notifications

  fwcd

  committed
  ae48beb

  Copy full SHA for ae48beb

• Share the LSState among all handlers

  fwcd

  committed
  8353451

  Copy full SHA for 8353451

• Fix LS state accessor

  fwcd

  committed
  eb21f36

  Copy full SHA for eb21f36

• Remove debug log messages from LSP text doc handlers

  fwcd

  committed
  b37bf3b

  Copy full SHA for b37bf3b

Commits on Dec 11, 2020

• Add LSP location conversions

  fwcd

  committed
  c646824

  Copy full SHA for c646824

• Add LSP definition handler

  fwcd

  committed
  ae2851b

  Copy full SHA for ae2851b

• Remove unused 'rightToMaybe' function

  fwcd

  committed
  d31c02a

  Copy full SHA for d31c02a

• Look up constructor definitions in LSP definition handler

  fwcd

  committed
  bc0a6ea

  Copy full SHA for bc0a6ea

• Look up types in LSP definition handler

  fwcd

  committed
  aa604a1

  Copy full SHA for aa604a1

• Look up synonyms in LSP definition handler

  fwcd

  committed
  0c47ef1

  Copy full SHA for 0c47ef1

• Clean up recompileFile function in LSP handler

  fwcd

  committed
  317fe77

  Copy full SHA for 317fe77

• Add unneccessary tag to warnings mentioning 'unused'

  Show description for 117ba29
  fwcd

  committed
  117ba29

  Copy full SHA for 117ba29

• Add some more doc comments

  fwcd

  committed
  3338b7f

  Copy full SHA for 3338b7f

• Add document symbol LSP handler

  fwcd

  committed
  0c11297

  Copy full SHA for 0c11297

• Update imports in LSP handlers

  fwcd

  committed
  88a7c29

  Copy full SHA for 88a7c29

• List top-level declarations as document symbols

  fwcd

  committed
  97c84f5

  Copy full SHA for 97c84f5

• Traverse expressions and patterns for symbols

  fwcd

  committed
  9381e70

  Copy full SHA for 9381e70

• Extract symbols from handlers and lambda expressions

  fwcd

  committed
  06e4655

  Copy full SHA for 06e4655

• Extract symbols from type declarations

  fwcd

  committed
  9bc5fae

  Copy full SHA for 9bc5fae

• Add HasSymbols instance over lists

  fwcd

  committed
  9533e32

  Copy full SHA for 9533e32

• Provide richer LSP symbol kinds on type declarations

  fwcd

  committed
  c436f3c

  Copy full SHA for c436f3c

Commits on Dec 13, 2020

• Switch 'vscode' dependency to '@types/vscode'

  Show description for 810a966
  fwcd

  committed
  810a966

  Copy full SHA for 810a966

• Update description of the VSCode extension

  fwcd

  committed
  369b33e

  Copy full SHA for 369b33e

• Merge branch 'dev' into language-server

  fwcd

  committed
  68e4db8

  Copy full SHA for 68e4db8

• Add completion handler stub

  fwcd

  committed
  c78fb45

  Copy full SHA for c78fb45

• Add basic value completions

  fwcd

  committed
  9234ac5

  Copy full SHA for 9234ac5

• Add Kind.Constructors.constructorsList

  fwcd

  committed
  2eb4340

  Copy full SHA for 2eb4340

• Add basic constructor completions

  fwcd

  committed
  2184bc7

  Copy full SHA for 2184bc7

• Add basic synonym completions

  fwcd

  committed
  a7d6a85

  Copy full SHA for a7d6a85

• Update note on type completions

  fwcd

  committed
  49aa566

  Copy full SHA for 49aa566

• Generate more specific completion item kinds

  fwcd

  committed
  4d474a1

  Copy full SHA for 4d474a1

• Provide types in completion detail

  fwcd

  committed
  a503d27

  Copy full SHA for a503d27

• Add some todo notes regarding code completion enhancements

  fwcd

  committed
  a54b90d

  Copy full SHA for a54b90d

Commits on Dec 14, 2020

• Update vscode dependencies

  fwcd

  committed
  8e10a56

  Copy full SHA for 8e10a56

• Fix vscode-languageclient imports

  fwcd

  committed
  93d10b0

  Copy full SHA for 93d10b0

Commits on Dec 15, 2020

• Add keyword completions

  fwcd

  committed
  6dfee8f

  Copy full SHA for 6dfee8f