src/HOLCF/IOA/ABP/Check.ML
changeset 5963 94709c11601e
parent 3072 a31419014be5
child 12218 6597093b77e7
     1.1 --- a/src/HOLCF/IOA/ABP/Check.ML	Wed Nov 25 14:04:05 1998 +0100
     1.2 +++ b/src/HOLCF/IOA/ABP/Check.ML	Wed Nov 25 14:04:28 1998 +0100
     1.3 @@ -112,11 +112,11 @@
     1.4     ------------------------------------*)
     1.5  
     1.6  fun print_list (lpar, rpar, pre: 'a -> unit) (lll : 'a list) =
     1.7 -  let fun prec x = (prs ","; pre x)
     1.8 +  let fun prec x = (std_output ","; pre x)
     1.9    in
    1.10      (case lll of
    1.11 -      [] => (prs lpar; prs rpar)
    1.12 -    | x::lll => (prs lpar; pre x; seq prec lll; prs rpar))
    1.13 +      [] => (std_output lpar; std_output rpar)
    1.14 +    | x::lll => (std_output lpar; pre x; seq prec lll; std_output rpar))
    1.15     end;
    1.16  
    1.17  fun pr_bool true = output(std_out,"true")
    1.18 @@ -135,17 +135,17 @@
    1.19        S_ack(b)   => "S_ack(b)" |                      
    1.20        R_ack(b)   => "R_ack(b)");
    1.21  
    1.22 -fun pr_pkt (b,ma) = (prs "<"; pr_bool b;prs ", "; pr_msg ma; prs ">");
    1.23 +fun pr_pkt (b,ma) = (std_output "<"; pr_bool b;std_output ", "; pr_msg ma; std_output ">");
    1.24  
    1.25  val pr_bool_list  = print_list("[","]",pr_bool);
    1.26  val pr_msg_list   = print_list("[","]",pr_msg);
    1.27  val pr_pkt_list   = print_list("[","]",pr_pkt);
    1.28  
    1.29  fun pr_tuple (env,p,a,q,b,ch1,ch2) = 
    1.30 -        (prs "{"; pr_bool env; prs ", "; pr_msg_list p;  prs ", ";
    1.31 -         pr_bool a;  prs ", "; pr_msg_list q; prs ", ";
    1.32 -         pr_bool b;  prs ", "; pr_pkt_list ch1;  prs ", ";
    1.33 -         pr_bool_list ch2; prs "}");
    1.34 +        (std_output "{"; pr_bool env; std_output ", "; pr_msg_list p;  std_output ", ";
    1.35 +         pr_bool a;  std_output ", "; pr_msg_list q; std_output ", ";
    1.36 +         pr_bool b;  std_output ", "; pr_pkt_list ch1;  std_output ", ";
    1.37 +         pr_bool_list ch2; std_output "}");
    1.38  
    1.39  
    1.40