src/Pure/General/output_primitives_virtual.ML
author wenzelm
Sat Apr 09 16:16:05 2016 +0200 (2016-04-09)
changeset 62930 51ac6bc389e8
child 62933 f14569a9ab93
permissions -rw-r--r--
shared output primitives of physical/virtual Pure;
     1 (*  Title:      Pure/General/output_primitives.ML
     2     Author:     Makarius
     3 
     4 Primitives for Isabelle output channels -- virtual version within Pure environment.
     5 *)
     6 
     7 structure Output_Primitives_Virtual: OUTPUT_PRIMITIVES =
     8 struct
     9 
    10 open Output_Primitives;
    11 
    12 fun writeln_fn x = ! Private_Output.writeln_fn x;
    13 fun state_fn x = ! Private_Output.state_fn x;
    14 fun information_fn x = ! Private_Output.information_fn x;
    15 fun tracing_fn x = ! Private_Output.tracing_fn x;
    16 fun warning_fn x = ! Private_Output.warning_fn x;
    17 fun legacy_fn x = ! Private_Output.legacy_fn x;
    18 fun error_message_fn x = ! Private_Output.error_message_fn x;
    19 fun system_message_fn x = ! Private_Output.system_message_fn x;
    20 fun status_fn x = ! Private_Output.status_fn x;
    21 fun report_fn x = ! Private_Output.report_fn x;
    22 fun result_fn x y = ! Private_Output.result_fn x y;
    23 fun protocol_message_fn x y = ! Private_Output.protocol_message_fn x y;
    24 
    25 end;