[Gm2] question about variant records in ISO M2

[Gaius Mulley]

Hi,

I'm implementing compile time range checking of variant records and
I was wondering whether ISO M2 allows multiple variants in a record.

For example is the following legal?

TYPE
   foo = RECORD
            CASE c: CARDINAL OF

            1..2:  x: INTEGER |

            ELSE
            END ;
            CASE b: BOOLEAN OF

            TRUE:  y: CARDINAL |
            FALSE: z: BOOLEAN

            END
         END ;


if it is legal then what result should the compiler return if asked:

VAR
   r: FOO ;

   TSIZE(r, TRUE)

?

regards,
Gaius