Crash when applying foreach to dynamically sized array

[marcauberer]

From the Sudoku example:

foreach int[size] row : grid {
    foreach int cell : row {
        printf("%d ", cell);
    }
    printf("\n");
}

[marcauberer]

After further investigation it turns out that the real problem is another one.

This works:

p print(int[SIZE][SIZE] _) {
    int[SIZE][SIZE] grid = {
        { 3, 0, 6, 5, 0, 8, 4, 0, 0 },
        { 5, 2, 0, 0, 0, 0, 0, 0, 0 },
        { 0, 8, 7, 0, 0, 0, 0, 3, 1 },
        { 0, 0, 3, 0, 1, 0, 0, 8, 0 },
        { 9, 0, 0, 8, 6, 3, 0, 0, 5 },
        { 0, 5, 0, 0, 9, 0, 6, 0, 0 },
        { 1, 3, 0, 0, 0, 0, 2, 5, 0 },
        { 0, 0, 0, 0, 0, 0, 0, 7, 4 },
        { 0, 0, 5, 2, 0, 6, 3, 0, 0 }
    };

    foreach int[SIZE] row : grid {
        foreach int cell : row {
            printf("%d ", cell);
        }
        printf("\n");
    }
}

while this crashes the compiler:

p print(int[SIZE][SIZE] grid) {
    foreach int[SIZE] row : grid {
        foreach int cell : row {
            printf("%d ", cell);
        }
        printf("\n");
    }
}

So it seams that parameters behave differently than var declarations.

[marcauberer]

The solution is now to not allow dynamically sized arrays as function/procedure parameters.