joshvera
|
ea814432a6
|
Add a property test to check number of LeafInfos in diff summaries match leaves in diff patches
|
2016-07-15 14:10:31 -04:00 |
|
joshvera
|
e57f30f20b
|
DiffInfo are now either LeafInfos or BranchInfos
|
2016-07-15 13:18:45 -04:00 |
|
joshvera
|
13671e5d14
|
Add patchAnnotations to DiffInfo to track discarded branch nodes
|
2016-07-14 19:35:23 -04:00 |
|
joshvera
|
9a01466bfc
|
Merge branch 'syntax-redux' into pretty-print-summaries
|
2016-07-14 15:30:15 -04:00 |
|
joshvera
|
27c338331f
|
Merge remote-tracking branch 'origin/master' into syntax-redux
|
2016-07-14 15:22:46 -04:00 |
|
joshvera
|
453334d966
|
Use wl-pprint-text to pretty print diff summaries
|
2016-07-14 14:44:18 -04:00 |
|
joshvera
|
58ff433dd0
|
Merge remote-tracking branch 'origin/master' into pretty-print-summaries
|
2016-07-14 14:38:46 -04:00 |
|
Rob Rix
|
9e9622ef10
|
🔥 a redundant import.
|
2016-07-14 14:25:49 -04:00 |
|
Rob Rix
|
7304d79e53
|
Don’t import the Info type synonym.
|
2016-07-14 14:25:43 -04:00 |
|
Rob Rix
|
f51b1724fe
|
Generalize diffSummary over records.
|
2016-07-14 14:25:37 -04:00 |
|
Rob Rix
|
13d2dfc24f
|
Generalize termToDiffInfo over records.
|
2016-07-14 14:25:27 -04:00 |
|
Rob Rix
|
fa44ef74d8
|
🔥 the HasCategory instance over Info.
|
2016-07-14 14:23:51 -04:00 |
|
Rob Rix
|
577ca768bb
|
Get the category name from the Term instance.
|
2016-07-14 14:23:44 -04:00 |
|
Rob Rix
|
63a37920ac
|
Generalize HasCategory over categorizable terms.
|
2016-07-14 14:19:47 -04:00 |
|
Rob Rix
|
51b55cc1b4
|
Generalize toTermName over record annotations.
|
2016-07-14 14:19:15 -04:00 |
|
joshvera
|
1c65d03618
|
Output a diff summary for empty branch syntax nodes
|
2016-07-14 13:01:33 -04:00 |
|
joshvera
|
2ebbe72a76
|
Add Categorizable newtype for HasCategory (Record fields)
|
2016-07-14 11:52:03 -04:00 |
|
Rob Rix
|
02e836d364
|
Equate terms with respect to their categories.
|
2016-07-14 11:27:54 -04:00 |
|
Rob Rix
|
56fbaaf8e5
|
Merge branch 'master' into equal-term-costs
|
2016-07-14 09:52:45 -04:00 |
|
joshvera
|
27fab0b289
|
Merge remote-tracking branch 'origin/master' into pretty-print-summaries
|
2016-07-13 15:48:44 -04:00 |
|
Rob Rix
|
50c9d37cb1
|
Placate hlint.
|
2016-07-13 15:33:53 -04:00 |
|
Rob Rix
|
45b0571221
|
Add an Arbitrary instance over Range.
|
2016-07-13 15:33:44 -04:00 |
|
Rob Rix
|
a6eace739c
|
Section header for instances.
|
2016-07-13 15:31:09 -04:00 |
|
Rob Rix
|
b45329e94b
|
Add Arbitrary instances over Size and Cost.
|
2016-07-13 15:30:37 -04:00 |
|
Rob Rix
|
8b9e92440f
|
Add an instance over empty records.
|
2016-07-13 15:28:58 -04:00 |
|
Rob Rix
|
636fbd102b
|
Generalize the Arbitrary instance over Records of multiple fields.
|
2016-07-13 15:24:35 -04:00 |
|
Rob Rix
|
742f2fcc24
|
🔥 the set of keyed categories.
|
2016-07-13 15:02:26 -04:00 |
|
joshvera
|
59426b86f6
|
Add megaparsec to pretty print summaries
|
2016-07-13 14:32:53 -04:00 |
|
joshvera
|
7169a51265
|
Use wl-pprint-text to pretty print diff summaries
|
2016-07-13 11:58:43 -04:00 |
|
Rob Rix
|
4f967e0e1a
|
🔥 Data.OrderedMap.
|
2016-07-12 23:27:20 -04:00 |
|
Rob Rix
|
bc05e694a3
|
🔥 Keyed syntax nodes.
|
2016-07-12 23:27:09 -04:00 |
|
Rob Rix
|
c3f060d65b
|
🔥 ByKey operations.
|
2016-07-12 23:26:14 -04:00 |
|
Rob Rix
|
7370e927b8
|
Pattern guards.
|
2016-07-12 18:39:43 -04:00 |
|
Rob Rix
|
a1bfe55742
|
Handle ByKey using OrderedMap’s Align instance.
|
2016-07-12 18:20:31 -04:00 |
|
Rob Rix
|
7af6915a75
|
Align OrderedMap using the same logic as ByKey.
|
2016-07-12 18:20:19 -04:00 |
|
Rick Winfrey
|
177af03bd3
|
Merge branch 'master' into syntax-redux
|
2016-07-12 17:03:35 -05:00 |
|
Rob Rix
|
a327ab67a4
|
Export the OrderedMap constructor.
|
2016-07-12 17:57:58 -04:00 |
|
Rob Rix
|
89b7c451bf
|
Parenthesize records where appropriate.
|
2016-07-12 17:55:49 -04:00 |
|
Rob Rix
|
a43400b920
|
Add field names to ArbitraryTerm.
|
2016-07-12 17:45:50 -04:00 |
|
Rob Rix
|
657d6dc72e
|
Use the correct constructor.
|
2016-07-12 17:44:48 -04:00 |
|
Rob Rix
|
ccf78456f2
|
🔥 a redundant import.
|
2016-07-12 17:26:21 -04:00 |
|
Josh Vera
|
b801683254
|
Merge branch 'master' into ses-parallelism
|
2016-07-12 13:12:26 -04:00 |
|
Rob Rix
|
0ebfb1e441
|
Back out the SES parallelism stuff.
|
2016-07-12 09:51:41 -04:00 |
|
Rob Rix
|
a0a86a0d01
|
Merge branch 'master' into ses-parallelism
# Conflicts:
# semantic-diff.cabal
# src/Patch.hs
|
2016-07-12 09:50:02 -04:00 |
|
joshvera
|
38cf7bee62
|
Add regex tests
|
2016-07-11 16:18:10 -04:00 |
|
Rob Rix
|
36528d4b37
|
📝 galignAlign.
|
2016-07-11 15:39:33 -04:00 |
|
Rob Rix
|
56b248d390
|
Document the equality constraint.
|
2016-07-11 15:39:00 -04:00 |
|
Rob Rix
|
23b7fa4f87
|
Correct the docs for the GAlign instance over K1.
|
2016-07-11 15:38:17 -04:00 |
|
Rob Rix
|
63832980ba
|
Non-parameter fields are only zipped if equal.
|
2016-07-11 15:37:48 -04:00 |
|
Rob Rix
|
cf3690f28a
|
Implement recur using galign .
|
2016-07-11 15:35:13 -04:00 |
|