59 Commits

Author	SHA1	Message	Date
Rob Rix	fe326bcf03	🔥 the comparability parameter to diffTerms.	2017-02-21 15:23:30 -05:00
Rob Rix	c4f37454d6	🔥 the construct parameter to diffTerms.	2017-02-21 15:17:35 -05:00
Rob Rix	01c47fa0c1	🔥 the computation of costs.	2017-02-21 14:34:24 -05:00
Rob Rix	93937a1bf9	Fix the tests.	2017-02-08 11:15:37 -05:00
Rob Rix	7e1bd55c64	Generate an empty array.	2017-02-03 15:57:05 -05:00
Rob Rix	23881c21b6	Hide that other definition of Nil.	2017-01-19 15:53:16 -05:00
Rob Rix	8e1c5706b6	Replace uses of (.:) with (:.).	2017-01-19 15:46:28 -05:00
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