src/Pure/General/output_primitives_virtual.ML
changeset 62930 51ac6bc389e8
child 62933 f14569a9ab93
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Pure/General/output_primitives_virtual.ML	Sat Apr 09 16:16:05 2016 +0200
     1.3 @@ -0,0 +1,25 @@
     1.4 +(*  Title:      Pure/General/output_primitives.ML
     1.5 +    Author:     Makarius
     1.6 +
     1.7 +Primitives for Isabelle output channels -- virtual version within Pure environment.
     1.8 +*)
     1.9 +
    1.10 +structure Output_Primitives_Virtual: OUTPUT_PRIMITIVES =
    1.11 +struct
    1.12 +
    1.13 +open Output_Primitives;
    1.14 +
    1.15 +fun writeln_fn x = ! Private_Output.writeln_fn x;
    1.16 +fun state_fn x = ! Private_Output.state_fn x;
    1.17 +fun information_fn x = ! Private_Output.information_fn x;
    1.18 +fun tracing_fn x = ! Private_Output.tracing_fn x;
    1.19 +fun warning_fn x = ! Private_Output.warning_fn x;
    1.20 +fun legacy_fn x = ! Private_Output.legacy_fn x;
    1.21 +fun error_message_fn x = ! Private_Output.error_message_fn x;
    1.22 +fun system_message_fn x = ! Private_Output.system_message_fn x;
    1.23 +fun status_fn x = ! Private_Output.status_fn x;
    1.24 +fun report_fn x = ! Private_Output.report_fn x;
    1.25 +fun result_fn x y = ! Private_Output.result_fn x y;
    1.26 +fun protocol_message_fn x y = ! Private_Output.protocol_message_fn x y;
    1.27 +
    1.28 +end;