Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Language server #346

Closed
wants to merge 39 commits into from
Closed

Language server #346

wants to merge 39 commits into from

Commits on Dec 12, 2023

  1. Language Server

    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    5fd92be View commit details
    Browse the repository at this point in the history

  2. better type environment for pretty

    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    db0bad6 View commit details
    Browse the repository at this point in the history

  3. update logo colors

    @daanx @TimWhiting
    daanx authored and TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    a0c0d23 View commit details
    Browse the repository at this point in the history

  4. fix normalization of paths using realPath to get correct capitalizati… 

    …on on windows, and using normalize in a few more places
    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    80a2d30 View commit details
    Browse the repository at this point in the history

  5. fix long paths on hover

    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    489843e View commit details
    Browse the repository at this point in the history

  6. additional normalization of import paths, and moduleSourcePaths

    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    a6a0d8b View commit details
    Browse the repository at this point in the history

  7. fix a bunch of things and add test runners

    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    51c53ca View commit details
    Browse the repository at this point in the history

  8. remove some trace statements

    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    59f4bc9 View commit details
    Browse the repository at this point in the history

  9. allow loadedModules of loaded since I'm keeping each loaded state sep… 

    …arately now
    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    c549db3 View commit details
    Browse the repository at this point in the history

  10. update comment

    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    fc0f566 View commit details
    Browse the repository at this point in the history

  11. remove additional trace

    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    0b8e81a View commit details
    Browse the repository at this point in the history

  12. a bit more strict

    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    957e39c View commit details
    Browse the repository at this point in the history

  13. more precise diagnostics (correct files and clearing / persisting at … 

    …better times)
    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    e151de2 View commit details
    Browse the repository at this point in the history

  14. Add inlay types and fix buffering of stdout

    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    3707e24 View commit details
    Browse the repository at this point in the history

  15. fix buffering

    @TimWhiting
    TimWhiting committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    29129fc View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2023

  1. clean up a few small things with the extension

    @TimWhiting
    TimWhiting committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    d4bb2f3 View commit details
    Browse the repository at this point in the history

  2. update test function regex

    @TimWhiting
    TimWhiting committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    5b8e40f View commit details
    Browse the repository at this point in the history

Commits on Dec 15, 2023

  1. Create a separate main function that doesn't include language server.… 

    … Also add a ton of comments
    @TimWhiting
    TimWhiting committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    5c16595 View commit details
    Browse the repository at this point in the history

  2. fix error union

    @TimWhiting
    TimWhiting committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    dba7b7d View commit details
    Browse the repository at this point in the history

  3. add support for running example* functions and reorganize vscode exte… 

    …nsion
    @TimWhiting
    TimWhiting committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    1eb0c86 View commit details
    Browse the repository at this point in the history

  4. add folding handler

    @TimWhiting
    TimWhiting committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    b776bc2 View commit details
    Browse the repository at this point in the history

  5. better hover colors and a few other fixes

    @TimWhiting
    TimWhiting committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    935288b View commit details
    Browse the repository at this point in the history

  6. fix diagnostic issue

    @TimWhiting
    TimWhiting committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    6a4e02e View commit details
    Browse the repository at this point in the history

  7. update diagnostics

    @TimWhiting
    TimWhiting committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    eba708f View commit details
    Browse the repository at this point in the history

  8. rearrange dependencies

    @TimWhiting
    TimWhiting committed Dec 15, 2023
    Configuration menu
    Copy the full SHA
    d20336b View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2023

  1. add config option on debug

    @TimWhiting
    TimWhiting committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    8fc7229 View commit details
    Browse the repository at this point in the history

  2. fix path

    @TimWhiting
    TimWhiting committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    64021fd View commit details
    Browse the repository at this point in the history

  3. fix exit result

    @TimWhiting
    TimWhiting committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    436ded8 View commit details
    Browse the repository at this point in the history

  4. fix program arguments, recompiling on flags changed, and adding relea… 

    …se build
    @TimWhiting
    TimWhiting committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    4d506af View commit details
    Browse the repository at this point in the history

  5. move app and lang-server under src/Main

    @daanx
    daanx committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    2f742c3 View commit details
    Browse the repository at this point in the history

  6. add readmes

    @daanx
    daanx committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    dbd9146 View commit details
    Browse the repository at this point in the history

  7. rename some koka language server setting; update readme, update cente… 

    …ring of koka image
    @daanx
    daanx committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    a80bc58 View commit details
    Browse the repository at this point in the history

  8. update extension

    @TimWhiting
    TimWhiting committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    354968a View commit details
    Browse the repository at this point in the history

  9. update readme

    @TimWhiting
    TimWhiting committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    96cdcdc View commit details
    Browse the repository at this point in the history

  10. update code lens description and tooltip

    @daanx
    daanx committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    c607f91 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'lang-server2.0' of https://github.com/TimWhiting/koka i… 

    …nto lang-server2.0
    @daanx
    daanx committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    77a7aa8 View commit details
    Browse the repository at this point in the history

  12. fix readme to reflect renaming

    @TimWhiting
    TimWhiting committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    13b4b8d View commit details
    Browse the repository at this point in the history

  13. fix custom sdk path

    @TimWhiting
    TimWhiting committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    04c2fba View commit details
    Browse the repository at this point in the history

  14. Merge branch 'lang-server2.0' of https://github.com/TimWhiting/koka i… 

    …nto lang-server2.0
    @daanx
    daanx committed Dec 16, 2023
    Configuration menu
    Copy the full SHA
    d4a27cd View commit details
    Browse the repository at this point in the history