blob: 577dccb746dd861c618f6f2b6d1eb47cf4bac8be [file]
MODULE subrangecase ; (*!m2iso+gm2*)
TYPE
DateRange = [1710..1720] ;
PROCEDURE init (d: DateRange) ;
BEGIN
CASE d OF
(* 1710: | *)
1711..1719: |
1720: |
END
END init ;
VAR
year: DateRange ;
BEGIN
init (year)
END subrangecase.