racket / rackunit

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

contract violation in `make-rackunit-test-suite`

samth opened this issue · comments

From the tests for the semver pkg:

main.rkt: raco test: non-empty stderr: #"make-rackunit-test-suite: broke its own contract\n  promised: an object\n  produced: (fold-state '#hash((error . 0) (failure . 0) (success . 0)) '(\"Tests\"))\n  in: a part of the or/c of\n      the 4th argument of\n      the 2nd argument of\n      (->\n       any/c\n       (->\n        (->\n         any/c\n         any/c\n         (-> Any)\n         (-> Any)\n         any/c\n         (or/c #f (object/c)))\n        (->\n         any/c\n         any/c\n         (-> Any)\n         (-> Any)\n         any/c\n         any/c\n         (or/c #f (object/c)))\n        (->\n         any/c\n         any/c\n         (-> Any)\n         any/c\n         (or/c #f (object/c)))\n        (or/c #f (object/c))\n        any)\n       (-> Any)\n       (-> Any)\n       rackunit-test-suite?)\n  contract from: \n      (interface for make-rackunit-test-suite)\n  blaming: (interface for make-rackunit-test-suite)\n   (assuming the contract is correct)\n  at: <pkgs>/typed-racket-more/typed/rackunit/main.rkt:158.30\n  context...:\n   /home/racket/build-pkgs/racket/collects/racket/contract/private/blame.rkt:163:0: raise-blame-error16\n   /home/racket/build-pkgs/racket/collects/racket/private/class-c-old.rkt:1265:4\n   /home/racket/build-pkgs/racket/collects/racket/contract/private/arrow-higher-order.rkt:346:33\n   /home/racket/build-pkgs/racket/share/pkgs/rackunit-lib/rackunit/private/test-suite.rkt:60:0: apply-test-suite\n   /home/racket/build-pkgs/racket/share/pkgs/rackunit-lib/rackunit/text-ui.rkt:86:0: run-tests6\n   /home/racket/build-pkgs/racket/collects/racket/contract/private/../../private/kw.rkt:763:9\n   (submod /home/racket/build-pkgs/user/.racket/snapshot/pkgs/semver/semver/main.rkt test): [running body]\n   (submod /home/racket/build-pkgs/racket/share/pkgs/compiler-lib/compiler/commands/test.rkt process): [running body]\n"
raco test: "/home/racket/build-pkgs/user/.racket/snapshot/pkgs/semver/semver/scribblings/semver.scrbl"

This is caused by a change I made to the typed-racket-more package, not RackUnit itself. I've opened racket/typed-racket#583 for it.