Rob Rix
|
ee393400f2
|
Formatting.
|
2016-06-30 12:50:52 -04:00 |
|
Rob Rix
|
28abcd1b38
|
Move Record’s Arbitrary instance into Data.Record.
|
2016-06-30 12:49:50 -04:00 |
|
Rob Rix
|
60b92bfedf
|
Derive Ord instances for Size and Cost.
|
2016-06-30 12:47:21 -04:00 |
|
Rob Rix
|
605a5a9ce1
|
Add an Ord instance over Data.Record.
|
2016-06-30 12:46:22 -04:00 |
|
Rob Rix
|
58138d5867
|
Scale down the sizes by a factor of four.
|
2016-06-30 12:37:41 -04:00 |
|
Rob Rix
|
a5af331f71
|
Generate a pair of inputs.
This allows scaling to work correctly.
|
2016-06-30 12:37:27 -04:00 |
|
Rob Rix
|
1a35975c4f
|
Memoize the feature vector computation for bs.
|
2016-06-30 12:19:01 -04:00 |
|
Rob Rix
|
6e1a7957ec
|
Implement Recursive diffing pairwise over lists of inequal length.
|
2016-06-30 11:59:33 -04:00 |
|
Rob Rix
|
a679749112
|
Test for subtree membership, not just key membership.
|
2016-06-30 11:36:55 -04:00 |
|
Rob Rix
|
d6c041074c
|
Use a List instead of a Set.
|
2016-06-30 11:35:27 -04:00 |
|
Rob Rix
|
d89422d3ed
|
Define childrenOf in tacit style.
|
2016-06-30 11:28:18 -04:00 |
|
Rob Rix
|
cb71ba3467
|
Use the Foldable instance instead of specifying the constructor.
|
2016-06-30 11:27:37 -04:00 |
|
Rob Rix
|
27cc162e1c
|
Test against a set of children instead of sorting.
This reverts commit e5fb9a7a89da22373e7614d0163b64bb3a994b24.
|
2016-06-29 11:28:08 -04:00 |
|
Rob Rix
|
7bdbb0a963
|
Derive an Ord instance for Syntax.
|
2016-06-29 11:23:11 -04:00 |
|
Rob Rix
|
4c3c85bf87
|
Derive an Ord instance for OrderedMap.
|
2016-06-29 11:23:06 -04:00 |
|
Rob Rix
|
bd11e9e0ee
|
Enumerate and sort to pass the test.
|
2016-06-29 10:58:06 -04:00 |
|
Rob Rix
|
92fb23b65e
|
Revert "Revert "Define all our constants in one go.""
This reverts commit 6cb041549d0c8701c10e4574ede0af1ecc87881c.
|
2016-06-29 10:31:16 -04:00 |
|
Rob Rix
|
11a2ab907a
|
Revert "Carry indices along through the computation."
This reverts commit 2cc2d4d78688266a4a6791de47bfd27bfa3cca43.
|
2016-06-29 10:30:32 -04:00 |
|
Rob Rix
|
a5cce717c8
|
Revert "Carry the indices all the way along."
This reverts commit 35b54a6bd9f53d79767571e9ea0bdccf13506149.
|
2016-06-29 10:30:28 -04:00 |
|
Rob Rix
|
223d549397
|
Revert "Place the index last."
This reverts commit a7ff749b2d0fb5991b8b20c97cd1855105d48b49.
|
2016-06-29 10:30:24 -04:00 |
|
Rob Rix
|
b49997d83e
|
Revert "Don’t drop the indices until the very last."
This reverts commit a47ac6be869e7ee65482a2f8606553f2ca9f8dd2.
|
2016-06-29 10:30:21 -04:00 |
|
Rob Rix
|
237846979e
|
Revert "DRY up the computation of indexed, feature-assigned lists."
This reverts commit 40d1b8b449f61613ec40f0e7a7b7acb41189c53a.
|
2016-06-29 10:30:17 -04:00 |
|
Rob Rix
|
31786e1357
|
Revert "Define all our constants in one go."
This reverts commit 77c6cb8d94ccc4bd53d142851e815a74bfc79f14.
|
2016-06-29 10:30:10 -04:00 |
|
Rob Rix
|
79d05c9520
|
Revert "Don’t bind the after list’s index."
This reverts commit f5ef37312654f188a707a75e4994f4420b768516.
|
2016-06-29 10:29:37 -04:00 |
|
Rob Rix
|
b81fc5166d
|
Revert "Split out the computation of the deletions."
This reverts commit 06b52e9366d99739facb7e6aaff965b9dc634dee.
|
2016-06-29 10:29:30 -04:00 |
|
Rob Rix
|
9f6176a6cc
|
Split out the computation of the deletions.
|
2016-06-29 10:16:31 -04:00 |
|
Rob Rix
|
e5423587c5
|
Define all our constants in one go.
|
2016-06-29 10:15:35 -04:00 |
|
Rob Rix
|
d56f2176b9
|
Don’t bind the after list’s index.
|
2016-06-29 10:12:25 -04:00 |
|
Rob Rix
|
457082ba6f
|
DRY up the computation of indexed, feature-assigned lists.
|
2016-06-29 10:11:38 -04:00 |
|
Rob Rix
|
53cfdb8f15
|
Don’t drop the indices until the very last.
|
2016-06-29 10:07:38 -04:00 |
|
Rob Rix
|
b2003de8d4
|
Place the index last.
|
2016-06-29 10:06:35 -04:00 |
|
Rob Rix
|
5cb8d1ddc6
|
Carry the indices all the way along.
|
2016-06-29 10:05:24 -04:00 |
|
Rob Rix
|
488280d40d
|
Carry indices along through the computation.
|
2016-06-29 10:01:41 -04:00 |
|
Rob Rix
|
ad930bf047
|
Tidy up with fromMaybe.
|
2016-06-28 15:04:04 -04:00 |
|
Rob Rix
|
83a88d0e32
|
Only allow comparisons between terms with the same category.
|
2016-06-28 15:02:41 -04:00 |
|
Rob Rix
|
be3f43702b
|
Replace incomparable terms.
|
2016-06-28 15:01:02 -04:00 |
|
Rob Rix
|
2dde2a5775
|
🔥 some parens.
|
2016-06-28 14:56:01 -04:00 |
|
Rob Rix
|
99c36635b4
|
Use Categories for the annotations.
|
2016-06-28 14:09:51 -04:00 |
|
Rob Rix
|
88a79d736c
|
Invert the predicate.
|
2016-06-28 13:42:23 -04:00 |
|
Rob Rix
|
16b0fedee5
|
Delete the remaining terms in a.
|
2016-06-27 16:06:50 -04:00 |
|
Rob Rix
|
c9733cdc5a
|
Swap the operands to compare .
|
2016-06-27 15:59:37 -04:00 |
|
Rob Rix
|
e003549ef0
|
Rewrite to share the lists of child terms.
|
2016-06-27 15:38:45 -04:00 |
|
Rob Rix
|
38ecc3bb0a
|
Test that rws produces correct diffs.
|
2016-06-27 15:37:32 -04:00 |
|
Rob Rix
|
833802eb8a
|
Text, not String.
|
2016-06-27 15:32:09 -04:00 |
|
Rob Rix
|
b8ba07522b
|
Test that Interpreter produces correct diffs.
|
2016-06-27 15:28:11 -04:00 |
|
Rob Rix
|
2de9468ed1
|
Sort the imports.
|
2016-06-27 15:28:04 -04:00 |
|
Rob Rix
|
9611a27887
|
🔥 test/ArbitraryTerm.hs.
|
2016-06-27 15:03:04 -04:00 |
|
Rob Rix
|
b405286065
|
Tidy up AlignmentSpec.
|
2016-06-27 15:02:28 -04:00 |
|
Rob Rix
|
ddc418bc57
|
Correct the before/after definitions to select the correct side.
|
2016-06-27 13:29:22 -04:00 |
|
Rob Rix
|
aa5d6e4deb
|
Test that afterTerm recovers the second term.
|
2016-06-27 13:24:50 -04:00 |
|