52 Commits

Author	SHA1	Message	Date
Rob Rix	877fec5e38	Rename RNil to Nil.	2017-01-19 15:36:04 -05:00
Rob Rix	88aec60e23	Migrate the Interpreter property tests to leancheck.	2017-01-09 14:20:11 -05:00
joshvera	dfe8648a11	Fix tests	2016-10-12 19:19:36 -04:00
Rick Winfrey	a4c5a26533	Add pretty diff expectations to semantic diff tests	2016-09-14 16:45:23 -05:00
Rob Rix	00689650dd	Use the defaultFeatureVectorDecorator in the tests.	2016-08-18 14:03:36 -04:00
Rob Rix	8aa0f082a6	Bump _q_ in all of the specs. ... Figure it’s best if they use the same value for the parameter.	2016-08-18 11:23:21 -04:00
Rob Rix	2b35110d0a	🔥 the faulty tests of unbiased branch diffs.	2016-08-12 12:24:38 -04:00
Rob Rix	ff4861e2fb	Add the unbiased insertion test to the Interpreter spec.	2016-08-12 12:16:48 -04:00
Rob Rix	86fd5b21fd	Use the replacing smart constructor.	2016-08-11 14:42:17 -04:00
Rob Rix	0346b5d8f1	Use galign to ensure that the constructors are disjoint.	2016-08-11 14:32:10 -04:00
Rob Rix	0fc0e80ed9	Revert "Revert "Ensure that the syntaxes are disjoint."" ... This reverts commit cfe27aec6f0764f451c493439086e03a1bdcf176.	2016-08-11 13:33:33 -04:00
Rob Rix	d9b48b6def	Revert "Ensure that the syntaxes are disjoint." ... This reverts commit 43ebf52752a8cf22ae18633a5667966fd3f74aa0.	2016-08-11 13:28:51 -04:00
Rob Rix	70a622ca84	Ensure that the syntaxes are disjoint.	2016-08-11 13:27:45 -04:00
Rob Rix	fd23564dd5	Use a single root function for both interpreter tests.	2016-08-11 13:05:36 -04:00
Rob Rix	3eb05a31b1	Test the interpreter against insertions as well.	2016-08-11 13:03:22 -04:00
Rob Rix	fd2274b997	Use a single annotation for both children.	2016-08-11 13:00:54 -04:00
Rob Rix	3bb86389ed	Strip the diff in the replacement of unicode equivalent terms test.	2016-08-11 12:48:41 -04:00
Rob Rix	15b515e7a1	Strip the diff in the correctness test.	2016-08-11 12:48:27 -04:00
Rob Rix	336f37d0c8	Strip diffs in the unbiased test.	2016-08-11 12:45:40 -04:00
Rob Rix	8d22e7bd85	Pointfree definition of root.	2016-08-11 12:37:19 -04:00
Rob Rix	7bb5d7cd36	Use a single function to compute both roots.	2016-08-11 12:36:41 -04:00
Rob Rix	b551f9c3d9	Test that the bias of interpreter by reversing the inputs & output.	2016-08-11 12:34:32 -04:00
Rob Rix	af831671bc	Interpreter uses category equality.	2016-08-11 12:32:44 -04:00
Rob Rix	fd6701973f	Replace termA/termB with functions.	2016-08-11 12:25:30 -04:00
Rob Rix	fb847d9d3f	Add a test that interpreter is unbiased for deletions.	2016-08-11 12:23:34 -04:00
Rob Rix	45ce4bbf03	The interpreter specs don’t need to generate arbitrary vectors.	2016-08-10 09:26:58 -04:00
Rob Rix	984822486b	🔥 some redundant imports.	2016-08-05 10:16:35 -04:00
Rob Rix	a06dd1dc1e	Move the Arbitrary instance over Vector into its own module.	2016-08-05 10:14:53 -04:00
Rob Rix	3e85be8740	Generate arbitrary non-empty vectors.	2016-08-05 09:26:21 -04:00
Rob Rix	9fc9827b34	rws requires a feature vector.	2016-08-04 21:01:54 -04:00
Rob Rix	e3a43b77a9	Fix overloaded string warning.	2016-06-30 15:02:28 -04:00
Rob Rix	b0b8aa0616	Test that Interpreter produces zero-cost diffs of equal terms.	2016-06-30 13:34:31 -04:00
Rob Rix	28abcd1b38	Move Record’s Arbitrary instance into Data.Record.	2016-06-30 12:49:50 -04:00
Rob Rix	b8ba07522b	Test that Interpreter produces correct diffs.	2016-06-27 15:28:11 -04:00
Rob Rix	2de9468ed1	Sort the imports.	2016-06-27 15:28:04 -04:00
Rob Rix	8fe92c025c	Pare the unicode replacement test down further.	2016-06-27 13:08:12 -04:00
Rob Rix	db17330b4d	Clean up the InterpreterSpec test by extracting the infos.	2016-06-27 13:03:58 -04:00
Rob Rix	1668e94427	Define Info as a synonym over Data.Record.	2016-06-17 13:33:50 -04:00
Rob Rix	f39e3df33b	Pass a DiffConstructor to diffTerms.	2016-06-03 02:59:48 -04:00
Rob Rix	bcbb590b1f	Add a cost field to Info.	2016-06-02 23:34:16 -04:00
Rob Rix	43757e8a61	🔥 Categorizable. ... This reverts commit be59b0c161362baae63308478177819828be7e1b.	2016-06-02 19:10:41 -04:00
joshvera	465da6bae5	one more	2016-05-31 17:02:24 -04:00
joshvera	cf21fddc08	Fix up tests	2016-05-31 16:38:47 -04:00
joshvera	ebd5d20171	Remove duplicate imports	2016-05-26 14:04:27 -04:00
joshvera	473ec980b1	Merge remote-tracking branch 'origin/master' into diff-summaries	2016-05-26 13:40:54 -04:00
joshvera	ed144bbb1f	Fix tests	2016-05-26 13:11:34 -04:00
joshvera	170110ee8e	Fix up tests	2016-05-04 15:15:25 -04:00
Rob Rix	1a22eaebf6	Correct the tests.	2016-04-12 04:54:32 -04:00
Rob Rix	20bb94bf5e	Also, tests.	2016-03-30 17:33:07 -04:00
Matt Diephouse	170b7c6e1e	Rename Categorizable module to Category	2016-02-04 13:59:33 -05:00