t_ctor4.mod 325 B

12345678910
  1. MODULE tctor4;
  2. // Static record constructor: fields baked in declaration order.
  3. TYPE DateType = RECORD year, month, day: CARDINAL END;
  4. VAR d : DateType;
  5. VAR ExitCode : INTEGER;
  6. BEGIN
  7. d := DateType{1623, 6, 19};
  8. IF (d.year = 1623) AND (d.month = 6) AND (d.day = 19) THEN ExitCode := 0
  9. ELSE ExitCode := 1 END
  10. END tctor4.