This is the mail archive of the
kawa@sources.redhat.com
mailing list for the Kawa project.
bug in call-with-output-string ?
- To: kawa at sourceware dot cygnus dot com
- Subject: bug in call-with-output-string ?
- From: kamysh at uroam dot com
- Date: 30 Sep 2001 16:55:02 -0700
Hello,
it seems, there is a bug in realization of `call-with-output-string' in
kawa-1.6.94: it does not allow more than 126 symbols to be `displayed.
The following code
(define n 127)
(let ((s
(call-with-output-string
(lambda (p)
(let loop ((i 0))
(if (< i n)
(begin
(display (modulo i 10) p)
(loop (+ i 1)))))))))
(display s)
(newline))
fails when (>= n 127) with the diagnostics (both with Sun jdk1.3 and IBM JRE 1.3.0):
java.lang.NullPointerException
at gnu.text.PrettyWriter.outputPartialLine(PrettyWriter.java:982)
at gnu.text.PrettyWriter.ensureSpaceInBuffer(PrettyWriter.java:717)
at gnu.text.PrettyWriter.write(PrettyWriter.java:234)
at gnu.text.PrettyWriter.write(PrettyWriter.java:234)
at java.io.PrintWriter.write(PrintWriter.java:213)
at java.io.PrintWriter.write(PrintWriter.java:229)
at gnu.mapping.OutPort.write(OutPort.java:204)
at gnu.kawa.functions.DisplayFormat.write(DisplayFormat.java:37)
at gnu.kawa.functions.DisplayFormat.writeObject(DisplayFormat.java:141)
at gnu.mapping.OutPort.print(OutPort.java:295)
at gnu.mapping.OutPort.writeObject(OutPort.java:371)
at gnu.kawa.functions.DisplayFormat.format(DisplayFormat.java:165)
at gnu.kawa.functions.DisplayFormat.apply2(DisplayFormat.java:152)
at atInteractiveLevel.lambda1(Unknown Source)
at atInteractiveLevel.apply1(Unknown Source)
at gnu.expr.ModuleMethod.apply1(ModuleMethod.java:41)
at kawa.standard.call_with_output_string.apply1(call_with_output_string.java:10)
at atInteractiveLevel.apply(Unknown Source)
at gnu.mapping.CallContext.run(CallContext.java:144)
at gnu.expr.ModuleExp.evalModule(ModuleExp.java:183)
at kawa.Shell.run(Shell.java:93)
at kawa.Shell.runString(Shell.java:128)
at kawa.repl.main(repl.java:114)
Would be very appreciated for any help...
--
Best regards,
Valentyn Kamyshenko