blob: 9dc0d92c8f54d661cf36fe72e11dc7195395f449 [file] [log] [blame]
MODULE badassignment ;
TYPE
enums = (red, blue, green) ;
set = SET OF enums ;
VAR
setvar : set;
enumvar: enums;
BEGIN
enumvar := 'a';
enumvar := 'ab';
setvar := 'a';
setvar := 'ab';
END badassignment.