Tim Whiting

Hi @daanx, I have been testing on this branch: https://github.com/TimWhiting/koka/tree/unique-vectorsx (PR now available #762 for viewing the diff [online](https://github.com/koka-lang/koka/pull/762/files)), which updates my `unique_vectors` [PR](https://github.com/koka-lang/koka/pull/550) to use this PR for local-vars....

Thanks for the encouragement to take a closer look. I was dropping an already dropped reference (I had switched the closure from borrowed to owned, and thought I needed a...

Converted to draft, because I hadn't really considered value types, and there are some improvements I want to make that will make this a lot cleaner.

Okay, I was way overcomplicating this. As long as we ensure totality / no access of the local we can do this by simply passing ownership to the update function....

@daanx, I misspoke during our meeting, actually the string buffer that outperforms C++ concatenation is in #762 - based on this PR. Though this PR helps for the variants that...

I believe this is related to (but not necessarily the same) as this issue: https://github.com/koka-lang/koka/issues/775 Changing `tree` to a reference type fixes the issue.

I've run the madoko tool on the source file, and it seems to generate good html. So not sure what happened when Daan released the website. (I'm not aware of...

It looks like from the list here: https://wiki.archlinux.org/title/XDG_Base_Directory, that most programming languages are migrating to using something like or $KOKA_ROOT with a fallback on XDG_DATA_DIR. Including Haskell.

Use the kkbuild var instead of a string

Agreed, this needs to be correct & tested before merging. @kyepskee if you don't have access to a machine for each Windows/MacOS/Linux, let us know and we can test it...