[Bug]: The result of multiple-receive-action should be error:NoMessage if any of the recevie operations fail

[lochana-chathura]

Description

$subject.

In the multiple-receive-action section of the spec, it says,

If any of these receive operations fail, then the evaluation of the multiple-receive action completes normally with the result being a new value of type error:NoMessage, Otherwise, the evaluation completes normally with the result being a new record value, with one field for each receive-field, where the value of the field is the value received from the slot.

Consider the below sample,

public function main() {
   worker w1 {
       1 -> w3;
   }


   worker w2 {
       boolean b = true;
       if b {
           2 -> w3;
       }
   }


   worker w3 {
       map<int|error:NoMessage> m = <- {w1,w2}; // <--- [1]
   }


   wait w3;
}

• Currently at [1], we are expecting map<int|error:NoMessage>. This should be corrected to map<int>|error:NoMessage.
• Also, a record value is created at the moment in case of an error:NoMessage in at least one receive. Instead of a record, we need to create an error:NoMessage value.

Affected Version(s)

SL 2201.9.0 on