From 2223592daa9978b4eaf007320cfe8c8ddbb8ddde Mon Sep 17 00:00:00 2001 From: Christopher Jefferson Date: Thu, 27 Oct 2022 12:03:25 +0100 Subject: [PATCH] Update lib/streams.gi Co-authored-by: Max Horn --- lib/streams.gi | 34 +++++++++++++++++----------------- 1 file changed, 17 insertions(+), 17 deletions(-) diff --git a/lib/streams.gi b/lib/streams.gi index 13860aec4f..38b7afc490 100644 --- a/lib/streams.gi +++ b/lib/streams.gi @@ -1677,24 +1677,24 @@ end); InstallGlobalFunction( "CheckValidPrintFormattingStatus", - function(fs) - local r; - if IsBool(fs) then - if fs = fail then - Error("Formatting status cannot be 'fail'"); - fi; - elif IsRecord(fs) then - if Set(RecNames(fs)) <> ["indent", "linewrap"] then - Error("Formatting status records must contain only 'indent' and 'linewrap'"); - fi; - for r in ["indent","linewrap"] do - if not fs.(r) in [false, true] then - Error(Concatenation(r, " must be a Boolean in Formatting status")); - fi; - od; - else - Error("Formatting status must be a boolean or a record"); +function(fs) + local r; + if IsBool(fs) then + if fs = fail then + Error("Formatting status cannot be 'fail'"); + fi; + elif IsRecord(fs) then + if Set(RecNames(fs)) <> ["indent", "linewrap"] then + Error("Formatting status records must contain only 'indent' and 'linewrap'"); fi; + for r in ["indent","linewrap"] do + if not fs.(r) in [false, true] then + Error(Concatenation(r, " must be a Boolean in Formatting status")); + fi; + od; + else + Error("Formatting status must be a boolean or a record"); + fi; end); #############################################################################