2534 Commits

Author	SHA1	Message	Date
Rob Rix	b31043a3eb	Rename the Diff module to Data.Diff.	2017-09-27 12:41:41 -04:00
Rob Rix	9bd0b02ac9	Rename the Term module to Data.Term.	2017-09-27 12:37:37 -04:00
Rob Rix	e8b7e89dca	Rename the Patch module to Data.Patch.	2017-09-27 12:29:07 -04:00
Rob Rix	b1560c1da5	Mark while-statement.diffB-A as pending on #1359.	2017-09-26 12:27:04 -04:00
Rob Rix	22ae1c1192	Pass the pending message along with the output file path.	2017-09-26 12:26:13 -04:00
Rob Rix	e88c9b0e56	Allow integration specs to be marked as pending.	2017-09-26 12:23:16 -04:00
Rob Rix	8cf834154d	Fix the commented out spec.	2017-09-26 12:14:36 -04:00
Rob Rix	89ab11d291	Merge branch 'test-rws-permutations' into substructural-diffing	2017-09-26 12:10:32 -04:00
Rob Rix	d91e8d8464	🔥 the before/after permutation properties.	2017-09-26 12:06:41 -04:00
Rob Rix	06a929528a	Mark the forward permutation diff test as pending.	2017-09-26 10:11:00 -04:00
Rob Rix	0ed594cfab	Restrict a, b, and c to be disjoint.	2017-09-26 10:09:54 -04:00
Rob Rix	69aae9986d	Ensure that c is distinct from both a and b.	2017-09-26 09:59:31 -04:00
Rob Rix	6608ab48e3	Add (failing) tests that forward/backward permutations are correctly diffed as changes.	2017-09-26 09:56:47 -04:00
Rob Rix	58338d6af2	Add tests that we recover before/after states through forward/backward permutations.	2017-09-26 09:50:50 -04:00
Rob Rix	01e8e1725f	Move the listable Syntax synonym into Data.Functor.Listable.	2017-09-26 09:48:59 -04:00
Rob Rix	c9e4968d93	Migrate the RWS tests to à la carte syntax.	2017-09-26 09:44:42 -04:00
Rob Rix	2aff7745b6	Migrate InterpreterSpec to à la carte syntax.	2017-09-26 09:31:36 -04:00
Rob Rix	b618caa35c	Update a few Ruby fixtures.	2017-09-26 09:18:40 -04:00
Rob Rix	0fa57d60c2	Merge branch 'master' into substructural-diffing	2017-09-26 09:13:22 -04:00
Rob Rix	cfc6d13ad0	Define (failing) tests that permutations are changes.	2017-09-26 09:12:06 -04:00
Rob Rix	86ede39a58	🔥 Use empty records in DiffSpec.	2017-09-25 19:54:34 -04:00
Rob Rix	bd4dee20d5	Migrate DiffSpec to à la carte syntax.	2017-09-25 19:52:08 -04:00
Rob Rix	8e674538e3	Define Listable1 instances for Functions & Methods.	2017-09-25 19:25:14 -04:00
Rob Rix	f274a9dd7d	Define a Listable1 instance for Context.	2017-09-25 19:20:01 -04:00
Rob Rix	aae77f6e0e	Define a Listable1 instance for Comment.	2017-09-25 19:19:51 -04:00
Rob Rix	b0c79efa9b	Define a Listable1 instance for NonEmpty.	2017-09-25 19:19:37 -04:00
Rob Rix	b32a911484	Define Listable instances for Return and Empty.	2017-09-25 19:14:00 -04:00
Rob Rix	909e199e72	Define Listable instances for If and Identifier.	2017-09-25 19:12:44 -04:00
Rob Rix	468a874168	Define Listable instances for non-empty Unions.	2017-09-25 19:08:55 -04:00
Rob Rix	5ba29e6361	Fix the while-statement diff.	2017-09-25 18:46:47 -04:00
Rob Rix	de1a5f8a23	Fix _most of_ the failures.	2017-09-25 18:45:37 -04:00
joshvera	7f81d8982d	Add TOCSpec	2017-09-25 14:11:15 -04:00
joshvera	44d895388d	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-25 13:47:46 -04:00
joshvera	bd440ea8d0	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-25 13:40:10 -04:00
Timothy Clem	0642755c35	Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw	2017-09-25 09:08:14 -07:00
Rob Rix	fb56d8b604	Merge branch 'master' into substructural-diffing	2017-09-25 11:59:14 -04:00
Timothy Clem	ddebcc044d	Make it really clear where we are headed	2017-09-25 08:24:48 -07:00
Rob Rix	4c87a91f19	Use the correct functions in the diffs.	2017-09-25 10:57:28 -04:00
Timothy Clem	56e340a3ff	Test the new assignment toc renderer	2017-09-22 09:47:06 -07:00
joshvera	c0bd3e837b	Regenerate tests	2017-09-21 12:31:30 -04:00
joshvera	9014266707	bump switch statement tests	2017-09-20 13:17:25 -04:00
joshvera	80dddc23c5	Add tests for jsx elements	2017-09-19 19:27:14 -04:00
joshvera	c5e3ca246f	Update function and async-function specs in python	2017-09-19 17:32:51 -04:00
joshvera	d0fb557bec	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-19 17:04:27 -04:00
Timothy Clem	ee7032edc2	Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw	2017-09-19 11:19:43 -07:00
Timothy Clem	44d59f4e4d	Some updated python fixtures due to eqTerms	2017-09-19 09:37:50 -07:00
Timothy Clem	7107aec6db	Add a equivalency check for terms	2017-09-19 09:36:12 -07:00
joshvera	f26c67b3ad	Fix parse errors in some go test cases	2017-09-19 12:20:04 -04:00
joshvera	b03d17de34	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-19 11:54:51 -04:00
joshvera	48fb0a39ac	Update go fixtures	2017-09-19 11:34:27 -04:00
joshvera	c26dcae355	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-15 14:38:47 -04:00
Timothy Clem	5ddb75a4e3	Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw	2017-09-14 16:32:45 -07:00
Rob Rix	be481f7a71	Rename SES.Myers to SES.	2017-09-14 11:53:02 -04:00
Rob Rix	7789e83875	Correct the RWS tests.	2017-09-14 11:49:57 -04:00
Timothy Clem	8679c89e5d	Fix up tests for one less layer of structure in expressions of single element	2017-09-14 08:07:10 -07:00
Rob Rix	bfc0b9d0b0	Give Diff a pair of type parameters for the annotation types.	2017-09-14 09:41:52 -04:00
Rob Rix	547da73009	Define a patch helper to eliminate Patches.	2017-09-13 21:55:41 -04:00
Rob Rix	cf9d752d43	Parameterize Patch by before and after types.	2017-09-13 21:37:23 -04:00
Rob Rix	bf2de994ac	Curry diffing operations.	2017-09-13 19:34:27 -04:00
Rob Rix	9de429be45	🔥 the SyntaxTerm, SyntaxTermF, & SyntaxDiff type synonyms.	2017-09-13 19:14:01 -04:00
joshvera	6bd68b48e5	update ambient declaration tests	2017-09-13 19:11:46 -04:00
joshvera	0e853a5f38	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-13 18:40:29 -04:00
Timothy Clem	2064db2da8	Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw	2017-09-13 13:10:12 -07:00
Rob Rix	20e0943c72	🔥 the Sum inside Patch nodes.	2017-09-13 16:07:22 -04:00
Rob Rix	0ec9584a6d	Correct the tests.	2017-09-13 16:03:27 -04:00
Rob Rix	a0eda2396a	Correct the tests.	2017-09-13 11:19:06 -04:00
Rob Rix	644e43b3b0	Fix a fixture.	2017-09-13 09:46:18 -04:00
Rob Rix	e36034455c	Correct the tests.	2017-09-13 09:45:10 -04:00
Rob Rix	6c31ea4f9b	🔥 redundant imports.	2017-09-12 11:43:58 -04:00
Rob Rix	fcc05e114b	Update a fixture.	2017-09-12 11:00:51 -04:00
Rob Rix	ecb19530d6	Correct most of the tests.	2017-09-12 10:49:45 -04:00
Rob Rix	a140d2f4c4	Correct the Listable1 instance for Diff.	2017-09-12 10:47:50 -04:00
Rob Rix	d0a1d31c68	Correct the Listable2 instance for DiffF.	2017-09-12 10:46:49 -04:00
Rob Rix	b3b81846b3	Define a Listable1 instance for BindingF.	2017-09-12 10:44:19 -04:00
Rob Rix	57f578618c	Define Listable1 instances for Sum & Product.	2017-09-12 10:43:31 -04:00
Rob Rix	c2f4ef3572	Merge branch 'relocate-json-fields' into directed-acyclic-diffs	2017-09-11 16:20:57 -04:00
Rob Rix	2c83e7e283	Merge branch 'master' into specialized-terms-and-diffs	2017-09-11 16:01:20 -04:00
Rob Rix	1cd6dd2899	Update the tests.	2017-09-11 15:48:58 -04:00
joshvera	692bc8ec96	Add diffWithParser for dedupe test in TOCSpec	2017-09-11 15:45:56 -04:00
joshvera	ef2e5afa76	Regenerate tests	2017-09-10 22:08:40 +01:00
Rob Rix	7ea66c89e2	Correct another fixture.	2017-09-10 17:24:58 +01:00
Rob Rix	3adcd9d747	Correct a fixture.	2017-09-10 17:16:08 +01:00
Rob Rix	02e10446e1	Correct a test.	2017-09-10 17:14:51 +01:00
Rob Rix	6f6ebc7aa6	Correct a fixture.	2017-09-10 15:29:09 +01:00
Rob Rix	27db18bfde	Correct the language fixtures.	2017-09-09 23:41:12 +01:00
Rob Rix	110be2449c	Update the tests.	2017-09-09 21:44:15 +01:00
Rob Rix	41baef6c9d	Listing diffs does not produce metavariables or bindings.	2017-09-09 18:24:05 +01:00
Rob Rix	825990cfce	Constrain a type to Int.	2017-09-09 14:59:33 +01:00
Rob Rix	9c97ea7c48	More 🔥	2017-09-09 14:59:03 +01:00
Rob Rix	2a7a937a7e	🔥 a bunch more redundant imports.	2017-09-09 14:58:07 +01:00
Rob Rix	10b262e069	🔥 a stray import.	2017-09-09 14:54:49 +01:00
Rob Rix	24914eeb05	Move the remaining Listable instances into the tests.	2017-09-09 14:51:37 +01:00
Rob Rix	3ad5374b94	Move all the Listable stuff into the tests.	2017-09-09 14:44:57 +01:00
Rob Rix	eb01f7450a	Correct the diffSize helper.	2017-09-09 14:30:42 +01:00
Rob Rix	7258682862	Fix one of the ToC tests.	2017-09-09 14:28:43 +01:00
Rob Rix	a1bfea611f	Update all the tests.	2017-09-09 14:18:08 +01:00
Rob Rix	e2ffba2401	Rename headF to termAnnotation.	2017-09-09 11:50:29 +01:00
Rob Rix	9e40e9a09a	Give our own definition of Diff.	2017-09-09 11:23:57 +01:00
Rob Rix	07bef3f75e	🔥 deepseq.	2017-09-08 17:35:55 +01:00
Rob Rix	185818d8bd	Rename runCofree to unTerm.	2017-09-08 16:46:35 +01:00
Timothy Clem	172ae54593	Merge remote-tracking branch 'origin/explicit-choice' into ruby-assignment-ftw	2017-09-08 11:37:16 +01:00
joshvera	6c4ca4f5a5	Merge remote-tracking branch 'origin/explicit-choice' into typescript-assignment	2017-09-01 15:52:16 -04:00
Rick Winfrey	82a703088d	Update Python integratin specs ... In tree-sitter-python, `(a)` is not a tuple of identifier, it is an expression that evaluates to the value of `a`.	2017-09-01 15:51:53 -04:00
Timothy Clem	22c0352205	infixContext doesn't work with comment in expression ... Poor comments	2017-09-01 11:32:32 -07:00
Rob Rix	1468743832	Revert "Match comments with expression." ... This reverts commit b7bc1d7ced4ecea66022292a0c340e3aed22af5d.	2017-09-01 14:29:49 -04:00
Timothy Clem	176012b1d2	Fix up parse error handling	2017-09-01 11:21:00 -07:00
Timothy Clem	a1652c1ffc	Merge remote-tracking branch 'origin/explicit-choice' into ruby-assignment-ftw	2017-09-01 11:15:01 -07:00
Timothy Clem	8047a756da	Comments don't create context in hashes now	2017-09-01 10:27:19 -07:00
Rob Rix	12d7a0d57f	Match comments with expression.	2017-09-01 13:05:58 -04:00
Timothy Clem	2a11e6136e	Comments are in expression now	2017-09-01 10:00:55 -07:00
Timothy Clem	e2e2d2f933	Merge remote-tracking branch 'origin/explicit-choice' into ruby-assignment-ftw	2017-09-01 08:57:29 -07:00
Rob Rix	32b2f90316	🔥 a couple of obsolete tests.	2017-09-01 11:54:45 -04:00
Rob Rix	1270bb41c4	Correct the <|>/distributivity through children rules test.	2017-09-01 11:53:40 -04:00
Rob Rix	bad1c832f0	Correct precedence.	2017-09-01 11:51:18 -04:00
Rob Rix	5366bfff3c	🔥 obsolete tests of catchError/repetitions.	2017-09-01 11:50:48 -04:00
Rob Rix	c2f30feff2	Test that exhaustiveness errors are uncaught.	2017-09-01 11:50:10 -04:00
Rob Rix	2110d7d076	Slight improvement to the unexpected end of branch test.	2017-09-01 11:49:46 -04:00
Rob Rix	a640b48ddc	Test that unexpected end of branch errors are uncaught.	2017-09-01 11:47:38 -04:00
Rob Rix	7fc97f6b9d	Rename a test.	2017-09-01 11:33:33 -04:00
Rob Rix	6afe2b5ae9	Test that handlers can error.	2017-09-01 11:32:57 -04:00
Rob Rix	eb65bd9622	Test the inverse case.	2017-09-01 11:28:59 -04:00
Rob Rix	99b4d5037a	🔥 unnecessary parens.	2017-09-01 11:28:41 -04:00
Rob Rix	70cfa6e070	Rename & correct a catchError test.	2017-09-01 11:26:46 -04:00
Rob Rix	de318561dd	Correct a test’s expectation.	2017-09-01 11:25:30 -04:00
Timothy Clem	4bab0fd1e0	Assert anon function toc summary behavior	2017-08-28 18:06:09 -07:00
Timothy Clem	15128e4c1b	Ruby lambdas assign to function with empty syntax for name	2017-08-28 17:50:27 -07:00
Timothy Clem	29834cd3de	Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw	2017-08-28 16:05:17 -07:00
Timothy Clem	d7e149c468	Expand equivalentTerms to include functions as well	2017-08-28 15:59:30 -07:00
Timothy Clem	ed5f9eb7e8	Return shortened errors in toc summary JSON response	2017-08-25 13:07:51 -07:00
Timothy Clem	97bd03543a	Introduce a dedicated term equivalency check for ses	2017-08-25 12:39:43 -07:00
joshvera	b99309bcc5	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-08-25 12:18:09 -04:00
Timothy Clem	fd7cbe8393	Manually add Method to all syntax unions	2017-08-25 08:06:38 -07:00
Rick Winfrey	8f9b96dc3d	Update Python integratin specs ... In tree-sitter-python, `(a)` is not a tuple of identifier, it is an expression that evaluates to the value of `a`.	2017-08-24 16:35:15 -07:00
Timothy Clem	db6099e910	Fix boolean operators	2017-08-24 15:00:07 -07:00
Timothy Clem	762d3341ab	Fix comments	2017-08-24 14:59:44 -07:00
Timothy Clem	6ed530c530	Fix method declarations	2017-08-24 14:59:17 -07:00
Timothy Clem	2905201e19	Fix break	2017-08-24 14:56:52 -07:00
Timothy Clem	6db2c2774c	Fix bitwise ops	2017-08-24 14:55:39 -07:00
Timothy Clem	8f86de85b4	Fix heredocs	2017-08-24 14:54:12 -07:00
Timothy Clem	623f80f24c	Fix comparison operators	2017-08-24 14:53:56 -07:00
Timothy Clem	a4e03b6189	Fix delimiters	2017-08-24 14:53:26 -07:00
Timothy Clem	30c64cee6f	Fix conditional assignment	2017-08-24 14:53:08 -07:00
Timothy Clem	3ef093d851	Fix element reference	2017-08-24 14:52:38 -07:00
Timothy Clem	5abb457ecd	Fix begin/end blocks (scope entry/exit)	2017-08-24 14:52:11 -07:00
Timothy Clem	7ff488b91c	Fix ensure	2017-08-24 14:51:30 -07:00
Timothy Clem	dc6ef33273	Fix and/or	2017-08-24 14:51:08 -07:00
Timothy Clem	e25bdcda82	Fix array	2017-08-24 14:50:51 -07:00
Timothy Clem	a171408cc2	Fix begin/else	2017-08-24 14:50:17 -07:00
Timothy Clem	3febd7db04	Fix for	2017-08-24 14:49:30 -07:00
Timothy Clem	81f438d478	Fix hash	2017-08-24 14:48:55 -07:00