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.

I hope someone with more time to dig deeper can unravel it.

I must now catch up with other things.
Aaron

Reply via email to