joshvera
|
71eefd92a5
|
Merge remote-tracking branch 'origin/master' into typescript-fixes
|
2017-10-05 14:04:57 -07:00 |
|
joshvera
|
a1d075a47e
|
regenerate tests
|
2017-10-05 14:01:03 -07:00 |
|
Rob Rix
|
df9efe6fb4
|
🔥 the redundant repo binding.
|
2017-10-04 10:26:46 -04:00 |
|
Rob Rix
|
a4afb35769
|
🔥 the profile fixtures.
|
2017-10-04 10:25:30 -04:00 |
|
Rob Rix
|
0fecda703a
|
Update the fixtures.
|
2017-10-03 15:26:50 -04:00 |
|
Rob Rix
|
27758821e8
|
Use the comparableTerms relation in the RWS tests.
|
2017-10-03 15:10:11 -04:00 |
|
Rob Rix
|
b85aa53af9
|
Spacing.
|
2017-10-03 09:29:15 -04:00 |
|
Rob Rix
|
ac3646f925
|
Test that genericLiftCompare gives equivalent behaviour to compare for recursive types.
|
2017-10-03 09:29:06 -04:00 |
|
Rob Rix
|
5a024b40f7
|
Test that genericLiftCompare gives equivalent behaviour to compare for sum types.
|
2017-10-03 09:25:39 -04:00 |
|
Rob Rix
|
7e034fa4c1
|
Test that genericLiftCompare gives equivalent behaviour to compare for product types.
|
2017-10-03 09:23:44 -04:00 |
|
Rob Rix
|
6f4539cdce
|
Stub in a module for generically-implemented Ord1 specs.
|
2017-10-03 09:15:45 -04:00 |
|
Timothy Clem
|
dfc7de34e7
|
Merge branch 'master' into contextualize-ruby-comments
|
2017-10-02 13:19:02 -07:00 |
|
Timothy Clem
|
2ee98ab96f
|
These comments are part of Context now
|
2017-10-02 11:13:54 -07:00 |
|
Rob Rix
|
960bfd9d41
|
🔥 redundant imports.
|
2017-10-02 10:32:00 -04:00 |
|
Rob Rix
|
09e3a79340
|
Update one of the ToC tests.
|
2017-10-02 10:29:47 -04:00 |
|
Rob Rix
|
1f6a1fcc0f
|
Migrate TOCSpec off of IdentityDiffRenderer.
|
2017-10-02 10:11:31 -04:00 |
|
Rob Rix
|
2bd957153d
|
Use parseAndDiffBlobPair instead of IdentityDiffRenderer.
|
2017-09-29 15:33:13 -04:00 |
|
Rob Rix
|
dd4cb32b90
|
🔥 the test of parsing in the specified language.
This is redundant to the test that it renders with the specified renderer.
|
2017-09-29 15:19:52 -04:00 |
|
Rob Rix
|
4eb3b7eacd
|
Test against the s-expression renderer.
|
2017-09-29 15:14:37 -04:00 |
|
Rob Rix
|
f095b89492
|
Test that we fail when the language is Nothing.
|
2017-09-29 15:09:58 -04:00 |
|
joshvera
|
54444ab54d
|
s/Function/FunctionType
|
2017-09-28 17:27:57 -07:00 |
|
joshvera
|
3384a3689d
|
fix tests
|
2017-09-28 17:17:39 -07:00 |
|
joshvera
|
b3667104fb
|
Merge remote-tracking branch 'origin/master' into typescript-assignment
|
2017-09-28 14:24:57 -07: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
|
26d44ae2f0
|
Merge the Decorators module into Data.Syntax.Algebra.
|
2017-09-27 12:54:01 -04:00 |
|
Rob Rix
|
1cab700d82
|
Rename the SplitDiff module to Data.SplitDiff.
|
2017-09-27 12:43:11 -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
|
e8b7e89dca
|
Rename the Patch module to Data.Patch.
|
2017-09-27 12:29:07 -04:00 |
|
Rob Rix
|
b1560c1da5
|
Mark while-statement.diffB-A as pending on #1359.
|
2017-09-26 12:27:04 -04:00 |
|
Rob Rix
|
22ae1c1192
|
Pass the pending message along with the output file path.
|
2017-09-26 12:26:13 -04:00 |
|
Rob Rix
|
e88c9b0e56
|
Allow integration specs to be marked as pending.
|
2017-09-26 12:23:16 -04:00 |
|
Rob Rix
|
8cf834154d
|
Fix the commented out spec.
|
2017-09-26 12:14:36 -04:00 |
|
Rob Rix
|
89ab11d291
|
Merge branch 'test-rws-permutations' into substructural-diffing
|
2017-09-26 12:10:32 -04:00 |
|
Rob Rix
|
d91e8d8464
|
🔥 the before/after permutation properties.
|
2017-09-26 12:06:41 -04:00 |
|
Rob Rix
|
06a929528a
|
Mark the forward permutation diff test as pending.
|
2017-09-26 10:11:00 -04:00 |
|
Rob Rix
|
0ed594cfab
|
Restrict a, b, and c to be disjoint.
|
2017-09-26 10:09:54 -04:00 |
|
Rob Rix
|
69aae9986d
|
Ensure that c is distinct from both a and b.
|
2017-09-26 09:59:31 -04:00 |
|
Rob Rix
|
6608ab48e3
|
Add (failing) tests that forward/backward permutations are correctly diffed as changes.
|
2017-09-26 09:56:47 -04:00 |
|
Rob Rix
|
58338d6af2
|
Add tests that we recover before/after states through forward/backward permutations.
|
2017-09-26 09:50:50 -04:00 |
|
Rob Rix
|
01e8e1725f
|
Move the listable Syntax synonym into Data.Functor.Listable.
|
2017-09-26 09:48:59 -04:00 |
|
Rob Rix
|
c9e4968d93
|
Migrate the RWS tests to à la carte syntax.
|
2017-09-26 09:44:42 -04:00 |
|
Rob Rix
|
2aff7745b6
|
Migrate InterpreterSpec to à la carte syntax.
|
2017-09-26 09:31:36 -04:00 |
|
Rob Rix
|
b618caa35c
|
Update a few Ruby fixtures.
|
2017-09-26 09:18:40 -04:00 |
|
Rob Rix
|
0fa57d60c2
|
Merge branch 'master' into substructural-diffing
|
2017-09-26 09:13:22 -04:00 |
|
Rob Rix
|
cfc6d13ad0
|
Define (failing) tests that permutations are changes.
|
2017-09-26 09:12:06 -04:00 |
|
Rob Rix
|
86ede39a58
|
🔥 Use empty records in DiffSpec.
|
2017-09-25 19:54:34 -04:00 |
|
Rob Rix
|
bd4dee20d5
|
Migrate DiffSpec to à la carte syntax.
|
2017-09-25 19:52:08 -04:00 |
|