[Bug modula2/118998] New: Rotate of a packetset causes different types to binary operator error

[gaius at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118998

            Bug ID: 118998
           Summary: Rotate of a packetset causes different types to binary
                    operator error
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: modula2
          Assignee: gaius at gcc dot gnu.org
          Reporter: gaius at gcc dot gnu.org
  Target Milestone: ---

As reported on the gm2 mailing list, it looks as if there is missing
conversion, maybe:


$ cat testrotate.mod
MODULE testrotate ;  

IMPORT SYSTEM;

VAR
  v: PACKEDSET OF [0..31];
  i: INTEGER;
BEGIN
  i := 3;
  v := SYSTEM.ROTATE (v, i);
END testrotate.


$ gm2 -fiso testrotate.mod 
testrotate.mod: In function ‘_M2_testrotate_init’:
testrotate.mod:10:8: error: not expecting different types to binary operator
   10 |   v := SYSTEM.ROTATE (v, i);
      |        ^~~~~~~~~~~~~~~~~~~