31100 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	ae08b29fb2	Add a missing import.	2019-10-17 13:45:28 -04:00
Rob Rix	9a7a6061af	s/EditScript/[Edit].	2019-10-17 13:44:51 -04:00
Rob Rix	f8078518a0	There are four fields.	2019-10-17 13:44:25 -04:00
Ayman Nadeem	4caeefe849	depend on utf8-string	2019-10-17 13:41:38 -04:00
Ayman Nadeem	322feb2d70	convert UTF8 ByteString without going through Text	2019-10-17 13:41:30 -04:00
Rob Rix	1886c9d4e5	Parse language mode arguments for diffing.	2019-10-17 12:44:24 -04:00
Rob Rix	3d01323129	Extract the parser for the language modes.	2019-10-17 12:43:58 -04:00
Rob Rix	dca68d3714	Use precise parsers for ToC where available.	2019-10-17 12:43:50 -04:00
Rob Rix	c9eee51a15	Run a reader effect for the language modes around diffing.	2019-10-17 12:43:23 -04:00
Rob Rix	93c459b205	Derive SummarizeDiff instances for the precise AST types.	2019-10-17 12:35:51 -04:00
Rob Rix	45363a7950	Define a newtype for computing summaries from tags.	2019-10-17 12:33:51 -04:00
Rob Rix	b22d86b55b	Tags hold a Loc.	2019-10-17 12:28:32 -04:00
Rob Rix	f7a0673dfe	Carry the entire Loc along in Taggable.	2019-10-17 12:16:28 -04:00
Rob Rix	267115ce31	🔥 the text field from Declaration.	2019-10-17 11:36:04 -04:00
Rob Rix	ccc95d87b9	Reformat the end of Declaration.	2019-10-17 11:32:52 -04:00
Rob Rix	8b9a65c4f8	Export summarizeChange.	2019-10-17 11:29:22 -04:00
Rob Rix	1dbd5c6e8f	Rename recordSummary to summarizeChange.	2019-10-17 11:12:40 -04:00
Rob Rix	28d0a94996	Correct the docs for recordSummary.	2019-10-17 11:12:01 -04:00
Rob Rix	c3d7c426c6	Redefine Edit as a datatype.	2019-10-17 11:09:39 -04:00
Rob Rix	dff89a12fb	Define an Edit synonym instead of EditScript.	2019-10-17 11:02:58 -04:00
Rob Rix	925ff6fc41	Derive the ToTags instances for the precise term types.	2019-10-17 06:36:33 -04:00
Rob Rix	2e0f0c4eca	Define a newtype for Precise ToTags deriving.	2019-10-17 06:34:56 -04:00
Rob Rix	a05370f7e1	Move SummarizeDiff into TOCSummaries.	2019-10-17 06:32:47 -04:00
Rob Rix	ef0ec740c9	Incorporate decorateTerm into summarizeTerm.	2019-10-17 06:23:10 -04:00
Rob Rix	f78a16b5c7	🔥 redundant parens.	2019-10-17 06:07:18 -04:00
Rob Rix	b983117cbc	Pass the blobs to diffTerms in These.	2019-10-17 06:05:41 -04:00
Rob Rix	a6ea14ab0a	🔥 decoratingDiffWith.	2019-10-17 06:00:02 -04:00
Rob Rix	140c4019e5	Parsing pairs returns the blobs with the terms.	2019-10-17 05:56:34 -04:00
Rob Rix	0d93d67be8	Define SummarizeDiff over term pairs.	2019-10-17 05:51:32 -04:00
Rob Rix	ac027b325e	Define a function to decorate a pair of terms from a pair of blobs.	2019-10-17 05:47:21 -04:00
Rob Rix	3bb1d65228	Reformat.	2019-10-17 05:46:56 -04:00
Rob Rix	2604e94052	Define BlobPair as a newtype.	2019-10-17 05:16:23 -04:00
Rob Rix	0759211f51	Fix a broken bound.	2019-10-17 05:05:02 -04:00
Rob Rix	073bf89ee8	Move formatIdentifier to Analysis.TOCSummary.	2019-10-17 04:25:38 -04:00
Rob Rix	a559479779	Align.	2019-10-17 04:24:17 -04:00
Rob Rix	cfb9151d0f	🔥 redundant deriving strategies.	2019-10-17 04:23:49 -04:00
Rob Rix	f2dabc74e4	Rename runDiff to summarize.	2019-10-17 04:13:55 -04:00
Rob Rix	02800fe810	Abstract over the parser in the tests.	2019-10-17 04:10:29 -04:00
Rob Rix	132d8afc5c	Return the summaries directly from runDiff.	2019-10-17 04:04:54 -04:00
Rob Rix	827210b255	Rename diffWithParser to runDiff.	2019-10-17 04:02:18 -04:00
Rob Rix	4e11968054	Correct the expectations.	2019-10-17 03:51:31 -04:00
Rob Rix	5d66493f56	Get the ToC spec compiling again.	2019-10-17 03:48:05 -04:00
Rob Rix	e340b43500	Fix the Listable instances for ToC.	2019-10-17 03:45:29 -04:00
Rob Rix	b682d04653	🔥 a redundant UNPACK pragma.	2019-10-17 03:39:28 -04:00
Rob Rix	98be55d0e4	🔥 an obsolete test.	2019-10-17 03:30:53 -04:00
Rob Rix	baf1868d48	🔥 the proxies.	2019-10-17 03:25:51 -04:00
Rob Rix	5611398aa7	Align.	2019-10-17 03:24:45 -04:00
Rob Rix	9b2ddd3cbe	Sort imports.	2019-10-17 03:24:09 -04:00
Rob Rix	698cc4392d	🔥 CustomHasDeclaration.	2019-10-17 03:23:13 -04:00
Rob Rix	1f58e9a82d	Rename HasDeclarationWithStrategy to HasDeclarationBy.	2019-10-17 03:18:14 -04:00