-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1

On 25-Sep-06, at 3:48 PM, Sven.Hartrumpf@FernUni-Hagen.de wrote:

Hello Marc.

I have a large program which behaves a little different with gsc than any other Scheme I know of (bigloo, chicken, gauche): Here is the problematic region:

    (let* ((orth (and (pair? word-info)
                      ;(not (eq? (caar word-info) 'words))
                      (fs-value (car word-info) '(orth))))
           (orth-l (if orth (string-length orth) 0))
           (left-hyphen (and (> orth-l 2)
                             (char=? (string-ref orth 0) # 

-))) ; examples: \quw{Steuergesetzgebung und -verwaltung}, \quw {auspringen und -setzen} (right-hyphen (and (> orth-l 1) (char=? (string-ref orth (- orth- l 1)) #-))) (step (if left-hyphen (and (not right-hyphen) -1) (and right-hyphen 1))))

left-hyphen and right-hyphen are evaluated to #f for some binding - this is as expected. But step is bound to 1 which seems wrong to me. Minimizing the problem might be hard for me, so I hope that you can see the problem already :-)

Ciao Sven

Sven, you have just uncovered a nasty bug in the compiler. In beta 18 the transformation for the "and" form is too aggressive in the case where the second argument is a constant. As far as I can tell this bug was introduced just before beta 18 was released. Surprisingly in the 70Kloc in the Gambit runtime system and compiler this case does not occur. I have now fixed the bug and will release beta 19 shortly because this is a serious bug.

Thanks!

Marc