| Ilya Zakharevich on Wed, 5 Sep 2001 14:04:25 -0400 |
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
| Space removal from the user input |
a1) When GP/PARI reads something, the output is echoed *after* the
whitespace is removed. Is this intentional, or "it just happens
this way"?
a2) Similarly for the readline's history. (It contains your's input
with whitespace removed.)
b) When processing multiline-input from readline, \n is removed too
agressively. Example: type
print(1) ^V ^J print(2) ENTER
(here ^V and ^J are control-chars). I see:
? print(1)
print(2)
*** unused characters: print(1)print(2)
i.e., \n in the input is removed, resulting in a "wrong error".
Should not filtre() replace '\n' with ';' when in f_READL mode?
Ilya