more automatic tests for containers
Kazu Yamamoto ( 山本和彦 )
kazu at iij.ad.jp
Mon Jan 9 01:57:44 CET 2012
> I definitely prefer the "==" form for stating laws the interface
> Doctest came from the Python tradition, which is a very imperative
> outlook on life. I wonder whether doctest could be modified to better
> match the programming, documentation, and testing style of Haskell. In
> particular, I'd expect it to recognize "=="-style statements as things
> to test.
> The only real issue is whether those statements should be
> considered unit tests or properties (testable by QuickCheck and
> SmallCheck), since those two categories have very different methods of
> being verified.
I have extended test-framework-th to handle doctest (HUnit) also. I
will probably release this in this week.
More information about the Libraries