On Fri 14 Feb 2020 at 18:43, [email protected] wrote:
On Fri, Feb 14, 2020 at 05:20:25PM +0000, Aaron Sloman wrote:
The bug report, initially triggered by problems in popracer,
but found to
be more general is now posted here:
https://www.cs.bham.ac.uk/research/projects/poplog/V16/poplog-startup-bug.txt
TEMPORARY REDIRECTION OF INPUT DURING POPLOG STARTUP IN
V15 VS V16
The mechanisms in Poplog for dealing with a multitude of types
of text
input streams in a multitude of contexts are very complex. I
have not been
able to work out why this behaviour differs in Poplog V16 but
not V15.
It would be useful to know what you get from:
pop11 :"readline()=>1 + 1"
in V15. Also, if you get the same results using 'corepop' (that
is without involving saved images).
I don't know enough about poplog to add jmuch of value here, but
maybe
you have a different readline in your image? Probably there is
emacsreadline linked in?
Just a wild guess.
Andreas
--
ceterum censeo redmondinem esse delendam
