andrewrk: good point, I'm just converting C++ code so step 1 is making it work. That looks interesting, thanks!
a potentially stupid idea: a lot of structs will have open/close, allocate/free, etc pairs. Would it make sense to allow tagging those as opening and closing resources? It would be optional and have no effect other than enabling potentially powerful static analysis. If you called open but don't call close, something fishy is going on.
Akuli has quit [Quit: Leaving]
could take scopes and escape analysis into account I suppose