Rob Rix
|
3351c60859
|
Move the permutation tests into InterpreterSpec.
|
2017-10-23 11:58:52 -04:00 |
|
Rob Rix
|
6200a00b6e
|
Rename the identity diff property.
|
2017-10-23 11:58:43 -04:00 |
|
Rob Rix
|
46e2b5fb15
|
Rename the interpreter spec.
|
2017-10-23 11:58:31 -04:00 |
|
Rob Rix
|
08eedd23cc
|
Measure the length of diffPatches instead of using diffCost.
|
2017-10-23 09:37:47 -04:00 |
|
Rob Rix
|
9c664e5460
|
Merge branch 'master' into musical-chairs
|
2017-09-28 11:36:02 -04:00 |
|
Rob Rix
|
7bed8fee3e
|
Define a test that diffTerms compares nodes against the subject position within Context nodes.
|
2017-09-28 11:24:51 -04:00 |
|
Rob Rix
|
7595062d05
|
Use the merging function in the tests.
|
2017-09-28 10:40:23 -04:00 |
|
Rob Rix
|
b31043a3eb
|
Rename the Diff module to Data.Diff.
|
2017-09-27 12:41:41 -04:00 |
|
Rob Rix
|
9bd0b02ac9
|
Rename the Term module to Data.Term.
|
2017-09-27 12:37:37 -04:00 |
|
Rob Rix
|
01e8e1725f
|
Move the listable Syntax synonym into Data.Functor.Listable.
|
2017-09-26 09:48:59 -04:00 |
|
Rob Rix
|
2aff7745b6
|
Migrate InterpreterSpec to à la carte syntax.
|
2017-09-26 09:31:36 -04:00 |
|
Rob Rix
|
4c87a91f19
|
Use the correct functions in the diffs.
|
2017-09-25 10:57:28 -04:00 |
|
Rob Rix
|
bfc0b9d0b0
|
Give Diff a pair of type parameters for the annotation types.
|
2017-09-14 09:41:52 -04:00 |
|
Rob Rix
|
bf2de994ac
|
Curry diffing operations.
|
2017-09-13 19:34:27 -04:00 |
|
Rob Rix
|
9de429be45
|
🔥 the SyntaxTerm, SyntaxTermF, & SyntaxDiff type synonyms.
|
2017-09-13 19:14:01 -04:00 |
|
Rob Rix
|
ecb19530d6
|
Correct most of the tests.
|
2017-09-12 10:49:45 -04:00 |
|
Rob Rix
|
1cd6dd2899
|
Update the tests.
|
2017-09-11 15:48:58 -04:00 |
|
Rob Rix
|
2a7a937a7e
|
🔥 a bunch more redundant imports.
|
2017-09-09 14:58:07 +01:00 |
|
Rob Rix
|
a1bfea611f
|
Update all the tests.
|
2017-09-09 14:18:08 +01:00 |
|
Rob Rix
|
7da8799e08
|
🔥 Prologue & protolude.
|
2017-07-28 14:37:02 -04:00 |
|
Rob Rix
|
d6beb353fa
|
🔥 unused imports.
|
2017-07-23 16:08:05 -04:00 |
|
Rob Rix
|
aa8ebfcd73
|
Remove the leaf type parameter from SyntaxTerm.
|
2017-07-23 15:56:08 -04:00 |
|
Rob Rix
|
0ba3264f32
|
Remove the leaf type parameter from Syntax.
|
2017-07-23 15:46:29 -04:00 |
|
Rob Rix
|
8cd44d59a5
|
diffTerms takes its inputs in Both.
|
2017-06-01 11:10:47 -04:00 |
|
Rob Rix
|
f711e2fd5c
|
🔥 redundant imports.
|
2017-05-11 17:14:54 -04:00 |
|
Rob Rix
|
a418b38e7f
|
🔥 feature vectors from the Interpreter spec.
|
2017-05-11 09:48:46 -04:00 |
|
joshvera
|
7395e88ab0
|
Remove Data.RandomWalkSimilarity
|
2017-04-24 15:53:11 -04:00 |
|
Rob Rix
|
fe326bcf03
|
🔥 the comparability parameter to diffTerms.
|
2017-02-21 15:23:30 -05:00 |
|
Rob Rix
|
c4f37454d6
|
🔥 the construct parameter to diffTerms.
|
2017-02-21 15:17:35 -05:00 |
|
Rob Rix
|
01c47fa0c1
|
🔥 the computation of costs.
|
2017-02-21 14:34:24 -05:00 |
|
Rob Rix
|
93937a1bf9
|
Fix the tests.
|
2017-02-08 11:15:37 -05:00 |
|
Rob Rix
|
7e1bd55c64
|
Generate an empty array.
|
2017-02-03 15:57:05 -05:00 |
|
Rob Rix
|
23881c21b6
|
Hide that other definition of Nil.
|
2017-01-19 15:53:16 -05:00 |
|
Rob Rix
|
8e1c5706b6
|
Replace uses of (.:) with (:.).
|
2017-01-19 15:46:28 -05:00 |
|
Rob Rix
|
877fec5e38
|
Rename RNil to Nil.
|
2017-01-19 15:36:04 -05:00 |
|
Rob Rix
|
88aec60e23
|
Migrate the Interpreter property tests to leancheck.
|
2017-01-09 14:20:11 -05:00 |
|
joshvera
|
dfe8648a11
|
Fix tests
|
2016-10-12 19:19:36 -04:00 |
|
Rick Winfrey
|
a4c5a26533
|
Add pretty diff expectations to semantic diff tests
|
2016-09-14 16:45:23 -05:00 |
|
Rob Rix
|
00689650dd
|
Use the defaultFeatureVectorDecorator in the tests.
|
2016-08-18 14:03:36 -04:00 |
|
Rob Rix
|
8aa0f082a6
|
Bump _q_ in all of the specs.
Figure it’s best if they use the same value for the parameter.
|
2016-08-18 11:23:21 -04:00 |
|
Rob Rix
|
2b35110d0a
|
🔥 the faulty tests of unbiased branch diffs.
|
2016-08-12 12:24:38 -04:00 |
|
Rob Rix
|
ff4861e2fb
|
Add the unbiased insertion test to the Interpreter spec.
|
2016-08-12 12:16:48 -04:00 |
|
Rob Rix
|
86fd5b21fd
|
Use the replacing smart constructor.
|
2016-08-11 14:42:17 -04:00 |
|
Rob Rix
|
0346b5d8f1
|
Use galign to ensure that the constructors are disjoint.
|
2016-08-11 14:32:10 -04:00 |
|
Rob Rix
|
0fc0e80ed9
|
Revert "Revert "Ensure that the syntaxes are disjoint.""
This reverts commit cfe27aec6f0764f451c493439086e03a1bdcf176.
|
2016-08-11 13:33:33 -04:00 |
|
Rob Rix
|
d9b48b6def
|
Revert "Ensure that the syntaxes are disjoint."
This reverts commit 43ebf52752a8cf22ae18633a5667966fd3f74aa0.
|
2016-08-11 13:28:51 -04:00 |
|
Rob Rix
|
70a622ca84
|
Ensure that the syntaxes are disjoint.
|
2016-08-11 13:27:45 -04:00 |
|
Rob Rix
|
fd23564dd5
|
Use a single root function for both interpreter tests.
|
2016-08-11 13:05:36 -04:00 |
|
Rob Rix
|
3eb05a31b1
|
Test the interpreter against insertions as well.
|
2016-08-11 13:03:22 -04:00 |
|
Rob Rix
|
fd2274b997
|
Use a single annotation for both children.
|
2016-08-11 13:00:54 -04:00 |
|