Tim Whiting

This changes the activation behavior for the extension so it doesn't pop up in irrelevant contexts and take over the terminal. Now, it only activates in workspaces with Koka files,...

Add exit code to default exception handler

2

Addresses #702

Interesting experiment, not sure if it is worth it though looking at the numbers. At risk of obfuscating code, this PR uses macros to define closure creating functions. The upside...

This is an overarching issue for various performance optimizations that have yet to be considered for Koka, but could bring us closer to C-like performance. Runtime performance - [ ]...

Effect operations do not have their types promoted

1

### Discussed in https://github.com/koka-lang/koka/discussions/706 Originally posted by **schuelermine** May 11, 2025 Consider, for instance: ```koka effect log fun log(value : a, show : a -> string) : () fun log-nine()...

Allow linking to names and types in error messages on hover. Starts addressing #699. I've updated just a few error messages to include the link information, but wanted to get...

Add link to problem definitions in diagnostic messages

1

FYI @timbertson As identified in #692, we want to have better links to the names related to the errors in error messages. I looked into this, but it seems that...

WIP Proposal I'd love a homoiconic sort of syntax class, along with some basic syntax pattern matching. Most matching will likely be `pure` instead of `total`, but that is an...

Simplify the unicode performance issue problem to a smaller example