32 Commits

Author	SHA1	Message	Date
Herbert Valerio Riedel	8fcc5c7b91	Fix compile failure w/ GHC 7.4.2 ... This replaces the sub-optimal use of cabal flags with a more robust & idiomatic conditional pattern for depending on ghc-prim. This is also reduces the complexity for the cabal solver, since there are no flags to solve for anymore. Fixes #52	2017-04-08 21:49:57 +02:00
Kei Hibino	c5f1f99af9	rr-quickcheck: apply new name.	2017-04-05 15:06:16 +09:00
Kei Hibino	dac7e2eb25	rr-quickcheck: update tests for GHC 7.4.	2017-03-29 16:59:17 +09:00
Kei Hibino	ff573599df	rr-quickcheck: add makefile link for developers.	2017-03-21 12:43:33 +09:00
Kei Hibino	5dbbcee027	apply DeriveGeneric.	2017-03-16 16:06:04 +09:00
Kei Hibino	a6711fd4fb	rr-quickcheck PostgreSQL: simplify scripts.	2017-01-28 16:16:27 +09:00
Kei Hibino	bafeba3ce0	rr-quickcheck MySQL: update cleanup script.	2017-01-27 09:52:13 +09:00
Kei Hibino	4192fc32c6	rr-quickcheck MySQL: add cleanup script.	2017-01-26 09:45:10 +09:00
Kei Hibino	7fd5bfccaa	rr-quickcheck MySQL: simplify scripts.	2017-01-26 09:38:01 +09:00
Kei Hibino	ce780aaf28	rr-quickcheck MySQL: simplify scripts.	2017-01-26 09:36:24 +09:00
Kei Hibino	9611798cef	change quotation of sh-script.	2017-01-24 18:10:50 +09:00
Kei Hibino	f0fe5f49ac	adjust .cabal.	2017-01-24 09:47:34 +09:00
Kei Hibino	ef621fe9f9	add a random test instance for MySQL.	2017-01-22 11:54:50 +09:00
Kei Hibino	9d2c3c7a3c	add a random test instance for PostgreSQL.	2017-01-22 11:54:36 +09:00
Kei Hibino	136e75baf0	add SQLs to create tables for random tests.	2017-01-17 09:52:49 +09:00
Kei Hibino	1c650c7f7b	add a random test of cross join.	2017-01-17 09:48:36 +09:00
Kei Hibino	60ba010135	add a list of test definitions.	2017-01-17 09:11:14 +09:00
Kei Hibino	599b247ebc	renamed.	2016-12-22 08:58:57 +09:00
Kei Hibino	2c0596db0b	inlining.	2016-12-19 18:21:22 +09:00
Kei Hibino	54966d69de	generalize join operator of join test.	2016-12-19 18:19:29 +09:00
Kei Hibino	9ec6c3726b	switch to rangeN.	2016-12-19 18:15:49 +09:00
Kei Hibino	9d444c89ad	switch to range5.	2016-12-19 18:13:52 +09:00
Kei Hibino	f97edcfd66	add meta definition comparing select result and list.	2016-12-19 18:11:34 +09:00
Kei Hibino	c5d1ed3288	merge small transaction module.	2016-12-19 17:53:17 +09:00
Kei Hibino	c9e9212564	add select test with random predicate.	2016-12-18 19:37:59 +09:00
Kei Hibino	e4b5240c1e	add predicate arbitraries.	2016-12-18 19:37:02 +09:00
Kei Hibino	e6160675c6	divide arbitraries and test definitions.	2016-12-18 14:44:06 +09:00
Kei Hibino	50726dd0e7	apply table initializer.	2016-12-18 14:36:03 +09:00
Kei Hibino	a718ab2925	add generalized table initializer.	2016-12-18 14:35:43 +09:00
Kei Hibino	7f60b94ccf	add random comparison tests between pure value and queried result.	2016-12-08 17:02:14 +09:00
Kei Hibino	0bc173d62a	add derived table and show instances for tests.	2016-12-08 16:57:40 +09:00
Kei Hibino	53dfe83030	add small instances to create random query tests.	2016-12-01 09:55:53 +09:00