types_directive | |
d1 = Time1(2001, 2, 3, 60); | |
newDate = add(d1, 7); # check that a Time1 instance is accepted where Date is expected | |
if (newDate.day != 10) | |
error | |
endif | |
d2 = Time2(1999, 8, 7, 60); | |
newDate = add(d2, 7); # check that a Time2 instance is accepted where Date is expected | |
if (newDate.day != 14) | |
error | |
endif | |