Can't extend `Checkers` and `Discipline` in the same suite?

typelevel / weaver-test

A test framework that runs everything in parallel.

https://typelevel.org/weaver-test/

Other

46 stars 8 forks source link

Can't extend `Checkers` and `Discipline` in the same suite? #99

Open zainab-ali opened 2 weeks ago

zainab-ali commented 2 weeks ago

This issue was copied over from: https://github.com/disneystreaming/weaver-test/issues/588 It was opened by: armanbilge

At least, I couldn't figure out how to do it. Seems like their hierarchies are conflicting?

It seems like a common pattern to mix discipline tests with additional property tests. Workaround of course is to make two suites, with some shuffling to share generators :)

zainab-ali commented 2 weeks ago

This comment was copied over from: https://github.com/disneystreaming/weaver-test/issues/588#issuecomment-1264718598 It was written by: Baccata

I have to admit I've never used the Discipline module in weaver myself. I'd be happy to undergo some changes to make this possible.