Were this a high priority, there are other line-editing libraries now
(nobody likes the "readline" license). Or we could make our own (it's
not hard; just time-consuming to do for all the platforms).
But don't know that it's high priority. I'm sure a few people
(including me) occasionally wish the command-line REPL had "readline" by
default, but I just made a shell script and moved on. Most of the time
I need a REPL, I use DrRacket or Quack, anyway, and I think most people
do that.
#!/bin/sh
if [ $# = 0 ] ; then
exec racket -Uilq readline
else
exec racket -Ueq "$*"
fi
Neil V.
--
http://www.neilvandyke.org/
____________________
Racket Users list:
http://lists.racket-lang.org/users
