Possibly invalid test cases Takashi Kato (16 May 2017 20:11 UTC)
Re: Possibly invalid test cases Takashi Kato (16 May 2017 20:25 UTC)
Re: Possibly invalid test cases John Cowan (16 May 2017 22:15 UTC)
Re: Possibly invalid test cases John Cowan (18 May 2017 00:00 UTC)

Possibly invalid test cases Takashi Kato 16 May 2017 20:11 UTC

Hi,

Test-200 and test-202 seem violating R6RS fxrotate-bit-field. R6RS says:

    Fx2, fx3, and fx4 must be non-negative and less than (fixnum-width).
    Fx2 must be less than or equal to fx3. Fx4 must be less than the
    difference between fx3 and fx2.

However, the test cases are:

#| test-200 |# (fxbit-field-rotate #b110 1 1 2)
;; -> (fxrotate-bit-field 6 1 2 1)
;; thus fx4 is equal to the difference between fx3 and fx2

#| test-202 |# (fxbit-field-rotate #b0111 -1 1 4)
;; -> (fxrotate-bit-field 7 1 4 -1)
;; thus fx4 is negative

Most of the implementations allow test-200 except Mosh and Sagittarius
(not sure about Guile, Vicare and IronScheme) and pnly Ypsilon allows
test-202 (not sure about Guile, Vicare and IronScheme)

Are these cases invalid on this SRFI? Or does it have to be allowed?

Cheers,

--
_/_/
Takashi Kato
E-mail: ktakashi19@gmail.com