search

koka-lang / koka

Koka language compiler and interpreter
http://koka-lang.org
Other
3.16k stars 151 forks source link

Add language server tests #425

Open TimWhiting opened 5 months ago

TimWhiting commented 5 months ago

The language server library we use allows for testing. We should take advantage of that. It would be good to have a few integration tests with the VScode extension as well.

In the order of most needing to be tested.