1079 Commits

Author	SHA1	Message	Date
Rob Rix	394d6186d9	Add a patch fixture for the dictionary case.	2016-08-08 15:22:16 -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	eb81569599	🔥 the getLabel parameter to rws.	2016-08-05 09:08:17 -04:00
Rob Rix	9fc9827b34	rws requires a feature vector.	2016-08-04 21:01:54 -04:00
Rob Rix	60c4effabe	Diffing annotates terms with their feature vectors.	2016-08-04 20:43:10 -04:00
Rob Rix	74710eefcd	🔥 redundant imports.	2016-08-04 20:42:50 -04:00
Rob Rix	32f9152f22	Rename a test.	2016-08-04 19:48:21 -04:00
Rob Rix	46a3aee33e	Define pqGrams in terms of the decorator.	2016-08-04 19:19:03 -04:00
Rob Rix	54c86812f3	Merge branch 'master' into precompute-p,q-grams	2016-08-02 12:05:19 -04:00
joshvera	ce149af0f6	++js-test ++tree-sitter-parsers	2016-08-01 12:23:15 -04:00
joshvera	1c5f94631c	s/diffSummary/diffSummaries	2016-07-29 18:38:46 -04:00
joshvera	b354ed61d9	++js-test	2016-07-29 16:57:30 -04:00
joshvera	b242555021	++js-test	2016-07-29 16:34:09 -04:00
joshvera	04a976969e	++js-test	2016-07-29 16:16:58 -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	fbc9e335a3	Merge remote-tracking branch 'origin/master' into error-syntax	2016-07-29 11:44:38 -04:00
Rob Rix	e45185037c	Merge branch 'master' into precompute-p,q-grams	2016-07-29 01:52:14 -04:00
joshvera	5caa439bec	++js-test	2016-07-28 14:29:24 -04:00
joshvera	8b0f496b90	Merge remote-tracking branch 'origin/master' into error-syntax	2016-07-27 19:00:27 -04:00
joshvera	ba7d599aa3	Add SourceSpan to tests	2016-07-27 18:49:21 -04:00
Rob Rix	755d9877b4	pqGrams takes the label function before p and q.	2016-07-27 00:22:22 -04:00
Rob Rix	08f7d71791	Rename termCost to termCostDecorator.	2016-07-27 00:08:42 -04:00
joshvera	b5b3391786	add missing unwrap	2016-07-26 16:44:33 -04:00
joshvera	4bd4a93a0c	++js-test	2016-07-26 16:34:28 -04:00
joshvera	804a8457a5	++js-test for errors.js	2016-07-26 16:30:12 -04:00
joshvera	5eece69994	Use any	2016-07-26 16:29:46 -04:00
Rob Rix	d9de3545d8	Merge branch 'master' into precompute-p,q-grams ... # Conflicts: # src/Category.hs # src/Diffing.hs # src/TreeSitter.hs	2016-07-26 15:52:37 -04:00
Rob Rix	cfddd9ca75	Merge branch 'master' into sequenceable	2016-07-26 15:43:02 -04:00
Rob Rix	e5f9d1ed28	Test the Mergeable laws over lists.	2016-07-26 15:27:32 -04:00
Rob Rix	475ec475b6	Weaken the identity laws to be non-empty.	2016-07-26 15:27:16 -04:00
Rob Rix	dd0b0322fc	Add a property demonstrating the relationship between sequenceAlt over [Maybe a] & pure . catMaybes.	2016-07-26 14:56:02 -04:00
Rob Rix	cfb7361b9c	Scale the list generator.	2016-07-26 14:44:25 -04:00
joshvera	044aa782c1	partially apply isBranchNode	2016-07-26 14:36:56 -04:00
joshvera	e7000b7de3	s/expression_statement/expression_statements	2016-07-26 14:26:31 -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
Rob Rix	2ee68cc4b2	Add an identity law over merge.	2016-07-26 13:30:09 -04:00
Rob Rix	794fffbf47	Clean up the generator.	2016-07-26 13:25:16 -04:00
Rob Rix	b987a40377	sequenceAlt’s relationship with merge is the inverse of merge’s relationship with sequenceAlt.	2016-07-26 13:23:14 -04:00
Rob Rix	7ff92d968e	Run the merge laws over Syntax.	2016-07-26 13:17:33 -04:00
Rob Rix	e98844e937	Run the merge laws over Identity.	2016-07-26 13:17:13 -04:00
Rob Rix	7d4d14c99b	Run the merge laws over Maybe.	2016-07-26 13:16:46 -04:00
Rob Rix	8f25cbd473	🔥 some redundant constraints.	2016-07-26 13:13:45 -04:00