Hello,
I was trying to return the previous setting instead of Void for the
different outputting routines in Float (outputFixed, outputGeneral and
outputFloating), so I looked more carefully at this issue.
Issue #159 => https://github.com/fricas/fricas/issues/159
Basically, and more spectacularly
On Sat, Apr 06, 2024 at 10:17:08AM +0800, Qian Yun wrote:
> I'd like to improve "dbReadLines" from br-search.boot
> into the following:
>
>
> read_text_stream stream ==
> if stream then
> [read_line stream while not EOFP stream]
>
> read_text_file filename ==
> handle_input_file(
