--- a/src/HOLCF/IOA/ABP/Check.ML Wed Nov 25 14:04:05 1998 +0100
+++ b/src/HOLCF/IOA/ABP/Check.ML Wed Nov 25 14:04:28 1998 +0100
@@ -112,11 +112,11 @@
------------------------------------*)
fun print_list (lpar, rpar, pre: 'a -> unit) (lll : 'a list) =
- let fun prec x = (prs ","; pre x)
+ let fun prec x = (std_output ","; pre x)
in
(case lll of
- [] => (prs lpar; prs rpar)
- | x::lll => (prs lpar; pre x; seq prec lll; prs rpar))
+ [] => (std_output lpar; std_output rpar)
+ | x::lll => (std_output lpar; pre x; seq prec lll; std_output rpar))
end;
fun pr_bool true = output(std_out,"true")
@@ -135,17 +135,17 @@
S_ack(b) => "S_ack(b)" |
R_ack(b) => "R_ack(b)");
-fun pr_pkt (b,ma) = (prs "<"; pr_bool b;prs ", "; pr_msg ma; prs ">");
+fun pr_pkt (b,ma) = (std_output "<"; pr_bool b;std_output ", "; pr_msg ma; std_output ">");
val pr_bool_list = print_list("[","]",pr_bool);
val pr_msg_list = print_list("[","]",pr_msg);
val pr_pkt_list = print_list("[","]",pr_pkt);
fun pr_tuple (env,p,a,q,b,ch1,ch2) =
- (prs "{"; pr_bool env; prs ", "; pr_msg_list p; prs ", ";
- pr_bool a; prs ", "; pr_msg_list q; prs ", ";
- pr_bool b; prs ", "; pr_pkt_list ch1; prs ", ";
- pr_bool_list ch2; prs "}");
+ (std_output "{"; pr_bool env; std_output ", "; pr_msg_list p; std_output ", ";
+ pr_bool a; std_output ", "; pr_msg_list q; std_output ", ";
+ pr_bool b; std_output ", "; pr_pkt_list ch1; std_output ", ";
+ pr_bool_list ch2; std_output "}");