-----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