M2compiler-V3/docs/gaps/gap08_val_cast_set_word.mod

MODULE Gap08ValCastSetWord;
(* GAP gap08-set-word-cast: a set is an address, not a machine word, so
   VAL/CAST between a set and CARDINAL is rejected.  Corpus: constset,
   constset2, constset3, packed, bitset5.
   EXPECT: not supported yet (230). *)
VAR c : CARDINAL;
BEGIN c := VAL(CARDINAL, BITSET{0}) END Gap08ValCastSetWord.