2548 Commits

Author	SHA1	Message	Date
Rob Rix	3462892131	🔥 redundant imports.	2017-10-23 11:59:19 -04:00
Rob Rix	3351c60859	Move the permutation tests into InterpreterSpec.	2017-10-23 11:58:52 -04:00
Rob Rix	6200a00b6e	Rename the identity diff property.	2017-10-23 11:58:43 -04:00
Rob Rix	46e2b5fb15	Rename the interpreter spec.	2017-10-23 11:58:31 -04:00
Rob Rix	a23d60dc09	🔥 a redundant test that equal terms produce identity diffs.	2017-10-23 11:57:36 -04:00
Rob Rix	1652dc1147	🔥 redundant tests of the lossless property.	2017-10-23 11:55:44 -04:00
Rob Rix	9c1dce7ab9	🔥 the Context/Empty Listable instances.	2017-10-23 11:53:42 -04:00
Rob Rix	c0d833f361	🔥 the Context/Empty tests of the Mergeable laws.	2017-10-23 11:53:36 -04:00
Rob Rix	6a0321c401	Test the Mergeable laws against a Union.	2017-10-23 10:40:33 -04:00
Rob Rix	8245e337ce	Define a Listable instance for Union.	2017-10-23 10:36:53 -04:00
Rob Rix	395678bcb3	Test the Mergeable laws against Context & Empty.	2017-10-23 10:32:48 -04:00
Rob Rix	0184f57713	Define Listable instances for Context & Empty.	2017-10-23 10:32:32 -04:00
Rob Rix	a4a4074a22	Re-enable the pending tests.	2017-10-23 09:40:06 -04:00
Rob Rix	08eedd23cc	Measure the length of diffPatches instead of using diffCost.	2017-10-23 09:37:47 -04:00
joshvera	2f26a09905	fix tests	2017-10-19 21:32:27 -04:00
Ayman Nadeem	8f496db787	delete Unchanged entries	2017-10-13 10:50:29 -07:00
Ayman Nadeem	cdb78619f6	WIP test fixes	2017-10-10 13:56:09 -07:00
Ayman Nadeem	3319d55be5	fix failing tests	2017-10-10 12:39:27 -07:00
Ayman Nadeem	148d2532a8	fix conflicts	2017-10-10 11:16:21 -07:00
Rob Rix	264912d6bf	Merge branch 'master' into open-toc-rendering	2017-10-06 17:26:02 -04:00
Timothy Clem	90fdef6ce0	Merge branch 'master' into stats	2017-10-06 12:22:54 -07:00
Rob Rix	1501f3506c	Fix a fixture.	2017-10-06 10:55:46 -04:00
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