Non-negativity constraint for type patterns
foo(int[o:oshp,i:ishp] a, int o)
In this example we need to ensure that o
is not negative.
I suspect this is currently not enforced, and probably something horrible happens if o
is negative.
foo(int[o:oshp,i:ishp] a, int o)
In this example we need to ensure that o
is not negative.
I suspect this is currently not enforced, and probably something horrible happens if o
is negative.