On 1/17/2012 1:20 PM, Peter Alexander wrote:
As Manu said, you need something like __restrict (or a linear type system) to solve this problem.
No, you don't. It can be done with a runtime check, like array bounds checking is done.
On 1/17/2012 1:20 PM, Peter Alexander wrote:
As Manu said, you need something like __restrict (or a linear type system) to solve this problem.
No, you don't. It can be done with a runtime check, like array bounds checking is done.