blob: 8b123f6f786d13d5d28ea5d7b6574a491518a0c2 [file]
MODULE subrangecase3 ; (*!m2iso+gm2*)
TYPE
DateRange = [1710..1720] ;
PROCEDURE init (d: DateRange) ;
BEGIN
CASE d OF
1710: |
1712..1719: |
END
END init ;
VAR
year: DateRange ;
BEGIN
init (year)
END subrangecase3.