joshvera
|
9c9c66537a
|
remove disambiguation
|
2017-09-28 17:05:44 -07:00 |
|
joshvera
|
c4abe09827
|
Rename Function to FunctionType
|
2017-09-28 16:48:37 -07:00 |
|
joshvera
|
f42f0b9f0e
|
remove strictness annotations
|
2017-09-28 15:11:18 -07:00 |
|
joshvera
|
8ed09e3af7
|
newtype javascript expressions
|
2017-09-28 15:10:08 -07:00 |
|
joshvera
|
b3667104fb
|
Merge remote-tracking branch 'origin/master' into typescript-assignment
|
2017-09-28 14:24:57 -07:00 |
|
Rob Rix
|
702e992013
|
Merge pull request #1365 from github/musical-chairs
Move Patch, Term, Diff, & SplitDiff into the Data hierarchy
|
2017-09-28 11:42:46 -04:00 |
|
Rob Rix
|
9c664e5460
|
Merge branch 'master' into musical-chairs
|
2017-09-28 11:36:02 -04:00 |
|
Rob Rix
|
d95cee9909
|
Merge pull request #1340 from github/substructural-diffing
Substructural diffing
|
2017-09-28 11:34:16 -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
|
c5cf4ee6a4
|
Define a mergeF operator for a single level of a term.
|
2017-09-28 11:24:12 -04:00 |
|
Rob Rix
|
7595062d05
|
Use the merging function in the tests.
|
2017-09-28 10:40:23 -04:00 |
|
Rob Rix
|
46b98c3ec2
|
Define a merging operator for Diff.
|
2017-09-28 10:29:02 -04:00 |
|
Rob Rix
|
d6873820dc
|
Merge branch 'master' into substructural-diffing
|
2017-09-28 10:25:29 -04:00 |
|
Rob Rix
|
0ef29d25b9
|
Merge pull request #1360 from github/test-rws-permutations
Test RWS permutations
|
2017-09-28 09:27:34 -04:00 |
|
Rob Rix
|
89b929d332
|
Merge branch 'master' into test-rws-permutations
|
2017-09-28 09:13:02 -04:00 |
|
Josh Vera
|
337816f63c
|
Merge branch 'master' into typescript-assignment
|
2017-09-27 16:33:59 -06:00 |
|
Rob Rix
|
76fe19e66a
|
Merge pull request #1363 from github/diff-multiple-file-pairs-on-the-command-line
Diff one or more pairs of files.
|
2017-09-27 16:35:07 -04:00 |
|
Rob Rix
|
26d44ae2f0
|
Merge the Decorators module into Data.Syntax.Algebra.
|
2017-09-27 12:54:01 -04:00 |
|
Rob Rix
|
bdc020dd5a
|
Move the Syntax identifier algebra into Data.Syntax.Algebra.
|
2017-09-27 12:53:25 -04:00 |
|
Rob Rix
|
e7a402b29d
|
Spacing.
|
2017-09-27 12:48: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
|
d74c83fd9e
|
Diff one or more pairs of files.
|
2017-09-27 11:02:11 -04:00 |
|
Rob Rix
|
de1acea9fc
|
📝 runAlgorithm.
|
2017-09-26 13:20:47 -04:00 |
|
Rob Rix
|
d853a2d7ee
|
📝 subalgorithmFor.
|
2017-09-26 13:03:49 -04:00 |
|
Rob Rix
|
1e7f9b8862
|
📝 algorithmFor.
|
2017-09-26 13:03:44 -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
|
d54f8b34c2
|
Export comparableByConstructor & equivalentTerms again.
|
2017-09-26 09:44:25 -04:00 |
|
Rob Rix
|
2aff7745b6
|
Migrate InterpreterSpec to à la carte syntax.
|
2017-09-26 09:31:36 -04:00 |
|
Rob Rix
|
b937c38c0e
|
🔥 the unused Leaf & Branch types.
|
2017-09-26 09:23:42 -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
|
a9c3317758
|
Derive Mergeable instances for pretty much everything.
|
2017-09-25 19:51:52 -04:00 |
|