Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
**Program** ```scala def _findMatch(size: Int32, f: foldable[a] -> Bool, l: List[a]): Option[Int32] with Foldable[foldable] = region r { let index = ref 0 @ r; def aux(list, acc) = match...
> I seem to be seeing a pattern in many of these errors: they're frequently "backwards". We have a habit of reporting that the _declared_ type is wrong instead of...
I was thinking that `bug!` could be desugared into `bugWithPrefix!("source. ...")` and could be implemented a long with debug. But yes another fix to the issue would be to improve...
debug seems unrelated to these. bug and unreachable are still a bit uninformative
The tmp array is well-scoped so a local region seems fine? ``` pub def shuffle(a: Array[a, r]): Array[a, r] \ {r, Shuffle} = region rc { let len = Array.length(a);...
> And when am I allowed to cheat Right now you can cheat whenever you want and nothing goes wrong. I don't think that can be answered before region values...
> Does Array need to hold onto an RC? How would that even work? :/ Funny, I just read about [WeakHashMap](https://docs.oracle.com/javase/8/docs/api/java/util/WeakHashMap.html). We can store region values in a global map...
outdated @jaschdoc ?
you write "prompt the user" in many places and i think excessive interaction can be impractical. init for example should just choose cwd but have an --folder xyz option for...
hmm interesting, dont know if ive seen that error before