12280 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	344bff67ce	Produce parse error content.	2017-05-11 14:17:48 -04:00
Rob Rix	075b831199	Produce results for terms with syntax errors.	2017-05-11 14:13:54 -04:00
Rob Rix	eb03a36db0	Construct ErrorSummary values when the category is a parse error.	2017-05-11 14:11:49 -04:00
Rob Rix	cd2421048c	Produce entries for parse errors.	2017-05-11 14:02:25 -04:00
Rob Rix	715548bd89	Reformat the changed entry test.	2017-05-11 13:54:32 -04:00
Rob Rix	d19331da82	Correct the test of changed entries.	2017-05-11 13:52:31 -04:00
Rob Rix	7f6c9f33e0	Generalize programOf to wrap diffs.	2017-05-11 13:49:25 -04:00
Rob Rix	a8f68f61d0	Test the generation of changed entries.	2017-05-11 13:48:35 -04:00
Rob Rix	06d40b69b7	Test that entries within patches are returned in Patched.	2017-05-11 13:11:40 -04:00
Rob Rix	f22e703550	Slightly safer selection of the last value.	2017-05-11 13:11:16 -04:00
Rob Rix	d1d5f6454c	Pull the selection of the last value into a helper.	2017-05-11 13:07:18 -04:00
Rob Rix	f7bc08427a	Test that we produce unchanged entries for identity diffs.	2017-05-11 10:02:18 -04:00
Rob Rix	8a86d27f7c	Sort the imports.	2017-05-11 10:00:11 -04:00
Rob Rix	a418b38e7f	🔥 feature vectors from the Interpreter spec.	2017-05-11 09:48:46 -04:00
Rob Rix	7c5a4fa252	Move the responsibility for feature vectors into the interpreter module.	2017-05-11 09:44:16 -04:00
Rob Rix	054876fa7f	Pointful definition of diffTerms.	2017-05-11 09:40:46 -04:00
Rob Rix	e543a192ef	🔥 redundant definitions of unListableDiff.	2017-05-11 09:30:15 -04:00
Rob Rix	7227e27428	Move unListableDiff into SpecHelpers.	2017-05-11 09:28:52 -04:00
Rob Rix	1dc74959b8	Test that tableOfContentsBy includes all nodes with constant Just functions.	2017-05-11 09:27:28 -04:00
Rob Rix	0bb408bf06	Test that tableOfContentsBy will drop everything with the constant Nothing function.	2017-05-10 17:01:42 -04:00
Rob Rix	120e76a865	🔥 the old toc function.	2017-05-10 16:10:20 -04:00
Rob Rix	2a551f1a94	Use the inserting helper.	2017-05-10 16:08:39 -04:00
Rob Rix	ddd4c552a8	Revert "Define a Crosswalk instance for Patch." ... This reverts commit bdb9bccf6be16eacef8a7f745ef40e4a14a29397.	2017-05-10 16:05:27 -04:00
Rob Rix	09e93cf899	🔥 another redundant import.	2017-05-10 15:59:26 -04:00
Rob Rix	7c427aab0a	🔥 a redundant import.	2017-05-10 15:59:11 -04:00
Rob Rix	bb634a5e51	Don’t produce valid JSON summaries in the presence of errors.	2017-05-10 15:57:41 -04:00
Rob Rix	72faa30494	Invert the sense of the valid/error predicate.	2017-05-10 15:55:10 -04:00
Rob Rix	70b093392a	Swap toc/toc2.	2017-05-10 15:46:04 -04:00
Rob Rix	4ea3832200	Pass decorators to diffBlobPairs.	2017-05-10 15:41:17 -04:00
Rob Rix	aa45955ca3	Provide the declaration decorator in Renderer.	2017-05-10 15:41:04 -04:00
Rob Rix	d9e21d2ab7	ToCRenderer renders terms annotated with Maybe Declaration.	2017-05-10 15:23:59 -04:00
Rob Rix	c08319e308	DiffArguments specifies a decorator, generalizing the fields avaialble to the renderers.	2017-05-10 15:23:16 -04:00
Rob Rix	bba39a5524	diffBlobPairs takes a decorator to apply.	2017-05-10 15:21:35 -04:00
Rob Rix	6a07e1ca29	diffBlobPair applies a decorator to the terms.	2017-05-10 15:21:00 -04:00
Rob Rix	f3392042e7	Derive Generic & NFData instances for Declaration.	2017-05-10 15:11:59 -04:00
Rob Rix	4ecd6d4211	Export SExpressionFormat from Renderer.	2017-05-10 15:10:44 -04:00
Rob Rix	8930f8d1ff	Rename the entries binding.	2017-05-10 14:29:28 -04:00
Rob Rix	11a1fa9f6f	Clarify diffAlgebra substantially.	2017-05-10 14:28:10 -04:00
Rob Rix	066b2cb965	Define a toc2 function depending on declarations in the annotations.	2017-05-10 14:00:58 -04:00
Rob Rix	13d088e6b8	Define a function to compute a JSONSummary from an Entry.	2017-05-10 13:18:47 -04:00
Rob Rix	284f358d7a	Align the field selectors.	2017-05-10 12:40:07 -04:00
Rob Rix	f7e52a2934	Combine Declaration/DeclarationType.	2017-05-10 12:39:12 -04:00
Rob Rix	f20d0464ee	🔥 ClassDeclaration, since we never use it.	2017-05-10 12:29:02 -04:00
Rob Rix	38010818b0	📝 declarationAlgebra.	2017-05-10 12:10:46 -04:00
Rob Rix	6228c9ac40	Define an algebra to compute declarations for terms.	2017-05-10 12:09:43 -04:00
Rob Rix	ea7de8e68b	📝 declaration.	2017-05-10 12:01:26 -04:00
Rob Rix	9eac08919f	Simplify declaration to accept any node with a Declaration attached.	2017-05-10 12:00:13 -04:00
Rob Rix	63482dc151	Define a function selecting the annotations of nodes representing declarations.	2017-05-10 11:58:08 -04:00
Rob Rix	fdcf96cd4c	Define a type for declarations.	2017-05-10 11:57:28 -04:00
Rob Rix	40d8a7ac5c	Export Entry.	2017-05-10 11:57:10 -04:00