M2compiler-V3/docs/gaps/gap08_val_cast_set_word.mod

MODULE Gap08ValCastSetWord;
(* Modula-2 gap (ISO SYSTEM): a set is represented as an address, so
   VAL/CAST between a set (BITSET) and CARDINAL is unsupported.  In
   Modula-2 a BITSET has a machine-word representation, so the
   conversion is well-defined.  Class: iso/system.
   Corpus: constset, constset2, constset3, packed.
   V3: not supported yet. *)
VAR c : CARDINAL;
BEGIN c := VAL(CARDINAL, BITSET{0}) END Gap08ValCastSetWord.