Michael Walker
|
3d1d287787
|
Use PF bounding in {hunit,tasty}-dejafu
|
2015-10-26 23:11:30 +00:00 |
|
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 |
|