Record ofs and arrays are not compatible
Summary
Record of type data elements should be compatible with arrays but Titan does not handle them that way
Steps and/or TTCN-3 code to reproduce
type integer MyArrayType1[3];
type record length (3) of integer MyRecordOfType1;
testcase array_recordof() runs on ct_empty{
var MyArrayType1 v_a1:= { 7, 8, 9 };
var MyRecordOfType1 v_r1:= v_a1;
setverdict(pass);
}
What is the current bug behavior?
The second assignment resuls in a type incompatibility error.
What is the expected correct behavior?
The testcase should pass.
Relevant logs and/or screenshots
../src/assignments.ttcn:413.30-33: error: Type mismatch: a value of type `@assignments.MyRecordOfType1' was expected instead of `integer[3]'
Possible fixes
Titan version
8.1.0
Platform details (OS type and version)
Microsoft Windows 10 Enterprise 10.0.19042
/cc @aknappqwt @mmagyari