Commit Graph

9 Commits

Author SHA1 Message Date
Michael Walker
53e738b066 Remove some needless Eq constraints 2015-10-25 17:05:40 +00:00
Michael Walker
a4b4b25b71 Drop needless GADTs 2015-10-08 21:47:28 +01:00
Michael Walker
9144ea4cbf Drop ConcTest/ConcIOTest entirely 2015-10-08 21:15:46 +01:00
Michael Walker
3bb640010a Don't expose ConcTest/ConcIOTest types 2015-10-08 21:09:48 +01:00
Michael Walker
b899253b04 Add dejafu'/dejafuIO' functions 2015-10-08 15:45:05 +01:00
Michael Walker
6ebff392c3 Share traces for ConcTest 2015-10-08 15:28:02 +01:00
Michael Walker
6c6e0eed01 Hide the type parameter inside ConcTest/ConcIOTest 2015-10-08 15:19:43 +01:00
Michael Walker
1c42618ba7 Include names with HUnit tests,a nd generate TestLists where possible 2015-10-08 15:15:13 +01:00
Michael Walker
3c9a3f2ec7 Initial implementation of HUnit integration.
Note: this BREAKS `cabal/stack test` for dejafu!

See dejafu/README.markdown for the work-around.
2015-10-08 12:05:59 +01:00