repl: add repl-option for customized print
authorDaniel Hartwig <mandyke@gmail.com>
Tue, 4 Dec 2012 03:41:35 +0000 (11:41 +0800)
committerLudovic Courtès <ludo@gnu.org>
Mon, 10 Dec 2012 22:41:06 +0000 (23:41 +0100)
commitafdf5467e5d8f9b1c13cae2d2cc0679a710d2403
treed4e8507359174a5ff22231550e6bbe32a135a2d2
parent9977b316434c6ac59e0224fd530ab8065f2cc938
repl: add repl-option for customized print

Closes <http://bugs.gnu.org/13077>.

* module/system/repl/common.scm (repl-default-options)
  (repl-print): Add option to use customized print procedure.
* doc/ref/scheme-using.texi (REPL Commands): Update.
doc/ref/scheme-using.texi
module/system/repl/common.scm