[climacs-devel] cl-automton's automaton objects may print incorrect state numbers

[Derek Peschel]

Do other people see this?  With SBCL 0.9.0:

* (regexp-automaton (string-regexp "abc"))
initial state: 0
state 0 [reject]: a -> 0
state 0 [reject]: b -> 0
state 0 [reject]: c -> 0
state 0 [accept]: 

All the state numbers are 0 which makes no sense.  The automaton itself
has the correct structure -- it succeeds with (run ... "abc") and fails
with other strings.  So I suspect the print-object method.

Changing the "b" to a dot corrects the printout of state numbers:

* (regexp-automaton (string-regexp "a.c"))

initial state: 0
state 0 [reject]: a -> 1
state 1 [reject]: #| range from 0 to +max-char-code+ |# -> 2
state 2 [reject]: c -> 3
state 3 [accept]: 

No, LISP didn't print the comment.  The real printout contains UTF-8
for character 0, dash, character 10FFFF.

-- Derek