2494 Commits

Author	SHA1	Message	Date
Rob Rix	4eb3b7eacd	Test against the s-expression renderer.	2017-09-29 15:14:37 -04:00
Rob Rix	f095b89492	Test that we fail when the language is Nothing.	2017-09-29 15:09:58 -04:00
joshvera	54444ab54d	s/Function/FunctionType	2017-09-28 17:27:57 -07:00
joshvera	3384a3689d	fix tests	2017-09-28 17:17:39 -07:00
joshvera	b3667104fb	Merge remote-tracking branch 'origin/master' into typescript-assignment	2017-09-28 14:24:57 -07:00
Rob Rix	9c664e5460	Merge branch 'master' into musical-chairs	2017-09-28 11:36:02 -04:00
Rob Rix	7bed8fee3e	Define a test that diffTerms compares nodes against the subject position within Context nodes.	2017-09-28 11:24:51 -04:00
Rob Rix	7595062d05	Use the merging function in the tests.	2017-09-28 10:40:23 -04:00
Rob Rix	26d44ae2f0	Merge the Decorators module into Data.Syntax.Algebra.	2017-09-27 12:54:01 -04:00
Rob Rix	1cab700d82	Rename the SplitDiff module to Data.SplitDiff.	2017-09-27 12:43:11 -04:00
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