[Gm2] CASE: gm2-4.1.2 of 2011-11-08 bug (or possibly philosophical difference)

[john o goyo]

As we all know, PIM allows missing values in CASE statements but ISO  
does not.  At present, gm2 enforces the ISO restriction regardless of  
which PIM is specified.  (A simple example may be found below.)

What should gm2 do?  (The problem arises, of course, in compiling  
existing code.)

john

==============================
MODULE Test;

TYPE
  Choice = (colour, size, weight);
  ItemType = RECORD
        CASE c :Choice OF
          colour: col :CHAR;
         |size:   s :CARDINAL;
        (*
         * PIM allows missing values but ISO does not.
         *)
        END (*CASE*);
  END (*ItemType*);

VAR
  item :ItemType;

BEGIN
  item.col := 'R';
END Test.
==============================