12385 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	40d8a7ac5c	Export Entry.	2017-05-10 11:57:10 -04:00
Rob Rix	ca14a5ef90	Reformat the exports list.	2017-05-10 11:56:06 -04:00
Rob Rix	6577852d75	Generalize tableOfContentsBy over the annotation type.	2017-05-10 11:47:19 -04:00
Rob Rix	14f6c8c2c2	Revert "Invert the patches using the Crosswalk instance." ... This reverts commit 7bd6285475bfd94ee2e3d714e610194b5dda7d03.	2017-05-10 11:26:48 -04:00
Rob Rix	b021910df6	Represent changes inside/outside of patches with different constructors.	2017-05-10 10:34:00 -04:00
Rob Rix	4f0fee6d2c	📝 the Entry constructors.	2017-05-10 10:27:50 -04:00
Rob Rix	d21c408af3	📝 Entry.	2017-05-10 10:24:43 -04:00
Rob Rix	bc5b6acf04	📝 the arguments to tableOfContentsBy.	2017-05-10 10:24:16 -04:00
Rob Rix	a2356def79	📝 tableOfContentsBy.	2017-05-10 10:21:00 -04:00
Rob Rix	37f8afdf7f	Reformat the tableOfContentsBy signature.	2017-05-10 10:20:51 -04:00
Rob Rix	e4556e2ae2	Export tableOfContentsBy.	2017-05-10 10:05:29 -04:00
Rob Rix	fe18e38284	Replace tableOfContentsBy’s predicate with a map onto the values of entries.	2017-05-10 10:05:12 -04:00
Rob Rix	86f852c8f0	Simplify tableOfContentsBy.	2017-05-10 10:00:20 -04:00
Rob Rix	0534c3303d	Define a function to compute the table of contents for a diff given some relevance predicate.	2017-05-10 09:55:05 -04:00
Rob Rix	bf2a12cbf4	Invert the patches using the Crosswalk instance. ... This acts like a zip rather than like the cartesian product.	2017-05-10 08:50:33 -04:00
Rob Rix	50263ae4f1	Define a Crosswalk instance for Patch.	2017-05-10 08:37:40 -04:00
Timothy Clem	edb104ff92	Still have extra imports	2017-05-09 16:12:06 -07:00
Timothy Clem	6fd4892e04	Better error message if we fail to parse	2017-05-09 16:10:30 -07:00
Timothy Clem	b7370b6e1a	Sort out the tests to pass language with paths	2017-05-09 15:55:26 -07:00
Timothy Clem	95d41a26f3	Enabling passing language on the cmdline	2017-05-09 15:10:26 -07:00
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	aaf9b2b7d4	🔥 foldDiff & foldDiffWith.	2017-05-09 13:34:03 -04:00
Rob Rix	c166973676	Simplify mapAnnotations.	2017-05-09 13:33:17 -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	663452a71d	Merge pull request #1104 from github/generalize-alignment-over-the-syntax-functor ... Generalize alignment over the syntax functor	2017-05-09 13:21:30 -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	c131c94200	Fix the tests.	2017-05-09 11:17:26 -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	40ab9a051f	Turn off the warning for the orphan instance.	2017-05-09 10:19:45 -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