DOTIMES does not check that count-form yields an integer

[Roman Marynchak]

This code

(dotimes (x 7.7) (print x))

should fail to execute in REPL, because 7.7 is not of type INTEGER. CLHS is clear about it: "dotimes evaluates count-form, which should produce an integer", but SBCL and CLISP have the bug - they seem to use NUMBERP, and x gets printed.

[Roman Marynchak (roman-marynchak)]

The simple fix - use strict INTEGERP instead of NUMBERP.

The test is coming soon.

[Roman Marynchak (roman-marynchak)]

The simple test case. I am not sure about the exact test file, so please copy it to the appropriate one when merging the fix into CVS. Note that 'success' tests are not required, because DOTIMES is used in many system files and other tests as well.

;;; DOTIMES should accept the integer count-form value only. Bug #619393 in Launchpad.

(with-test (:name :dotimes-non-integer-counter-value)
  (assert (raises-error? (dotimes (i 8.6) nil))))

[Nikodemus Siivola (nikodemus)]

In SBCL 1.0.42.3.