2526 Commits

Author	SHA1	Message	Date
Rob Rix	5ac488f164	Revert "Use the declarationAlgebra in the tests." ... This reverts commit d42f9b01b42f1d0d4b769f89642b3ed7e47a5c34.	2017-10-06 10:30:20 -04:00
Rob Rix	ec3dff1c66	Use the declarationAlgebra in the tests.	2017-10-06 09:34:15 -04:00
Rob Rix	85872a3e2e	Merge branch 'master' into abstract-high-level-flow-over-syntax-types	2017-10-05 20:11:56 -04:00
Timothy Clem	82968ac175	Merge branch 'master' into stats	2017-10-05 14:34:55 -07:00
joshvera	71eefd92a5	Merge remote-tracking branch 'origin/master' into typescript-fixes	2017-10-05 14:04:57 -07:00
joshvera	a1d075a47e	regenerate tests	2017-10-05 14:01:03 -07:00
Timothy Clem	87bd442c96	Refactor a bit more into Semantic.Queue ... Also, docs and record prefixes	2017-10-05 10:26:16 -07:00
Timothy Clem	ce2e3e737e	Merge branch 'master' into stats	2017-10-05 07:48:49 -07:00
Timothy Clem	b5c63fc78c	Minor spec name fixes	2017-10-04 14:21:06 -07:00
Ayman Nadeem	157226a7ca	make tests pass	2017-10-04 13:21:58 -07:00
Rob Rix	67e3e91fac	Merge branch 'master' into abstract-high-level-flow-over-syntax-types	2017-10-04 15:12:53 -04:00
Timothy Clem	c7f4ae005b	Test actual sending of data	2017-10-04 11:40:39 -07:00
Timothy Clem	8860a0942b	No need for these anymore	2017-10-04 11:13:03 -07:00
Timothy Clem	666585bf50	Start writing a few specs	2017-10-04 11:12:24 -07:00
Rob Rix	df9efe6fb4	🔥 the redundant repo binding.	2017-10-04 10:26:46 -04:00
Rob Rix	a4afb35769	🔥 the profile fixtures.	2017-10-04 10:25:30 -04:00
Rob Rix	684af38fe9	Merge branch 'generic-term-comparability-and-equivalence' into simplified-high-level-flow	2017-10-03 16:23:50 -04:00
Rob Rix	0fecda703a	Update the fixtures.	2017-10-03 15:26:50 -04:00
Rob Rix	27758821e8	Use the comparableTerms relation in the RWS tests.	2017-10-03 15:10:11 -04:00
Rob Rix	a965c12dd8	Rename parserForLanguage to syntaxParserForLanguage.	2017-10-03 10:04:59 -04:00
Rob Rix	b85aa53af9	Spacing.	2017-10-03 09:29:15 -04:00
Rob Rix	ac3646f925	Test that genericLiftCompare gives equivalent behaviour to compare for recursive types.	2017-10-03 09:29:06 -04:00
Rob Rix	5a024b40f7	Test that genericLiftCompare gives equivalent behaviour to compare for sum types.	2017-10-03 09:25:39 -04:00
Rob Rix	7e034fa4c1	Test that genericLiftCompare gives equivalent behaviour to compare for product types.	2017-10-03 09:23:44 -04:00
Rob Rix	6f4539cdce	Stub in a module for generically-implemented Ord1 specs.	2017-10-03 09:15:45 -04:00
Timothy Clem	dfc7de34e7	Merge branch 'master' into contextualize-ruby-comments	2017-10-02 13:19:02 -07:00
Timothy Clem	2ee98ab96f	These comments are part of Context now	2017-10-02 11:13:54 -07:00
Rob Rix	960bfd9d41	🔥 redundant imports.	2017-10-02 10:32:00 -04:00
Rob Rix	09e3a79340	Update one of the ToC tests.	2017-10-02 10:29:47 -04:00
Rob Rix	1f6a1fcc0f	Migrate TOCSpec off of IdentityDiffRenderer.	2017-10-02 10:11:31 -04:00
Rob Rix	2bd957153d	Use parseAndDiffBlobPair instead of IdentityDiffRenderer.	2017-09-29 15:33:13 -04:00
Rob Rix	dd4cb32b90	🔥 the test of parsing in the specified language. ... This is redundant to the test that it renders with the specified renderer.	2017-09-29 15:19:52 -04:00
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