| MODULE condtest5 ; | |
| FROM libc IMPORT printf, exit ; | |
| PROCEDURE test (VAR a, b: BOOLEAN) ; | |
| BEGIN | |
| IF (a = a) AND b | |
| THEN | |
| printf ("passed\n") | |
| ELSE | |
| printf ("failed\n") ; | |
| exit (1) | |
| END | |
| END test ; | |
| VAR | |
| e, f: BOOLEAN ; | |
| BEGIN | |
| e := TRUE ; | |
| f := TRUE ; | |
| test (e, f) | |
| END condtest5. |