[Gm2] GM2 ISO - more on bitsets

[Iztok]

DEFINITION MODULE bits32y1;

FROM SYSTEM IMPORT BITSET;

TYPE BITSET32 = BITSET;
    BITS32 = BITSET32;

END bits32y1.


MODULE bits32y2;

FROM bits32y1 IMPORT BITS32;

VAR b32 : BITS32;

BEGIN
 b32 := BITS32{};
END bits32y2.


> gm2 -Wiso -c -I. bits32y2.mod
bits32y2.mod:8:expecting a set type BITS32


This one apparently causes troubles only for sets.

I.