74 Commits

Author	SHA1	Message	Date
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	f3381daf2f	Migrate the DiffSummary property tests to leancheck.	2017-01-09 14:29:49 -05:00
Timothy Clem	4a3b8d3769	No need to qualify these	2016-12-13 08:38:18 -08:00
Timothy Clem	63def337ca	Fix tests to use Category instead of String	2016-12-12 17:47:12 -08:00
joshvera	c608d62a3a	Import from Diffing	2016-10-12 19:33:05 -04:00
joshvera	dfe8648a11	Fix tests	2016-10-12 19:19:36 -04:00
joshvera	deb5a0f018	Fix SourceSpan in tests	2016-10-11 15:12:48 -04:00
joshvera	15cd4777e6	Add SourceSpans to customize ToJSON output for These SourceSpan SourceSpan	2016-10-06 17:55:54 -04:00
joshvera	39e3a01533	Fix up DiffSummarySpec ranges	2016-10-06 15:12:14 -04:00
joshvera	f1a1c759b0	Fix some test errors	2016-10-06 14:20:58 -04:00
joshvera	b7df878c4b	Update specs	2016-10-05 17:41:00 -04:00
joshvera	07b7b7598e	Rename prependSummary to appendSummary and update tests	2016-10-05 11:56:42 -04:00
Rick Winfrey	cf64cf41d9	Update DiffSummarySpec	2016-10-03 16:39:29 -05:00
Timothy Clem	45a12c54f0	Fix testDiff in DiffSummarySpecs too	2016-09-30 14:15:02 -07:00
Rick Winfrey	a4c5a26533	Add pretty diff expectations to semantic diff tests	2016-09-14 16:45:23 -05:00
Rob Rix	98637ad656	Generalize Term/TermF & Diff/DiffF over the functor.	2016-09-09 14:46:50 -04:00
joshvera	499f5da329	Export isBranchInfo and clean up some warnings	2016-08-25 12:22:58 -04:00
joshvera	17da45b320	Moved isBranchInfo to DiffSummary	2016-08-24 15:28:10 -04:00
joshvera	9064e5f047	Fix up semantic-diff-tests	2016-08-22 10:33:26 -04: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	b6637828fa	The diff summary specs don’t need to generate arbitrary vectors.	2016-08-10 09:30:03 -04:00
Rob Rix	2d6857a51e	Merge branch 'master' into precompute-p,q-grams	2016-08-08 16:48:47 -04:00
joshvera	0bee997724	fix tests	2016-08-08 14:59:51 -04:00
Rob Rix	984822486b	🔥 some redundant imports.	2016-08-05 10:16:35 -04:00
Rob Rix	b29988a9a5	Fix a non-exhaustive pattern.	2016-08-05 10:16:18 -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
joshvera	1c5f94631c	s/diffSummary/diffSummaries	2016-07-29 18:38:46 -04:00
joshvera	380e980250	annotate sources	2016-07-29 14:34:28 -04:00
joshvera	1ba42a9d0f	Add Ranges to DiffSummarySpec	2016-07-29 14:31:02 -04:00
joshvera	aa99744db7	Remove SourceSpan from Record	2016-07-29 14:12:44 -04:00
joshvera	ba7d599aa3	Add SourceSpan to tests	2016-07-27 18:49:21 -04:00
joshvera	b5b3391786	add missing unwrap	2016-07-26 16:44:33 -04:00
joshvera	5eece69994	Use any	2016-07-26 16:29:46 -04:00
joshvera	799643147b	partially apply isBranchNode	2016-07-26 14:04:15 -04:00
joshvera	de925c533d	use Foldable.any	2016-07-26 13:55:05 -04:00
joshvera	84edc4b8ce	use bind	2016-07-26 13:45:50 -04:00
joshvera	4809ad0f2f	Use bind	2016-07-26 13:44:12 -04:00
joshvera	b5119dab1e	Include Info	2016-07-22 14:51:08 -04:00
joshvera	485fc884a4	Merge branch 'syntax-redux' into property-tests	2016-07-22 14:39:54 -04:00
joshvera	70f9329f1a	Merge remote-tracking branch 'origin/master' into syntax-redux	2016-07-22 12:36:03 -04:00
joshvera	a4851ba063	type signatures	2016-07-15 20:32:48 -04:00
joshvera	78bb7779a4	Test annotatedSummaries	2016-07-15 17:11:45 -04:00
joshvera	ed2f8bd57d	Delete comments	2016-07-15 15:24:40 -04:00
joshvera	ea814432a6	Add a property test to check number of LeafInfos in diff summaries match leaves in diff patches	2016-07-15 14:10:31 -04:00
joshvera	e57f30f20b	DiffInfo are now either LeafInfos or BranchInfos	2016-07-15 13:18:45 -04:00
Rob Rix	97e8dfadb1	DiffSummarySpec doesn’t depend on Info.	2016-07-15 09:41:12 -04:00