6 Commits

Author	SHA1	Message	Date
Michael Walker	d6642b23d1	Split dejafu-tests into lib + binary	2018-02-16 19:14:46 +00:00
Michael Walker	31d29c11ea	Require a 'MonadConc n' instance to run 'ConcT r n' expressions ... This is preparation for adding bound threads. The instance isn't used in this commit, but the diff is large enough that I feel this should be a separate commit for ease of review. Fallout: - The MonadBaseControl IO instance is gone, as I'm not sure how to do it generally. - The pure/IO split is gone, everything is now monadic. - The execution, SCT, and dejafu functions are of the form (MonadConc n, MonadRef r n) => ...	2017-12-12 14:06:59 +00:00
Michael Walker	be64ba90ab	Add weeder exclude rules for optional dependencies	2017-12-08 14:20:39 +00:00
Michael Walker	eb73600b39	Add property tests for memory ops	2017-10-31 17:17:27 +00:00
Michael Walker	29b1f28546	Add some property tests ... Goes some way to solving #142, but it would be nice to have some for the memory stuff.	2017-10-30 20:32:00 +00:00
Michael Walker	888c371665	Add hlint and weeder to travis script	2017-10-20 15:19:35 +01:00