Timothy Clem
|
666585bf50
|
Start writing a few specs
|
2017-10-04 11:12:24 -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
|
684af38fe9
|
Merge branch 'generic-term-comparability-and-equivalence' into simplified-high-level-flow
|
2017-10-03 16:23:50 -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
|
a965c12dd8
|
Rename parserForLanguage to syntaxParserForLanguage.
|
2017-10-03 10:04:59 -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 |
|
Rob Rix
|
8e674538e3
|
Define Listable1 instances for Functions & Methods.
|
2017-09-25 19:25:14 -04:00 |
|
Rob Rix
|
f274a9dd7d
|
Define a Listable1 instance for Context.
|
2017-09-25 19:20:01 -04:00 |
|
Rob Rix
|
aae77f6e0e
|
Define a Listable1 instance for Comment.
|
2017-09-25 19:19:51 -04:00 |
|
Rob Rix
|
b0c79efa9b
|
Define a Listable1 instance for NonEmpty.
|
2017-09-25 19:19:37 -04:00 |
|
Rob Rix
|
b32a911484
|
Define Listable instances for Return and Empty.
|
2017-09-25 19:14:00 -04:00 |
|
Rob Rix
|
909e199e72
|
Define Listable instances for If and Identifier.
|
2017-09-25 19:12:44 -04:00 |
|
Rob Rix
|
468a874168
|
Define Listable instances for non-empty Unions.
|
2017-09-25 19:08:55 -04:00 |
|
Rob Rix
|
5ba29e6361
|
Fix the while-statement diff.
|
2017-09-25 18:46:47 -04:00 |
|
Rob Rix
|
de1a5f8a23
|
Fix _most of_ the failures.
|
2017-09-25 18:45:37 -04:00 |
|
joshvera
|
7f81d8982d
|
Add TOCSpec
|
2017-09-25 14:11:15 -04:00 |
|
joshvera
|
44d895388d
|
Merge remote-tracking branch 'origin/master' into typescript-assignment
|
2017-09-25 13:47:46 -04:00 |
|
joshvera
|
bd440ea8d0
|
Merge remote-tracking branch 'origin/master' into typescript-assignment
|
2017-09-25 13:40:10 -04:00 |
|
Timothy Clem
|
0642755c35
|
Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw
|
2017-09-25 09:08:14 -07:00 |
|
Rob Rix
|
fb56d8b604
|
Merge branch 'master' into substructural-diffing
|
2017-09-25 11:59:14 -04:00 |
|
Timothy Clem
|
ddebcc044d
|
Make it really clear where we are headed
|
2017-09-25 08:24:48 -07:00 |
|
Rob Rix
|
4c87a91f19
|
Use the correct functions in the diffs.
|
2017-09-25 10:57:28 -04:00 |
|
Timothy Clem
|
56e340a3ff
|
Test the new assignment toc renderer
|
2017-09-22 09:47:06 -07:00 |
|
joshvera
|
c0bd3e837b
|
Regenerate tests
|
2017-09-21 12:31:30 -04:00 |
|
joshvera
|
9014266707
|
bump switch statement tests
|
2017-09-20 13:17:25 -04:00 |
|
joshvera
|
80dddc23c5
|
Add tests for jsx elements
|
2017-09-19 19:27:14 -04:00 |
|
joshvera
|
c5e3ca246f
|
Update function and async-function specs in python
|
2017-09-19 17:32:51 -04:00 |
|
joshvera
|
d0fb557bec
|
Merge remote-tracking branch 'origin/master' into typescript-assignment
|
2017-09-19 17:04:27 -04:00 |
|
Timothy Clem
|
ee7032edc2
|
Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw
|
2017-09-19 11:19:43 -07:00 |
|
Timothy Clem
|
44d59f4e4d
|
Some updated python fixtures due to eqTerms
|
2017-09-19 09:37:50 -07:00 |
|
Timothy Clem
|
7107aec6db
|
Add a equivalency check for terms
|
2017-09-19 09:36:12 -07:00 |
|
joshvera
|
f26c67b3ad
|
Fix parse errors in some go test cases
|
2017-09-19 12:20:04 -04:00 |
|
joshvera
|
b03d17de34
|
Merge remote-tracking branch 'origin/master' into typescript-assignment
|
2017-09-19 11:54:51 -04:00 |
|
joshvera
|
48fb0a39ac
|
Update go fixtures
|
2017-09-19 11:34:27 -04:00 |
|
joshvera
|
c26dcae355
|
Merge remote-tracking branch 'origin/master' into typescript-assignment
|
2017-09-15 14:38:47 -04:00 |
|
Timothy Clem
|
5ddb75a4e3
|
Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw
|
2017-09-14 16:32:45 -07:00 |
|
Rob Rix
|
be481f7a71
|
Rename SES.Myers to SES.
|
2017-09-14 11:53:02 -04:00 |
|
Rob Rix
|
7789e83875
|
Correct the RWS tests.
|
2017-09-14 11:49:57 -04:00 |
|
Timothy Clem
|
8679c89e5d
|
Fix up tests for one less layer of structure in expressions of single element
|
2017-09-14 08:07:10 -07: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
|
547da73009
|
Define a patch helper to eliminate Patches.
|
2017-09-13 21:55:41 -04:00 |
|
Rob Rix
|
cf9d752d43
|
Parameterize Patch by before and after types.
|
2017-09-13 21:37:23 -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 |
|
joshvera
|
6bd68b48e5
|
update ambient declaration tests
|
2017-09-13 19:11:46 -04:00 |
|
joshvera
|
0e853a5f38
|
Merge remote-tracking branch 'origin/master' into typescript-assignment
|
2017-09-13 18:40:29 -04:00 |
|
Timothy Clem
|
2064db2da8
|
Merge remote-tracking branch 'origin/master' into ruby-assignment-ftw
|
2017-09-13 13:10:12 -07:00 |
|
Rob Rix
|
20e0943c72
|
🔥 the Sum inside Patch nodes.
|
2017-09-13 16:07:22 -04:00 |
|
Rob Rix
|
0ec9584a6d
|
Correct the tests.
|
2017-09-13 16:03:27 -04:00 |
|
Rob Rix
|
a0eda2396a
|
Correct the tests.
|
2017-09-13 11:19:06 -04:00 |
|
Rob Rix
|
644e43b3b0
|
Fix a fixture.
|
2017-09-13 09:46:18 -04:00 |
|
Rob Rix
|
e36034455c
|
Correct the tests.
|
2017-09-13 09:45:10 -04:00 |
|
Rob Rix
|
6c31ea4f9b
|
🔥 redundant imports.
|
2017-09-12 11:43:58 -04:00 |
|
Rob Rix
|
fcc05e114b
|
Update a fixture.
|
2017-09-12 11:00:51 -04:00 |
|
Rob Rix
|
ecb19530d6
|
Correct most of the tests.
|
2017-09-12 10:49:45 -04:00 |
|