New draft (#2) of SRFI 252: Property Testing Arthur A. Gleckler (23 Jan 2024 20:53 UTC)
Re: New draft (#2) of SRFI 252: Property Testing Antero Mejr (13 Feb 2024 21:06 UTC)

Re: New draft (#2) of SRFI 252: Property Testing Antero Mejr 13 Feb 2024 21:06 UTC

I do not see an announcement for draft v3 in the mailing list archive, nor did I receive one after v3 was released on 2024-02-05. Was it sent?

The v3 changes were minor, the main thing being the optional usage of SRFI 143 in the sample code.

> On 01/23/2024 8:53 PM GMT Arthur A. Gleckler <xxxxxx@speechcode.com> wrote:
>
>
> I've just published draft #2 of SRFI 252
> <https://srfi.schemers.org/srfi-252/>. It was submitted by Antero Mejr,
> author of the SRFI.
>
> Here are Antero's comments on the draft:
>
>    - Major changes to the numeric generator interface, and corresponding
>    changes to the implementation.
>    - Improved tests.
>
> Here is the commit summary:
>
>    - Fix link.
>    - Remove extraneous and incorrect info
>    - Fix char issue and clean up special sequence
>    - Update complex? to exact-complex?
>    - Small code cleanup
>    - Allow exact-complex-generator for implementations without exact-complex
>    - Error if using exact-complex-generator when unsupported
>    - Use full-unicode to cond-expand max-char.
>    - Add fractions to special-number
>    - Fix mistake
>    - Add fractional exact complex
>    - Add fractional i to exact-complex
>    - Refactor construction of special-number
>    - Reduce calls to (get-runner)
>    - Add determinism test
>    - Add non-determinism test
>    - Remove SRFI 18 test dependency
>    - Change test name
>    - Parameterize test
>    - Simplify test-runner code
>    - Always refer to (scheme list) as (srfi 1)
>    - Capitalize hex numbers (nitpick)
>    - Change wording to match SRFI 64.
>    - Fix comments
>    - Thank mailing list contributors
>    - Remove -nan.0
>    - wording
>    - Refactor generator implementation
>    - Don't generate ratios with zero divisor
>    - Add complex inf and nan numbers
>    - Update with new number generators and reorganize
>    - Remove confusing word
>    - More word removals
>    - Corrections
>    - Remove exact-ratio-generator
>    - Prevent zero divisors when making ratios
>    - Reindent exports
>    - Unused import
>    - Fix overflowing <pre> element in pair-generator-of
>    - Formatting nitpicks
>    - Format nitpick for inexact-complex generators
>    - Publish second draft.
>
> Here's the diff:
>
> https://github.com/scheme-requests-for-implementation/srfi-252/compare/draft-1..draft-2
>
> Regards,
>
> SRFI Editor