READLINE

[Robert W. Kerns <RWK at MIT-MC>]

    Date: 4 December 1980 05:55-EST
    From: Jon L White <JONL>
    To:   RWK
    cc:   BUG-LISP
    Re:   READLINE

        Date: 4 December 1980 04:30-EST
        From: Robert W. Kerns <RWK at MIT-MC>
        Um, uh, er, uh, well, folks, (PNGET (READLINE) 7) <cr>
        gives (0) ... clearly wrong.
    So what's wrong?  READLINE did return the null symbol, ||, 
    didn't it?  (PNGET '|| 7) indeed should be (0)
Hmm, right, well, (TO-STRING '||) used to do something useful.
I had thought (PNGET '|| 7) used to return (), but that's not true.
I guess the fault is TO-STRING's.