Wrong error message on TypePattern
I just tried this:
int[m] shuffle (int[m] a, int m, int[m] dscrm)
{
return a;
}
int main () {
a = with {} : genarray ([10], 0);
return _sel_VxA_([1], shuffle (a, 3, a));
}
Note that the problem lies in using m
for the second argument! However, the error that I get when compiling
with sac2c -check tc
using
-sbs-n142230-> sac2c -V
sac2c 1.3.3-MijasCosta-1095-gc60dbe
build-type: RELEASE
built-by: "sbs" at 2023-11-16T15:20:03
is:
Warning:
Option -check c implies option -ecc.
Insertion of explicit conformity checks has been enabled.
Type pattern error in definition of shuffle: feature `m' in dscrm does not match `m' in a.
This seems wrong in many ways:
- are you using CTIerror? I would have expected something prefixed with
Error:
- I would also have expected to get a line number....
- the reported uses of m in fact are correct as they do match!