Skip to content
GitLab

Allow for `d>num:shp` pattern in type patterns

Merged Jordy Aaldering requested to merge tp-audgz into develop

Allows to write things like:

int[n>3:shp3] audgn (int[m>0:shp0] a, int[m>0:shp0,q>5:shp5] b)
{
    ...
}

Currently ensures AUD>0 (+), but in future can guarantee AUD>N, for any N.

Edited by Jordy Aaldering