<br><br><div class="gmail_quote">On Fri, Apr 2, 2010 at 12:11 PM, Alan Ruttenberg <span dir="ltr"><<a href="mailto:alanruttenberg@gmail.com">alanruttenberg@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">

<div class="im">> That would be my next step<br>> in investigating this, as the console.getInputStream() call you are<br>> making to set the Java standard input doesn't seem to be working.<br><br></div>Hmm. I think they advertise getReader. Doug pointed out that method. I<br>

can poke at that.<br>I don't know for Readers versus InputStreams, but it looks like abcl<br>likes the latter.</blockquote><div><br></div><div>So two things.</div><div>1) Something definitely wrong with initialization. If the first thing I do is (print *standard-input*) I get an unbound variable error.</div>

<div>2) Somebody's confused about something. If I start with eval (loop do (print (read-char))) I get printouts as if it's reading unicode escape sequences</div><div><br></div><div><div>Armed Bear Common Lisp 0.20.0-dev</div>

<div>Java 1.5.0_19 Apple Inc.</div><div>Java HotSpot(TM) Client VM</div><div>Low-level initialization completed in 0.0 seconds.</div><div>Startup completed in 0.486 seconds.</div><div><br></div><div>"Starting up protege lisp interpreter" </div>

<div>; Loading stream ...</div><div>;   Loading stream ...</div><div>;   Loaded stream (0.0050 seconds)</div><div>; Loaded stream (0.121 seconds)</div><div>a</div><div><br></div><div>#\\ </div><div>#\u </div><div>#\0 </div>

<div>#\0 </div><div>#\6 </div><div>#\1 </div><div>#\\ </div><div>#\u </div><div>#\0 </div><div>#\0 </div><div>#\0 </div><div>b</div><div>#\a </div><div>#\\ </div><div>#\u </div><div>#\0 </div><div>#\0 </div><div>#\6 </div>

<div>#\2 </div><div>#\\ </div><div>#\u </div><div>#\0 </div><div>#\0 </div><div>#\0 </div><div><br></div><div>-Alan</div></div></div>