Direct priority and tracing channels properly.
authoraspinall
Wed Jul 18 14:44:49 2007 +0200 (2007-07-18)
changeset 238400295493ba748
parent 23839 d9fa0f457d9a
child 23841 598839baafed
Direct priority and tracing channels properly.
src/Pure/ProofGeneral/proof_general_pgip.ML
     1.1 --- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Wed Jul 18 11:43:06 2007 +0200
     1.2 +++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Wed Jul 18 14:44:49 2007 +0200
     1.3 @@ -229,8 +229,8 @@
     1.4  
     1.5  fun setup_messages () =
     1.6   (Output.writeln_fn := (fn s => normalmsg Message s);
     1.7 -  Output.priority_fn := (fn s => normalmsg Message s);
     1.8 -  Output.tracing_fn := (fn s => normalmsg  Message s);
     1.9 +  Output.priority_fn := (fn s => normalmsg Status s);
    1.10 +  Output.tracing_fn := (fn s => normalmsg  Tracing s);
    1.11    Output.warning_fn := (fn s => errormsg Message Warning s);
    1.12    Output.error_fn := (fn s => errormsg Message Fatal s);
    1.13    Output.debug_fn := (fn s => errormsg Message Debug s));
    1.14 @@ -820,6 +820,7 @@
    1.15  
    1.16          val _ = start_delay_msgs ()   (* gather parsing errs/warns *)
    1.17          val doc = OldPgipParser.pgip_parser text
    1.18 +		  (* not yet working: PgipParser.pgip_parser Position.none text  *)
    1.19          val errs = end_delayed_msgs ()
    1.20  
    1.21          val sysattrs = PgipTypes.opt_attr "systemdata" systemdata