M2compiler-V3/compiler/tests/t_lower2.mod

MODULE TLower2;
(* Lower L2: control flow -- IF/ELSIF/ELSE, WHILE, REPEAT, LOOP/EXIT,
   FOR (no BY), HALT.  Exit 6. *)
VAR i, s : INTEGER;
VAR ExitCode : INTEGER;
BEGIN
  s := 0;
  IF s < 0 THEN s := 1
  ELSIF s = 0 THEN s := 2
  ELSE s := 3 END;
  i := 0;
  WHILE i < 3 DO i := i + 1 END;
  REPEAT i := i - 1 UNTIL i <= 0;
  LOOP
    i := i + 1;
    IF i > 2 THEN EXIT END
  END;
  FOR i := 1 TO 3 DO s := s + i END;
  IF s > 1000 THEN HALT END;
  ExitCode := s
END TLower2.