15200 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	c067153077	🔥 the metavariable eliminator.	2017-09-10 20:04:53 +01:00
Rob Rix	5ac5d80875	Define a smart constructor for metavariable diffs.	2017-09-10 20:03:32 +01:00
Rob Rix	289cb11912	Define a smart constructor for let-binding diffs.	2017-09-10 19:56:06 +01:00
Rob Rix	d68a8790ce	Define maxBoundMetavariable using a helper.	2017-09-10 19:55:08 +01:00
Rob Rix	3e2c883b3a	Define a function computing the maximum metavariable bound in a diff.	2017-09-10 19:50:01 +01:00
Rob Rix	7ada1dea20	🔥 liftShowsPrecBoth & liftShowListBoth.	2017-09-10 19:41:13 +01:00
Rob Rix	90496bdc1c	Copy holds a TermF.	2017-09-10 19:40:48 +01:00
Rob Rix	1ccff72b08	Define a Pretty1 instance for Join.	2017-09-10 19:36:22 +01:00
Rob Rix	13c0b6d496	Define a Show1 instance for Join.	2017-09-10 19:34:49 +01:00
Rob Rix	bb11787db9	Define an Eq1 instance for Join.	2017-09-10 19:33:57 +01:00
Rob Rix	62a6235161	Define lifted showing for Both.	2017-09-10 19:32:25 +01:00
Rob Rix	4490297bb5	Derive an Enum instance.	2017-09-10 19:16:29 +01:00
Rob Rix	92e157cfb0	Use the newtype deriving strategy to define the ToJSON instance for Metavar.	2017-09-10 19:15:55 +01:00
Rob Rix	8b6b4dcc00	Define metavariables as Ints.	2017-09-10 19:14:44 +01:00
Rob Rix	8b1eb1e8be	Compute the set of free metavariables in a diff.	2017-09-10 19:07:14 +01:00
Rob Rix	b4ca3be640	Simplify with a foldMap.	2017-09-10 18:34:42 +01:00
Rob Rix	36ac6a4104	Rename MetaVar to Metavar.	2017-09-10 18:28:21 +01:00
Rob Rix	a0de82e88e	Simplify the non-Copy evalDiffR cases.	2017-09-10 18:01:55 +01:00
Rob Rix	f33cf1a3c5	Pull the extension of the environment into a helper.	2017-09-10 17:48:49 +01:00
Rob Rix	7020f5ffaa	Parens.	2017-09-10 17:47:07 +01:00
Rob Rix	606b89772e	Simplify evalDiffRM.	2017-09-10 17:46:54 +01:00
Rob Rix	80994e27dc	🔥 the helper function.	2017-09-10 17:46:25 +01:00
Rob Rix	49fd598b92	Define a getter for bindings.	2017-09-10 17:45:41 +01:00
Rob Rix	ebcaa3fb27	Simplify the Copy case.	2017-09-10 17:43:35 +01:00
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