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 21, 2018 · 0706841 · 0706841
1 parent 3ee3cd6
commit 0706841
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/lib/error.g b/lib/error.g
@@ -18,6 +18,11 @@ CallAndInstallPostRestore( function()
     ASS_GVAR( "QUITTING", false );
 end);
 
+#############################################################################
+##
+## Default stream for error messages.
+BindGlobal("ERROR_OUTPUT", "*errout*");
+MakeReadWriteGlobal("ERROR_OUTPUT");
 
 #############################################################################
 ##

diff --git a/lib/streams.gd b/lib/streams.gd
@@ -1350,6 +1350,7 @@ DeclareGlobalFunction( "UnInstallCharReadHookFunc" );
 DeclareGlobalFunction( "InputFromUser" );
 
 
+
 #############################################################################
 ##
 #E
-Original file line number
+Diff line change
@@ Expand Up / @@ -1350,6 +1350,7 @@ DeclareGlobalFunction( "UnInstallCharReadHookFunc" ); @@
     DeclareGlobalFunction( "InputFromUser" );
     #############################################################################
     ##
     #E