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