OMC allows invalid match expressions

[Per Östlund]

OMC allows the following code:

package P
  uniontype Test
    record TEST
      Real x;
      Real y;
    end TEST;
  end Test;

  public function f
    input Test t;
    output Real r;
  algorithm
    r := match(t)
      local
        Real x;

      case TEST(x) then x; 
    end match;
  end f;
end P;

Calling f like:

P.f(P.TEST(1.0, 2.0));

in OMC gives the output 1.0, while RML gives an error message for the case statement since only one field is matched against while TEST contains two fields.

[Adrian Pop]

I guess is something wrong on this path: Patternm.elabPattern2 -> Patternm.elabPatternCall -> Patternm.checkMissingArgs

[Adrian Pop]

Forget it, I was supposed to check PR: 1510 not the ticket:1510 :)