15176 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	dbc79d8ab0	Simplify the non-Copy cases.	2017-09-10 17:43:12 +01:00
Rob Rix	472363e3e9	Define an effectful evaluator using Reader for the environment.	2017-09-10 17:41:48 +01:00
Rob Rix	7ea66c89e2	Correct another fixture.	2017-09-10 17:24:58 +01:00
Rob Rix	3adcd9d747	Correct a fixture.	2017-09-10 17:16:08 +01:00
Rob Rix	02e10446e1	Correct a test.	2017-09-10 17:14:51 +01:00
Rob Rix	65c7a5ae0b	Produce multiple entries inside patches.	2017-09-10 17:12:44 +01:00
Rob Rix	6ee5c2d261	Force the after branch of replacements onto the next line.	2017-09-10 16:11:07 +01:00
Rob Rix	a2d9decbf0	Reformat replacements in sexpression rendering.	2017-09-10 16:03:36 +01:00
Rob Rix	5f7adb59be	Dedupe replacements.	2017-09-10 15:54:40 +01:00
Rob Rix	b330eb45eb	Produce only a single entry for patches.	2017-09-10 15:38:09 +01:00
Rob Rix	6f6ebc7aa6	Correct a fixture.	2017-09-10 15:29:09 +01:00
Rob Rix	cc1f75cb1a	Place entries for patch nodes above the body of the patch.	2017-09-10 15:25:38 +01:00
Rob Rix	fd05f7cb80	Patches count as changes.	2017-09-10 15:23:22 +01:00
Rob Rix	e5d345dca7	Simplify the selection of patches.	2017-09-10 15:15:14 +01:00
Rob Rix	d678048dfd	Fix tables of contents for patches.	2017-09-10 10:46:04 +01:00
Rob Rix	27db18bfde	Correct the language fixtures.	2017-09-09 23:41:12 +01:00
Rob Rix	8fff046b02	Correct s-expression output on the first line.	2017-09-09 23:16:24 +01:00
Rob Rix	760955c120	Apply padding to terms in renderSExpressionTerm.	2017-09-09 23:06:31 +01:00
Rob Rix	b7fa780060	Simplify some folds.	2017-09-09 23:01:51 +01:00
Rob Rix	e57beaeb9f	Tweaks to s-expression rendering.	2017-09-09 22:56:41 +01:00
Rob Rix	66fc464357	Get rid of the other padding mechanism.	2017-09-09 22:27:46 +01:00
Rob Rix	5baab6ea6b	Avoid extra newlines on the first line.	2017-09-09 21:48:40 +01:00
Rob Rix	110be2449c	Update the tests.	2017-09-09 21:44:15 +01:00
Rob Rix	ad6f618f56	Move the environment/metavar stuff down.	2017-09-09 21:37:11 +01:00
Rob Rix	da5bdac3d8	🔥 patchSum.	2017-09-09 21:36:22 +01:00
Rob Rix	987dcb7839	Patches recur through Diff.	2017-09-09 21:36:18 +01:00
Rob Rix	67cb8799ba	Define an operator producing a Term from a SplitDiff.	2017-09-09 21:32:22 +01:00
Rob Rix	f064360d8c	Rename some type parameters.	2017-09-09 21:32:12 +01:00
Rob Rix	114d5aa2d9	Derive some more instances for SplitPatch.	2017-09-09 21:24:46 +01:00
Rob Rix	a80ee2cdb4	Derive hella instances for Env.	2017-09-09 19:03:15 +01:00
Rob Rix	7374994127	Simplify the Eq1 instance for Term.	2017-09-09 18:58:56 +01:00
Rob Rix	345a96eca0	Simplify the Foldable, Functor, & Traversable instances for Term.	2017-09-09 18:57:58 +01:00
Rob Rix	280e3b2084	Specialize the Pretty instances over TermF for Unions.	2017-09-09 18:56:47 +01:00
Rob Rix	41baef6c9d	Listing diffs does not produce metavariables or bindings.	2017-09-09 18:24:05 +01:00
Rob Rix	6eb0f7cff6	Add bindings & variables to diffs.	2017-09-09 18:14:05 +01:00
Rob Rix	19febc23aa	Define diffCost as a catamorphism.	2017-09-09 18:03:07 +01:00
Rob Rix	0bfd29fddc	Merge branch 'relocate-json-fields' into directed-acyclic-diffs	2017-09-09 17:49:12 +01:00
Rob Rix	d0a2687edc	🔥 all the LANGUAGE pragmas in Renderer.JSON.	2017-09-09 17:46:35 +01:00
Rob Rix	7404b41717	Renderer.JSON no longer contains orphan instances.	2017-09-09 17:46:08 +01:00
Rob Rix	c83746e74e	Move the Output instance for [Value] to Data.Output.	2017-09-09 17:45:49 +01:00
Rob Rix	f6f1b21d94	Move the Output instance for maps to Data.Output.	2017-09-09 17:45:01 +01:00
Rob Rix	5be89f11ee	🔥 Renderer.JSON’s export of ToJSONFields.	2017-09-09 17:41:24 +01:00
Rob Rix	44aab0edcf	Renderer.JSON is decidable.	2017-09-09 17:39:46 +01:00
Rob Rix	c6a111b71d	🔥 the ToJSON instance for Both.	2017-09-09 17:39:08 +01:00
Rob Rix	f30a5d0754	Move the ToJSON/ToJSONFields instances for Diff into Diff.	2017-09-09 17:37:26 +01:00
Rob Rix	c449ad481e	Move the ToJSON/ToJSONFields instances for Term into Term.	2017-09-09 17:36:35 +01:00
Rob Rix	8ce60eecb8	Lift the Term/Diff ToJSONFields instances to * -> *.	2017-09-09 17:35:45 +01:00
Rob Rix	3231d85347	Define a lifting of ToJSONFields to * -> *.	2017-09-09 17:31:45 +01:00
Rob Rix	aa78f3eaeb	Move the ToJSONFields instance for Category into Category.	2017-09-09 17:30:34 +01:00
Rob Rix	0845687d51	Move the ToJSONFields instance for Syntax into Syntax.	2017-09-09 17:25:55 +01:00