Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package ocaml-qcheck for openSUSE:Factory checked in at 2023-06-01 17:19:15 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ocaml-qcheck (Old) and /work/SRC/openSUSE:Factory/.ocaml-qcheck.new.2531 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ocaml-qcheck" Thu Jun 1 17:19:15 2023 rev:12 rq:1089873 version:0.21.1 Changes: -------- --- /work/SRC/openSUSE:Factory/ocaml-qcheck/ocaml-qcheck.changes 2023-05-16 14:27:26.003744368 +0200 +++ /work/SRC/openSUSE:Factory/.ocaml-qcheck.new.2531/ocaml-qcheck.changes 2023-06-01 17:19:22.182106788 +0200 @@ -1,0 +2,6 @@ +Sun May 21 21:21:21 UTC 2023 - [email protected] + +- Update to version 0.21.1 + See included CHANGELOG.md for details + +------------------------------------------------------------------- Old: ---- ocaml-qcheck-0.21.tar.xz New: ---- ocaml-qcheck-0.21.1.tar.xz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ocaml-qcheck.spec ++++++ --- /var/tmp/diff_new_pack.ggcrTg/_old 2023-06-01 17:19:22.606109301 +0200 +++ /var/tmp/diff_new_pack.ggcrTg/_new 2023-06-01 17:19:22.614109349 +0200 @@ -21,15 +21,18 @@ %if "%build_flavor" == "testsuite" %if %{without ocaml_qcheck_testsuite} ExclusiveArch: do-not-build +%else +ExclusiveArch: aarch64 ppc64 ppc64le riscv64 s390x x86_64 %endif %define nsuffix -testsuite %else %define nsuffix %nil +ExclusiveArch: aarch64 ppc64 ppc64le riscv64 s390x x86_64 %endif %define pkg ocaml-qcheck Name: %pkg%nsuffix -Version: 0.21 +Version: 0.21.1 Release: 0 %{?ocaml_preserve_bytecode} Summary: QuickCheck inspired property-based testing for OCaml ++++++ _service ++++++ --- /var/tmp/diff_new_pack.ggcrTg/_old 2023-06-01 17:19:22.650109562 +0200 +++ /var/tmp/diff_new_pack.ggcrTg/_new 2023-06-01 17:19:22.654109586 +0200 @@ -1,7 +1,7 @@ <services> <service name="tar_scm" mode="disabled"> <param name="filename">ocaml-qcheck</param> - <param name="revision">61243efc20cb460e9a41eef9b73a7776ee86ad7a</param> + <param name="revision">a306ee8b29ad6e2fc90b5c566b75e02669a9c0b3</param> <param name="scm">git</param> <param name="submodules">disable</param> <param name="url">https://github.com/c-cube/qcheck.git</param> ++++++ ocaml-qcheck-0.21.tar.xz -> ocaml-qcheck-0.21.1.tar.xz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ocaml-qcheck-0.21/CHANGELOG.md new/ocaml-qcheck-0.21.1/CHANGELOG.md --- old/ocaml-qcheck-0.21/CHANGELOG.md 2023-05-08 19:31:52.000000000 +0200 +++ new/ocaml-qcheck-0.21.1/CHANGELOG.md 2023-05-19 17:48:21.000000000 +0200 @@ -1,5 +1,10 @@ # Changes +## 0.21.1 + +- Roll back the `Shrink.list_spine` fix, as it was utilizing polymorphic + equality that can raise an exception on function comparison. + ## 0.21 - make `Test.check_result`, `Test.check_cell_exn`, and diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ocaml-qcheck-0.21/qcheck-alcotest.opam new/ocaml-qcheck-0.21.1/qcheck-alcotest.opam --- old/ocaml-qcheck-0.21/qcheck-alcotest.opam 2023-05-08 19:31:52.000000000 +0200 +++ new/ocaml-qcheck-0.21.1/qcheck-alcotest.opam 2023-05-19 17:48:21.000000000 +0200 @@ -5,7 +5,7 @@ license: "BSD-2-Clause" synopsis: "Alcotest backend for qcheck" doc: ["http://c-cube.github.io/qcheck/";] -version: "0.21" +version: "0.21.1" tags: [ "test" "quickcheck" diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ocaml-qcheck-0.21/qcheck-core.opam new/ocaml-qcheck-0.21.1/qcheck-core.opam --- old/ocaml-qcheck-0.21/qcheck-core.opam 2023-05-08 19:31:52.000000000 +0200 +++ new/ocaml-qcheck-0.21.1/qcheck-core.opam 2023-05-19 17:48:21.000000000 +0200 @@ -5,7 +5,7 @@ license: "BSD-2-Clause" synopsis: "Core qcheck library" doc: ["http://c-cube.github.io/qcheck/";] -version: "0.21" +version: "0.21.1" tags: [ "test" "property" diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ocaml-qcheck-0.21/qcheck-ounit.opam new/ocaml-qcheck-0.21.1/qcheck-ounit.opam --- old/ocaml-qcheck-0.21/qcheck-ounit.opam 2023-05-08 19:31:52.000000000 +0200 +++ new/ocaml-qcheck-0.21.1/qcheck-ounit.opam 2023-05-19 17:48:21.000000000 +0200 @@ -5,7 +5,7 @@ homepage: "https://github.com/c-cube/qcheck/"; doc: ["http://c-cube.github.io/qcheck/";] synopsis: "OUnit backend for qcheck" -version: "0.21" +version: "0.21.1" tags: [ "qcheck" "quickcheck" diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ocaml-qcheck-0.21/qcheck.opam new/ocaml-qcheck-0.21.1/qcheck.opam --- old/ocaml-qcheck-0.21/qcheck.opam 2023-05-08 19:31:52.000000000 +0200 +++ new/ocaml-qcheck-0.21.1/qcheck.opam 2023-05-19 17:48:21.000000000 +0200 @@ -5,7 +5,7 @@ homepage: "https://github.com/c-cube/qcheck/"; license: "BSD-2-Clause" doc: ["http://c-cube.github.io/qcheck/";] -version: "0.21" +version: "0.21.1" tags: [ "test" "property" diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ocaml-qcheck-0.21/src/core/QCheck.ml new/ocaml-qcheck-0.21.1/src/core/QCheck.ml --- old/ocaml-qcheck-0.21/src/core/QCheck.ml 2023-05-08 19:31:52.000000000 +0200 +++ new/ocaml-qcheck-0.21.1/src/core/QCheck.ml 2023-05-19 17:48:21.000000000 +0200 @@ -760,7 +760,7 @@ match l with | [] -> () | [_] -> yield [] - | [x;y] -> yield []; yield [x]; if x <> y then yield [y] + | [x;y] -> yield []; yield [x]; yield [y] | _::_ -> let len = List.length l in let xs,ys = split l ((1 + len) / 2) [] in diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ocaml-qcheck-0.21/test/core/QCheck_expect_test.expected.ocaml4.32 new/ocaml-qcheck-0.21.1/test/core/QCheck_expect_test.expected.ocaml4.32 --- old/ocaml-qcheck-0.21/test/core/QCheck_expect_test.expected.ocaml4.32 2023-05-08 19:31:52.000000000 +0200 +++ new/ocaml-qcheck-0.21.1/test/core/QCheck_expect_test.expected.ocaml4.32 2023-05-19 17:48:21.000000000 +0200 @@ -74,6 +74,7 @@ [1; 1] [] [1] +[1] [0; 1] [1; 0] diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ocaml-qcheck-0.21/test/core/QCheck_expect_test.expected.ocaml4.64 new/ocaml-qcheck-0.21.1/test/core/QCheck_expect_test.expected.ocaml4.64 --- old/ocaml-qcheck-0.21/test/core/QCheck_expect_test.expected.ocaml4.64 2023-05-08 19:31:52.000000000 +0200 +++ new/ocaml-qcheck-0.21.1/test/core/QCheck_expect_test.expected.ocaml4.64 2023-05-19 17:48:21.000000000 +0200 @@ -106,6 +106,7 @@ [1; 1] [] [1] +[1] [0; 1] [1; 0] diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ocaml-qcheck-0.21/test/core/QCheck_expect_test.expected.ocaml5.32 new/ocaml-qcheck-0.21.1/test/core/QCheck_expect_test.expected.ocaml5.32 --- old/ocaml-qcheck-0.21/test/core/QCheck_expect_test.expected.ocaml5.32 2023-05-08 19:31:52.000000000 +0200 +++ new/ocaml-qcheck-0.21.1/test/core/QCheck_expect_test.expected.ocaml5.32 2023-05-19 17:48:21.000000000 +0200 @@ -84,6 +84,7 @@ [2; 2] [] [2] +[2] [1; 2] [2; 1] diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ocaml-qcheck-0.21/test/core/QCheck_expect_test.expected.ocaml5.64 new/ocaml-qcheck-0.21.1/test/core/QCheck_expect_test.expected.ocaml5.64 --- old/ocaml-qcheck-0.21/test/core/QCheck_expect_test.expected.ocaml5.64 2023-05-08 19:31:52.000000000 +0200 +++ new/ocaml-qcheck-0.21.1/test/core/QCheck_expect_test.expected.ocaml5.64 2023-05-19 17:48:21.000000000 +0200 @@ -116,6 +116,7 @@ [2; 2] [] [2] +[2] [1; 2] [2; 1] diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ocaml-qcheck-0.21/test/core/QCheck_unit_tests.ml new/ocaml-qcheck-0.21.1/test/core/QCheck_unit_tests.ml --- old/ocaml-qcheck-0.21/test/core/QCheck_unit_tests.ml 2023-05-08 19:31:52.000000000 +0200 +++ new/ocaml-qcheck-0.21.1/test/core/QCheck_unit_tests.ml 2023-05-19 17:48:21.000000000 +0200 @@ -85,8 +85,8 @@ List.iter (alco_check Alcotest.string (trace_false Shrink.string) "on repeated failure") [ ("string \"\"", "", []); ("string \"a\"", "a", [""]); - ("string \"aa\"", "aa", [""; "a"]); - ("string \"aaaa\"", "aaaa", ["aa"; "aa"; "aaa"]); + ("string \"aa\"", "aa", [""; "a"; "a"]); + ("string \"aaaa\"", "aaaa", ["aa"; "aa"; "aaa"; "aaa"]); ("string \"abcd\"", "abcd", ["ab"; "cd"; "acd"; "bcd"; "aacd"; "abbd"; "abcc"]); ("string \"E'*\"", "E'*", ["E'"; "*"; "E*"; "'*"; "S'*"; "L'*"; "H'*"; "F'*"; "ED*"; "E5*"; "E.*"; "E**"; "E(*"; "E'E"; "E'7"; "E'0"; "E'-"; "E'+"]); @@ -101,7 +101,7 @@ "vi5x92mgG"; "vi5x92sgG"; "vi5x92vgG"; "vi5x92wgG"; "vi5x92xdG"; "vi5x92xfG"; "vi5x92xgT"; "vi5x92xgM"; "vi5x92xgJ"; "vi5x92xgH"]); - ("string \"~~~~\"", "~~~~", ["~~"; "~~"; "~~~"; "p~~~"; "w~~~"; "{~~~"; "}~~~"; "~p~~"; + ("string \"~~~~\"", "~~~~", ["~~"; "~~"; "~~~"; "~~~"; "p~~~"; "w~~~"; "{~~~"; "}~~~"; "~p~~"; "~w~~"; "~{~~"; "~}~~"; "~~p~"; "~~w~"; "~~{~"; "~~}~"; "~~~p"; "~~~w"; "~~~{"; "~~~}"]); ]; List.iter (alco_check Alcotest.string (trace_true Shrink.string) "on repeated success") @@ -113,6 +113,10 @@ ("string \"E'*\"", "E'*", ["E'"; ""]); ("string \"vi5x92xgG\"", "vi5x92xgG", ["vi5x9"; "vi5"; "vi"; ""]); ] + let test_list_spine_compare () = + let run_test () = QCheck.Shrink.list_spine [pred;succ] ignore in + Alcotest.(check unit) "doesn't compare elements" () @@ run_test () + let tests = ("Shrink", Alcotest.[ test_case "int" `Quick test_int; test_case "int32" `Quick test_int32; @@ -121,6 +125,7 @@ test_case "char_numeral" `Quick test_char_numeral; test_case "char_printable" `Quick test_char_printable; test_case "string" `Quick test_string; + test_case "list_spine" `Quick test_list_spine_compare; ]) end
