1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
(* TEST *)
(*
A test file for Format.print_if_newline.
*)
open Format;;
printf "\ntest print_if_newline\n%!";
printf " newline here\n%!";
print_if_newline ();
printf " this gets printed";
print_if_newline ();
printf " this doesn't get printed";
printf "\nprint_if_newline doesn't crash when last statement\n%!";
printf " newline here\n";
(* Important that the following is the last statement in the file.
[print_if_newline] sets up the Format module to skip printing
the next printing command. However, it should not crash if there
is no next printing statement. *)
print_if_newline ();
;;
|
