Pat

Results 3 comments of Pat

Sorry, I probably just don't understand enough about crosshair's internals to fully appreciate the problem here. Is there documentation about how to declare a function safe / pure, or is...

> Let's distinguish between the internal and external representation. The first point: "captures all of the relevant" is not possible without annotation, and we won't want to carry around unnecessary...