In the output of ")clear":

(1) -> )clear
   Use )clear all to clear everything in the workspace. Use )clear
      completely to clear everything in the workspace and internal
      tables. Other )clear keyword arguments are
             modes
             operations
             properties
             types
             values
      or abbreviations thereof. Issue )clear? for more information.


In the last line: it is ")clear?", no space.

It is message S2IZ0010, which has a space in ")clear ?".

The problem happens in msgdb.boot:

sayKeyedMsg calls sayKeyedMsgLocal calls
substituteSegmentedMsg calls addBlanks:

In addBlanks, calls noBlankBeforeP, which checks
$msgdbNoBlanksBeforeGroup which includes $msgdbPunct
which has "?" in it.

If there's already a space before "?" in msgdb(s2-us.msgs),
no reason to remove it.

So the patch is:

diff --git a/src/interp/msgdb.boot b/src/interp/msgdb.boot
index c263255..37717f6 100644
--- a/src/interp/msgdb.boot
+++ b/src/interp/msgdb.boot
@@ -276,7 +276,7 @@ addBlanks msg ==


 DEFPARAMETER($msgdbPrims, '( %b %d %l %i %u %U %n %x %ce %rj "%U"
"%b" "%d" "%l" "%i" "%u" "%U" "%n" "%x" "%ce" "%rj"))
-DEFPARAMETER($msgdbPunct, '(_. _, _! _: _; _? _] _)  "." "," "!" ":"
";" "?" "]" ")"  ))
+DEFPARAMETER($msgdbPunct, '(_. _, _! _: _; _] _)  "." "," "!" ":" ";"
"]" ")"  ))
 DEFPARAMETER($msgdbNoBlanksBeforeGroup, ['" ", " ", '"%", "%",_
                             :$msgdbPrims, :$msgdbPunct])
 DEFPARAMETER($msgdbListPrims, '(%m %s %ce %rj "%m" "%s" "%ce" "%rj"))



BTW, any plans to improve s2-us.msgs? For example, remove
unsed message from it, move messages that only used once
into boot files.

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to