Rob Rix
|
351ce77d11
|
🔥 a redundant StringConv constraint.
|
2017-05-29 10:53:29 -04:00 |
|
Rob Rix
|
b67e951197
|
🔥 redundant NFData constraints in Arguments.
|
2017-05-26 15:31:02 -04:00 |
|
Rob Rix
|
6b23b5cf3f
|
🔥 redundant NFData constraints.
|
2017-05-26 15:29:50 -04:00 |
|
Rob Rix
|
c98efce511
|
Reformat parseBlobs.
|
2017-05-26 15:28:49 -04:00 |
|
Rob Rix
|
77e0b635d0
|
Avoid redundant sparking of the outputs.
|
2017-05-26 15:08:18 -04:00 |
|
Rob Rix
|
c167a2a28e
|
Resume using parseBlob.
|
2017-05-26 15:05:47 -04:00 |
|
Rob Rix
|
4e131c84d9
|
Use the deleting/inserting helpers.
|
2017-05-26 15:05:33 -04:00 |
|
Rob Rix
|
e1d8a98b22
|
Avoid redundant concurrency.
|
2017-05-26 15:02:18 -04:00 |
|
Rob Rix
|
6ed7c37e5b
|
Avoid a redundant O(n) traversal of each diff.
|
2017-05-26 14:57:08 -04:00 |
|
Rob Rix
|
aaf3bb0632
|
Parse and render in the helper function.
|
2017-05-26 14:39:24 -04:00 |
|
Rob Rix
|
ae6fff4a93
|
Avoid a redundant O(n) traversal of the terms.
|
2017-05-26 14:37:43 -04:00 |
|
Rob Rix
|
0b6a805ae5
|
Encode in renderConcurrently.
|
2017-05-26 14:35:05 -04:00 |
|
Rob Rix
|
5828dd7969
|
Rename go to parse.
|
2017-05-26 14:26:34 -04:00 |
|
Rob Rix
|
2f3401919f
|
Parse and render each blob concurrently.
|
2017-05-26 14:25:58 -04:00 |
|
Rob Rix
|
72ad671481
|
renderConcurrently takes an IO action.
|
2017-05-26 14:08:37 -04:00 |
|
Rob Rix
|
6454d48d63
|
Inline parseBlob into parseBlobs.
|
2017-05-26 14:04:57 -04:00 |
|
Rob Rix
|
78e18d1de7
|
Define decorator parsers.
|
2017-05-26 13:25:46 -04:00 |
|
Rob Rix
|
5c5952de8f
|
Generalize the declarationDecorator over other fields.
|
2017-05-26 10:53:21 -04:00 |
|
Rob Rix
|
8c5d0bf2da
|
Generalize patch rendering over the syntax functor.
|
2017-05-26 10:42:39 -04:00 |
|
Rob Rix
|
ec66e575d3
|
Apply the decorators in the parsing machinery.
|
2017-05-26 10:36:30 -04:00 |
|
Rob Rix
|
adcbed5b60
|
Give ParseArguments a decorator field.
|
2017-05-26 10:25:57 -04:00 |
|
Rob Rix
|
e719230ee5
|
🔥 a redundant import.
|
2017-05-26 10:18:48 -04:00 |
|
Rob Rix
|
d556dcb395
|
🔥 the TreeAndRanges format of sexpr rendering.
|
2017-05-26 10:15:15 -04:00 |
|
Rob Rix
|
4748cac0ac
|
Drop the SourceBlob parameters from s-expression rendering.
|
2017-05-26 10:07:22 -04:00 |
|
Rob Rix
|
3b3b19bd1e
|
Generalize the s-expression renderers to any Foldable type constructor.
|
2017-05-26 10:05:28 -04:00 |
|
Rob Rix
|
104687a7ab
|
🔥 redundant parse tree JSON rendering setup.
|
2017-05-26 10:02:22 -04:00 |
|
Rob Rix
|
eb4b039c7c
|
Eta-reduce runRenderer.
|
2017-05-26 09:37:27 -04:00 |
|
Rob Rix
|
bc20c3ae0a
|
Rename resolveRenderer to runRenderer.
|
2017-05-26 09:34:25 -04:00 |
|
Rob Rix
|
8119acf393
|
Combine the JSON diff and parse tree renderers.
|
2017-05-25 16:55:34 -04:00 |
|
Rob Rix
|
de9751f1fc
|
Generalize JSON rendering to take a Foldable structure of blobs.
|
2017-05-25 16:55:22 -04:00 |
|
Rob Rix
|
396f5b2f36
|
Pass parse tree blobs in Identity.
|
2017-05-25 16:53:59 -04:00 |
|
Rob Rix
|
18cc8035ee
|
Merge branch 'bounds-checked-reverse-RWS-matching' into abstract-rendering-over-the-syntax-functor
|
2017-05-25 15:57:31 -04:00 |
|
Rob Rix
|
8e31f3e297
|
Correct the tests.
|
2017-05-25 15:51:59 -04:00 |
|
Rob Rix
|
180346be84
|
Render JSON diffs to a list of Values.
|
2017-05-25 15:48:09 -04:00 |
|
Rob Rix
|
2a9eb68067
|
🔥 redundant constraints on JSON renderers.
|
2017-05-25 11:15:10 -04:00 |
|
Rob Rix
|
e10dd6d9ed
|
Combine the renderer types into a single type.
|
2017-05-25 11:09:22 -04:00 |
|
Rob Rix
|
c912f5eb16
|
Parameterize DiffRenderer by the diff type.
|
2017-05-25 10:54:14 -04:00 |
|
Rob Rix
|
571a85faf6
|
🔥 redundant parens.
|
2017-05-25 10:51:49 -04:00 |
|
Rob Rix
|
fb8bc5e983
|
Parameterize ParseTreeRenderer by the term type.
|
2017-05-25 10:51:12 -04:00 |
|
Rob Rix
|
978055f9b1
|
🔥 a redundant export.
|
2017-05-25 10:50:25 -04:00 |
|
Rob Rix
|
b6ccf15d09
|
Update all the fixtures.
|
2017-05-24 14:42:12 -04:00 |
|
Rob Rix
|
dfa9d6ab70
|
Update the JSON diff fixtures to include method identifiers.
|
2017-05-24 13:51:02 -04:00 |
|
Rob Rix
|
156e237487
|
Rename the filter function.
|
2017-05-24 13:26:15 -04:00 |
|
Rob Rix
|
c7849ea9dc
|
Factor out the filter on the unmapped lists.
|
2017-05-24 13:25:27 -04:00 |
|
Rob Rix
|
c5d5125218
|
Check if there is a better match within defaultMoveBound steps.
|
2017-05-24 13:22:54 -04:00 |
|
Rob Rix
|
111bc3cd0a
|
Revert "Carry along the previous index along both sides."
This reverts commit 044d5e5e0fa8dc6c1cc5cd46c8abfdaa36e765d9.
|
2017-05-24 13:12:05 -04:00 |
|
Rob Rix
|
aa673f5be8
|
Revert "Insertions update the index in B."
This reverts commit 9b0471d14fd743e4b6209b25b681d6f9ba0e0828.
|
2017-05-24 13:11:48 -04:00 |
|
Rob Rix
|
0e3c579e26
|
Insertions update the index in B.
|
2017-05-24 13:07:15 -04:00 |
|
Rob Rix
|
d10abdfc52
|
Carry along the previous index along both sides.
|
2017-05-24 12:49:14 -04:00 |
|
Rob Rix
|
841fca2c19
|
Decorate JSON diffs with identifiers.
|
2017-05-24 12:45:24 -04:00 |
|