src/HOLCF/IOA/ABP/Check.ML
changeset 39733 6d373e9dcb9d
parent 36692 54b64d4ad524
     1.1 --- a/src/HOLCF/IOA/ABP/Check.ML	Mon Sep 27 18:16:36 2010 +0200
     1.2 +++ b/src/HOLCF/IOA/ABP/Check.ML	Mon Sep 27 20:26:10 2010 +0200
     1.3 @@ -112,21 +112,21 @@
     1.4     ------------------------------------*)
     1.5  
     1.6  fun print_list (lpar, rpar, pre: 'a -> unit) (lll : 'a list) =
     1.7 -  let fun prec x = (Output.std_output ","; pre x)
     1.8 +  let fun prec x = (Output.raw_stdout ","; pre x)
     1.9    in
    1.10      (case lll of
    1.11 -      [] => (Output.std_output lpar; Output.std_output rpar)
    1.12 -    | x::lll => (Output.std_output lpar; pre x; List.app prec lll; Output.std_output rpar))
    1.13 +      [] => (Output.raw_stdout lpar; Output.raw_stdout rpar)
    1.14 +    | x::lll => (Output.raw_stdout lpar; pre x; List.app prec lll; Output.raw_stdout rpar))
    1.15     end;
    1.16  
    1.17 -fun pr_bool true = Output.std_output "true"
    1.18 -|   pr_bool false = Output.std_output "false";
    1.19 +fun pr_bool true = Output.raw_stdout "true"
    1.20 +|   pr_bool false = Output.raw_stdout "false";
    1.21  
    1.22 -fun pr_msg m = Output.std_output "m"
    1.23 -|   pr_msg n = Output.std_output "n"
    1.24 -|   pr_msg l = Output.std_output "l";
    1.25 +fun pr_msg m = Output.raw_stdout "m"
    1.26 +|   pr_msg n = Output.raw_stdout "n"
    1.27 +|   pr_msg l = Output.raw_stdout "l";
    1.28  
    1.29 -fun pr_act a = Output.std_output (case a of
    1.30 +fun pr_act a = Output.raw_stdout (case a of
    1.31        Next => "Next"|                         
    1.32        S_msg(ma) => "S_msg(ma)"  |
    1.33        R_msg(ma) => "R_msg(ma)"  |
    1.34 @@ -135,17 +135,17 @@
    1.35        S_ack(b)   => "S_ack(b)" |                      
    1.36        R_ack(b)   => "R_ack(b)");
    1.37  
    1.38 -fun pr_pkt (b,ma) = (Output.std_output "<"; pr_bool b;Output.std_output ", "; pr_msg ma; Output.std_output ">");
    1.39 +fun pr_pkt (b,ma) = (Output.raw_stdout "<"; pr_bool b;Output.raw_stdout ", "; pr_msg ma; Output.raw_stdout ">");
    1.40  
    1.41  val pr_bool_list  = print_list("[","]",pr_bool);
    1.42  val pr_msg_list   = print_list("[","]",pr_msg);
    1.43  val pr_pkt_list   = print_list("[","]",pr_pkt);
    1.44  
    1.45  fun pr_tuple (env,p,a,q,b,ch1,ch2) = 
    1.46 -        (Output.std_output "{"; pr_bool env; Output.std_output ", "; pr_msg_list p;  Output.std_output ", ";
    1.47 -         pr_bool a;  Output.std_output ", "; pr_msg_list q; Output.std_output ", ";
    1.48 -         pr_bool b;  Output.std_output ", "; pr_pkt_list ch1;  Output.std_output ", ";
    1.49 -         pr_bool_list ch2; Output.std_output "}");
    1.50 +        (Output.raw_stdout "{"; pr_bool env; Output.raw_stdout ", "; pr_msg_list p;  Output.raw_stdout ", ";
    1.51 +         pr_bool a;  Output.raw_stdout ", "; pr_msg_list q; Output.raw_stdout ", ";
    1.52 +         pr_bool b;  Output.raw_stdout ", "; pr_pkt_list ch1;  Output.raw_stdout ", ";
    1.53 +         pr_bool_list ch2; Output.raw_stdout "}");
    1.54  
    1.55  
    1.56