12855 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	ea82328fac	Filter out both-missing cases up front.	2017-06-01 11:33:12 -04:00
Rob Rix	16212e86a2	Correct CommandSpec.	2017-06-01 11:27:16 -04:00
Rob Rix	4988977c78	Phrase the blob existence predicate in the positive sense.	2017-06-01 11:18:09 -04:00
Rob Rix	4cfba4ec14	Correct constructorLabel to use proper ShowS values.	2017-06-01 11:15:07 -04:00
Rob Rix	030c795fdd	decoratingWith and diffTermsWith take their inputs in Both.	2017-06-01 11:12:48 -04:00
Rob Rix	8cd44d59a5	diffTerms takes its inputs in Both.	2017-06-01 11:10:47 -04:00
Rob Rix	1ff0a6a5e0	Factor out retrieving the Source from a SourceBlob.	2017-06-01 11:03:48 -04:00
Rob Rix	cdc010da59	Refactor the parsing stage.	2017-06-01 11:02:00 -04:00
Rob Rix	14faad0830	Combine the parse pattern matches.	2017-06-01 10:56:43 -04:00
Rob Rix	b680b34f20	Factor out the common structure of diffing.	2017-06-01 10:54:28 -04:00
Rob Rix	8eca7e3dd6	Combine the pattern matches.	2017-06-01 10:22:20 -04:00
Rob Rix	8b45a71afc	Tighten up all the diff paths.	2017-06-01 10:20:16 -04:00
Rob Rix	8a11e7b0da	Extract a function to diff a pair of terms linearly.	2017-06-01 10:10:46 -04:00
Rob Rix	4529db3f3a	Render Python diffs to patches.	2017-06-01 10:06:23 -04:00
Rob Rix	f5041f845e	Render outside of diffTermPair.	2017-06-01 10:03:28 -04:00
Rob Rix	37e46594f0	Render Python diffs to JSON.	2017-06-01 09:56:57 -04:00
Rob Rix	b5a0e0b018	Rename the algebras in full.	2017-06-01 09:48:14 -04:00
Rob Rix	9e13d1c60a	Correct the docs for decoratorWithAlgebra’s algebra.	2017-06-01 09:34:07 -04:00
Rob Rix	e7b30cecda	Move decoratorWithAlgebra up.	2017-06-01 09:33:37 -04:00
Rob Rix	bb8fb6d2e2	List Data.Syntax.Algebra’s exports explicitly.	2017-06-01 09:33:04 -04:00
Rob Rix	15007e780c	Compose the task chain for s-expression diff rendering.	2017-05-31 15:59:28 -04:00
Rob Rix	6563d7d195	Correct the tests’ comparability relation.	2017-05-31 15:55:01 -04:00
Rob Rix	b862c8186a	Don’t append a space after the last field.	2017-05-31 15:51:00 -04:00
Rob Rix	9edd674085	Decorate Python terms with their labels before diffing.	2017-05-31 15:45:29 -04:00
Rob Rix	6687871231	Strip the ranges & source spans from s-expression diffs.	2017-05-31 15:41:42 -04:00
Rob Rix	00b659b564	Drop the inj prefix from Union’s Show1 instance.	2017-05-31 15:37:45 -04:00
Rob Rix	fd8c5eacdc	Show the literal constructor label.	2017-05-31 15:36:34 -04:00
Rob Rix	08b344c90a	Simplify how we keep the category.	2017-05-31 15:33:04 -04:00
Rob Rix	fc4d4e6e58	Decorate Python terms with their constructor labels.	2017-05-31 15:28:12 -04:00
Rob Rix	a7339ecfd9	Only show the category for S-expression terms.	2017-05-31 15:27:16 -04:00
Rob Rix	8469cde286	🔥 the category prefixing.	2017-05-31 15:23:53 -04:00
Rob Rix	a9a6c34a6f	Generalize the s-expression renderers to show all fields.	2017-05-31 15:22:55 -04:00
Rob Rix	f9173c06b7	Define a type family to constrain every element of a list of types.	2017-05-31 15:22:32 -04:00
Rob Rix	6c16b15a13	🔥 a redundant extension.	2017-05-31 15:20:56 -04:00
Rob Rix	70a5ce3471	Diff Python terms linearly for s-expression rendering.	2017-05-31 15:06:39 -04:00
Rob Rix	b2ad332ff0	Define a function computing a label using a Show1 instance.	2017-05-31 15:02:19 -04:00
Rob Rix	97dc5635ae	Derive a GAlign instance for Data.Syntax.Expression.Boolean.	2017-05-31 14:45:16 -04:00
Rob Rix	52580d9db6	Define a comparability relation using GAlign.	2017-05-31 14:35:21 -04:00
Rob Rix	1bf31c2a48	🔥 the redundant Functor constraint on comparableByCategory.	2017-05-31 14:33:53 -04:00
Rob Rix	e30a4ee1a7	Clarify the documentation for comparableByCategory.	2017-05-31 14:33:37 -04:00
Rob Rix	e88cd47274	Rename comparable to comparableByCategory.	2017-05-31 14:33:11 -04:00
Rob Rix	36ed25959a	Type comparable as a ComparabilityRelation.	2017-05-31 14:32:48 -04:00
Rob Rix	73acd2662f	diffTermsWIth takes a comparability relation.	2017-05-31 14:31:19 -04:00
Rob Rix	84eccdacec	Export decoratingWith.	2017-05-31 14:30:28 -04:00
Rob Rix	68f9cda279	decomposeWith takes a comparability relation.	2017-05-31 14:30:13 -04:00
Rob Rix	06a3241b7d	Use the lifted comparability relation to perform the SES pre-pass.	2017-05-31 14:28:41 -04:00
Rob Rix	076a34e030	Lift a comparability relation to an equality relation.	2017-05-31 14:27:21 -04:00
Rob Rix	59391fbdc9	Generalize the comparability relation to enforce O(1) complexity.	2017-05-31 14:20:01 -04:00
Rob Rix	71f304ff90	Split out a helper to decorate terms with feature vectors & strip the resulting diff.	2017-05-31 13:11:56 -04:00
Rob Rix	2e60145337	Export diffTermsWith.	2017-05-31 13:11:05 -04:00