New GAP-level var ERROR_OUTPUT for '*errout*'

This commit introduces a new global variable ERROR_OUTPUT. As a next step one can make it possible to change the targets of the magic strings "*stdout*", "*stdin*", and "*errout*", as suggested by @fingolfin in gap-system#1815. See gap-system#2822.
ssiccha · Sep 20, 2018 · 0ff2ba5 · 0ff2ba5
1 parent 3ee3cd6
commit 0ff2ba5
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/hpcgap/lib/streams.gi b/hpcgap/lib/streams.gi
@@ -2154,6 +2154,10 @@ InstallGlobalFunction( "UnInstallCharReadHookFunc",
 # to be bound means active:
 Unbind(OnCharReadHookActive);
 
+#############################################################################
+##
+## Default stream for error messages.
+BindGlobal(ERROR_OUTPUT, "*errout*");
 
 #############################################################################
 ##

diff --git a/lib/streams.gd b/lib/streams.gd
@@ -1350,6 +1350,7 @@ DeclareGlobalFunction( "UnInstallCharReadHookFunc" );
 DeclareGlobalFunction( "InputFromUser" );
 
 
+
 #############################################################################
 ##
 #E
diff --git a/lib/streams.gi b/lib/streams.gi
@@ -1796,6 +1796,10 @@ InstallGlobalFunction( "UnInstallCharReadHookFunc",
 # to be bound means active:
 Unbind(OnCharReadHookActive);
 
+#############################################################################
+##
+## Default stream for error messages.
+BindGlobal(ERROR_OUTPUT, "*errout*");
 
 #############################################################################
 ##
-Original file line number
+Diff line change
@@ Expand Up / @@ -1350,6 +1350,7 @@ DeclareGlobalFunction( "UnInstallCharReadHookFunc" ); @@
     DeclareGlobalFunction( "InputFromUser" );
     #############################################################################
     ##
     #E