stacktrace shape wrong
When compiling
use Array: all;
int main ()
{
a = _hideDim_SxA_ ( 1, [1,2,3,4,5,6,7,8]);
b = reshape( [2,2,2], a);
StdIO::print ( a+b);
return 0;
}
with sac2c -check cps tutu.sac
using
sac2c 2.1.0-PuurGeluk-189-gd02ae
build-type: DEBUG
built-by: "sbs" at 2026-01-24T22:38:39
I get:
*** Stack trace:
╰⟶ main tried to call (a +<[8],[2,0,2]>b) at ./tutu.sac:7:20 but the predicates of + did not hold.
*** SAC runtime error
*** In //Users/sbs/sacbase/Stdlib/build/src-seq_checks/structures/ArrayArith.sac, line 111, column 1
*** Type pattern error in application of +: the found value of `d' in `d:shp' of argument `B' is not equal to the defined value of `A'
*** Stack trace:
╰⟶ main tried to call (a +<[8],[2,0,2]>b) at ./tutu.sac:7:20 but the predicates of + did not hold.
*** SAC runtime error
*** In //Users/sbs/sacbase/Stdlib/build/src-seq_checks/structures/ArrayArith.sac, line 111, column 1
*** Type pattern error in application of +: the found value of `shp' in `d:shp' of argument `B' is not equal to the defined value of `A'
but the shapes are [8] and [2,2,2] and not [2,0,2].