740 Commits

Author	SHA1	Message	Date
Rob Rix	617cbf681e	Revert "Don’t pattern match against the term functor." ... This reverts commit e30138d20144257a49d93b8ec2e2af54f551422a.	2017-05-09 13:54:22 -04:00
Rob Rix	55907f4ee0	Revert "Pass the term functor to identifierFor." ... This reverts commit 59f1f1ba0affe5c782bda7d11b8411026b70d781.	2017-05-09 13:53:51 -04:00
Rob Rix	6c9d7d03bf	Revert "Unwrap TermFs recursively." ... This reverts commit d5738afaebd32eb65c0fc1dc249df8c952bdfd54.	2017-05-09 13:53:40 -04:00
Rob Rix	b0aae13648	Unwrap TermFs recursively.	2017-05-09 13:48:55 -04:00
Rob Rix	1474c63c12	Pass the term functor to identifierFor.	2017-05-09 13:43:39 -04:00
Rob Rix	0a522a386d	Don’t pattern match against the term functor.	2017-05-09 13:39:49 -04:00
Rob Rix	118e94a2a7	Merge branch 'master' into generalize-table-of-contents-over-the-syntax-functor	2017-05-09 13:21:49 -04:00
Rob Rix	3c6d311255	🔥 a type signature mentioning Syntax.	2017-05-09 12:51:26 -04:00
Rob Rix	dde54fed6f	Move diffSource into the where clause.	2017-05-09 12:44:02 -04:00
Rob Rix	fd3dded127	Extract toInfo to the top level (again).	2017-05-09 12:40:18 -04:00
Rob Rix	a4a2425ada	Use a single code path for diff/term source.	2017-05-09 12:09:02 -04:00
Rob Rix	e578772376	More straightforward computation of the source for a given diff/term.	2017-05-09 12:04:25 -04:00
Rob Rix	58ed93f559	Don’t call toTermName for Pure nodes.	2017-05-09 11:58:35 -04:00
Rob Rix	a3ac8c308a	Don’t call toTermName for Free nodes.	2017-05-09 11:56:03 -04:00
Rob Rix	490820c79d	🔥 InSummarizable.	2017-05-09 11:16:17 -04:00
Rob Rix	d38b76f554	Reformat TOCSummary a bit further.	2017-05-09 11:13:17 -04:00
Rob Rix	c08bfe5e07	Represent parse errors with Nothing.	2017-05-09 11:08:18 -04:00
Rob Rix	239105b5fe	Combine DiffInfo’s constructors.	2017-05-09 11:02:15 -04:00
Rob Rix	fd618537a4	Clean up how we summarize leaf infos.	2017-05-09 10:28:16 -04:00
Rob Rix	901b67ca53	Factor the TOCSummary construction out.	2017-05-09 10:26:32 -04:00
Rob Rix	636b51ed92	Reformat TOCSummary.	2017-05-09 10:07:21 -04:00
Rob Rix	af5db72165	Tighten up labelling dupes.	2017-05-09 10:06:14 -04:00
Rob Rix	41e205639f	Simpler term name computation.	2017-05-08 17:41:59 -04:00
Rob Rix	e1093344a7	Simplify contextualization.	2017-05-08 17:39:21 -04:00
Rob Rix	c369867230	Simplify toJSONSummaries.	2017-05-08 17:16:48 -04:00
Rob Rix	28d858ce32	Use record syntax for every case in toInfo.	2017-05-08 17:14:21 -04:00
Rob Rix	f33f2d6622	Flatten various branches with foldMap.	2017-05-08 17:11:03 -04:00
Rob Rix	ac832e9e4c	fmap with fewer parens.	2017-05-08 17:09:37 -04:00
Rob Rix	48457f13cc	s/toTOCSummaries/summarize/	2017-05-08 16:52:03 -04:00
Rob Rix	a9b7903d8e	Contextualize ToC summaries in a foldMap.	2017-05-08 16:41:10 -04:00
Rob Rix	f41a5f120b	🔥 BranchInfo.	2017-05-08 16:00:29 -04:00
Rob Rix	51d548cb0a	🔥 flattenPatch. ... traverse has different semantics, but I’m pretty sure the zipWith was problematic.	2017-05-08 15:50:13 -04:00
Rob Rix	967ded76a8	Move toTOCSummaries & termToDiffInfo into diffTOC.	2017-05-08 15:47:51 -04:00
Rob Rix	9750fa35ec	Map patches to ToC summaries without a second pass.	2017-05-08 15:20:22 -04:00
Rob Rix	03fc463c5c	Format Summarizable across several lines.	2017-05-08 15:11:12 -04:00
Rob Rix	2d6c485ace	Tighten up how we compute the summary key.	2017-05-08 13:21:40 -04:00
Rob Rix	d74c5fc2d2	🔥 ScopedTypeVariables.	2017-05-08 11:37:20 -04:00
Rob Rix	60782087de	🔥 a redundant forall.	2017-05-08 11:37:10 -04:00
Rob Rix	cba78c805f	Specialize the leaf type.	2017-05-08 11:36:45 -04:00
Rob Rix	92be6ee6d1	Use the full types diffs & terms.	2017-05-08 11:35:34 -04:00
Rob Rix	b3fcde2abb	Avoid indirection for error summaries.	2017-05-08 11:32:25 -04:00
Rob Rix	3cede7da09	Represent NotSummarizable as Nothing.	2017-05-08 11:31:30 -04:00
Rob Rix	821b598e2a	Further tighten toTermName.	2017-05-08 11:24:25 -04:00
Rob Rix	6e411c7c85	Compute toTermName as a paramorphism.	2017-05-08 11:22:04 -04:00
Rob Rix	1b487b6907	🔥 offsetting in toTermName. ... toTermName is a shallow traversal, so there’s little or no point in offsetting before recursive calls.	2017-05-08 11:18:23 -04:00
Rob Rix	2e98b4570d	Contextualize summaries in diffToTOCSummaries directly.	2017-05-08 11:16:37 -04:00
Rob Rix	9df2a73e38	Tighten up toTermName.	2017-05-08 11:16:23 -04:00
Rob Rix	76002f08c0	🔥 redundant parens.	2017-05-08 09:56:11 -04:00
Rob Rix	f3cf3cb1d1	🔥 SummarizableTerm.	2017-05-08 09:55:56 -04:00
Rob Rix	4274fdf6e3	Merge branch 'master' into generalize-alignment-over-the-syntax-functor	2017-05-08 08:28:01 -04:00