Peter Schachte
Peter Schachte
Good point; I hadn't thought about something like that. You could certainly do that with recursion, but I agree, it would be nice to be able to do it in...
If we want this to be fairly general (ie, able to interface to pretty much any C function), then it's not just the order of resources that needs to be...
Yes, types must definitely be specified for all parameters. Offhand, we could support resources interleaved with normal arguments by forbidding a use clause in the definition, and instead allowing the...
My hope would be that the pointer analysis would be good enough that reference counting wouldn't be needed for many data structures, so the performance penalty would be low. If...
That's a great idea! I'll change the title of this issue.
One of the principles of resources is to name things consistently. Of course, the case under discussion is where we can't do that due to conflict, but I think it's...
Wow, that looks awesome! Yes, I'd love to see error messages like that, but I think it would be a lot of work. I also think these messages are probably...
This would be really convenient, and the two halves are complementary; ie, I think the first idea would be useful even if the second idea is implemented. In fact, the...
Yeah, but the LLVM 15 branch shows a bright red X indicating that some CI tests fail. The current main branch is LLVM 12. I thought we should move to...
I think LLVM version 15 is new enough. The newest LLVM version supported by llvm-hs is 15, but that's not stable. We might be able to stick with it, but...