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