12296 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	6ce4496f14	Merge branch 'master' into opt-in-anonymous-nodes	2017-05-08 08:33:14 -04:00
Rob Rix	4274fdf6e3	Merge branch 'master' into generalize-alignment-over-the-syntax-functor	2017-05-08 08:28:01 -04:00
Timothy Clem	6cebe6eccc	Merge pull request #1106 from github/fix-json-output-again ... Take 2 on fixing JSON parse output	2017-05-05 13:34:48 -07:00
Rob Rix	8d8fa78b47	Simplify summarizable.	2017-05-05 16:34:16 -04:00
Timothy Clem	ab0a6d59dd	Merge branch 'master' into fix-json-output-again	2017-05-05 13:30:48 -07:00
Rob Rix	0c7af370f7	Define termToDiffInfo as a paramorphism.	2017-05-05 16:28:46 -04:00
Rob Rix	c73a79eb83	No need to qualify sourceSpan.	2017-05-05 16:19:49 -04:00
Rob Rix	a55b97b017	Use the named field accessor.	2017-05-05 16:08:51 -04:00
Rob Rix	02dec7980f	Merge pull request #1099 from github/diffs-a-la-carte ... Diffs à la carte	2017-05-05 16:05:14 -04:00
Rob Rix	2491dde0f9	Don’t bind the individual info functions.	2017-05-05 16:00:52 -04:00
Rob Rix	e667657d94	Bind the diff info functions at the top level.	2017-05-05 16:00:10 -04:00
Rob Rix	b6cc1cfac1	🔥 redundant parens.	2017-05-05 15:56:15 -04:00
Rob Rix	628bf46ed3	Don’t bind syntax.	2017-05-05 15:56:04 -04:00
Rob Rix	274095720b	Tighten up diffToTOCSummaries.	2017-05-05 15:54:38 -04:00
Rob Rix	f820af4f5a	Factor the application of toLeafInfos out.	2017-05-05 15:48:54 -04:00
Rob Rix	c3f510f83d	Rename toLeafInfos' to toLeafInfos.	2017-05-05 15:45:51 -04:00
Rob Rix	c6b49cba94	Simplify the termToDiffInfo definition by closing over the source.	2017-05-05 15:44:37 -04:00
Rob Rix	0ab53b002a	Flatten toTOCSummaries.	2017-05-05 15:33:16 -04:00
Rob Rix	948869066c	Even tighter.	2017-05-05 15:28:09 -04:00
Rob Rix	2ac1baef7a	Tighten up the definition of afterOrBefore.	2017-05-05 15:27:50 -04:00
Rob Rix	8cd74f6ea2	afterOrBefore always returns a value.	2017-05-05 15:26:26 -04:00
Rob Rix	286d751b7b	Merge branch 'master' into opt-in-anonymous-nodes	2017-05-05 13:47:07 -04:00
Rob Rix	ba32db8fc9	Merge branch 'master' into diffs-a-la-carte	2017-05-05 13:46:40 -04:00
Rob Rix	7b961977b7	Merge branch 'master' into generalize-alignment-over-the-syntax-functor	2017-05-05 13:46:23 -04:00
Rob Rix	8023631dfb	Merge pull request #1103 from github/assignment-best-practices ... Assignment best practices	2017-05-05 13:44:43 -04:00
Timothy Clem	f2f6bb45d9	Don't parse blobs that don't exist	2017-05-05 10:06:58 -07:00
Timothy Clem	1959301204	Use a list to simplify json output concatenation	2017-05-05 09:09:45 -07:00
Timothy Clem	2b4d4a0e85	Bring back original json structure with 'sourceRange' and identifier only on specific nodes	2017-05-05 09:08:58 -07:00
Rob Rix	f14cd97cae	Merge branch 'master' into generalize-alignment-over-the-syntax-functor	2017-05-05 10:56:23 -04:00
Rob Rix	875fe1c5ae	Merge branch 'master' into assignment-best-practices	2017-05-05 10:56:19 -04:00
Rob Rix	1ca4d21c47	Merge branch 'master' into diffs-a-la-carte	2017-05-05 10:56:17 -04:00
Rob Rix	209a2de6b6	Merge branch 'master' into opt-in-anonymous-nodes	2017-05-05 10:56:14 -04:00
Timothy Clem	4a1f4de198	Merge pull request #1105 from github/fix-json-output ... Fix json output	2017-05-05 07:55:22 -07:00
Timothy Clem	e53a8342a3	Missing one case for this monoid instance to be associative	2017-05-05 07:52:14 -07:00
Rob Rix	ccf92f9808	Rename setCharacterRange -> setByteRange.	2017-05-05 09:32:15 -04:00
Rob Rix	d9b6c51319	Extract the wrapInBranch lambda into a binding.	2017-05-05 09:31:23 -04:00
Rob Rix	634b8e450f	Apply the fusion law.	2017-05-05 09:30:27 -04:00
Rob Rix	bee7d1ee6a	Merge branch 'master' into fix-json-output	2017-05-05 09:06:30 -04:00
Timothy Clem	bea5d66f3f	Bit more nuanced of a monoid instance for Value	2017-05-04 14:56:53 -07:00
Timothy Clem	702198ec91	Failing tests showing desired json output	2017-05-04 14:56:32 -07:00
Timothy Clem	477165a4c2	Collapse up and remove unused language extensions	2017-05-04 14:56:08 -07:00
Rob Rix	d6dbc534eb	Don’t bind variables we don’t use.	2017-05-04 17:36:03 -04:00
Rob Rix	d0603610cc	Update the JSON diff output fixtures.	2017-05-04 17:32:06 -04:00
Rob Rix	231abd6cb5	Generalize alignment over the syntax functor.	2017-05-04 17:31:45 -04:00
Rob Rix	5d206c3c9a	Merge branch 'master' into assignment-best-practices	2017-05-04 13:18:18 -04:00
Rob Rix	e943a5372c	Merge branch 'master' into diffs-a-la-carte	2017-05-04 13:18:12 -04:00
Rob Rix	9f1a4bc778	Merge branch 'master' into opt-in-anonymous-nodes	2017-05-04 13:18:00 -04:00
Rob Rix	9f302459c2	Merge pull request #1102 from github/🔥-split-renderer ... 🔥 split renderer	2017-05-04 13:17:38 -04:00
Rob Rix	13d6b313cb	Document how tokens are skipped.	2017-05-04 13:11:09 -04:00
Rob Rix	d62b6170e6	Document optional.	2017-05-04 13:04:54 -04:00