Ah, great!
Also the separation you mentioned is nice, that the REPL indeed is intended to operate in a separate "controlling channel". It's interesting that different platforms even have IO API:s for that, I had no idea.
So for what I was looking for, that I missed was this section in the manual, was:
-
The REPL interaction channel will be standard input and standard output.
And the way to figure out how to use it is..
gsc [-:runtimeoption,…]
And "-" is a "debugging" option, documented by
The ‘d’ option sets various debugging options. The letter ‘d’ is followed by a sequence of letters indicating suboptions.
so hence "-:d-", so:
$ *echo '(display "Hello world\n"),q' | gsc -:d-* Gambit v4.8.0
Hello world
$
Great!
Totally unimportantly, could I enable REPL echoing of the input commands, or turn off REPL output altogether, from the command line?
So
$ *echo '(display "Hello world\n"),q' | gsc -:d- [somemorearg]* Gambit v4.8.0
(display "Hello world\n")
Hello world
,q
$
and
$ *echo '(display "Hello world\n"),q' | gsc -:d- - [somemorearg]* Hello world $