Rob Rix
|
559e2e0c59
|
Fix a missed rename.
|
2019-10-21 11:42:55 -04:00 |
|
Rob Rix
|
9e20fc889e
|
Merge branch 'master' into edit-these-patch
|
2019-10-18 18:06:57 -04:00 |
|
Rob Rix
|
cc2df9de19
|
Merge pull request #347 from github/join-these-blobs-with-this-one-weird-trick
Compute ToCs over precise ASTs
|
2019-10-18 18:05:25 -04:00 |
|
Rob Rix
|
54c6948e44
|
Queswish!
Co-Authored-By: Patrick Thomson <patrickt@github.com>
|
2019-10-18 17:38:02 -04:00 |
|
Rob Rix
|
11d052f594
|
Fix an elided reference.
|
2019-10-18 12:45:17 -04:00 |
|
Rob Rix
|
e31f59ccda
|
Alignment.
|
2019-10-18 12:40:18 -04:00 |
|
Rob Rix
|
f119b444ff
|
Rename a parameter.
|
2019-10-18 12:28:13 -04:00 |
|
Rob Rix
|
b6f9fea37d
|
Use fromMaybes to define maybeBlobPair.
|
2019-10-18 12:26:50 -04:00 |
|
Rob Rix
|
41f38b1c59
|
Use Applicative to tidy up further.
|
2019-10-18 12:25:40 -04:00 |
|
Rob Rix
|
fecb0d8f1f
|
Use fromMaybes to clean up the FromJSON instance for BlobPair.
|
2019-10-18 12:25:09 -04:00 |
|
Rob Rix
|
fc93bb4b4d
|
Define a helper to construct an Edit from a pair of Maybes.
|
2019-10-18 12:24:44 -04:00 |
|
Rob Rix
|
cb3fa623b1
|
Alignment.
|
2019-10-18 12:20:32 -04:00 |
|
Rob Rix
|
1bdf9ff63a
|
Alignment.
|
2019-10-18 12:19:02 -04:00 |
|
Rob Rix
|
c80af0fc21
|
🔥 mergeEditWith.
|
2019-10-18 12:18:47 -04:00 |
|
Rob Rix
|
1d72bfe0ef
|
📝 mergeEdit.
|
2019-10-18 12:17:34 -04:00 |
|
Rob Rix
|
f140d97d23
|
Fix the docs for edit.
|
2019-10-18 12:16:26 -04:00 |
|
Rob Rix
|
6722f2f9da
|
Fix docs.
|
2019-10-18 12:15:20 -04:00 |
|
Rob Rix
|
84a448ad4f
|
Simplify the Bitraversable instance.
|
2019-10-18 12:14:47 -04:00 |
|
Rob Rix
|
a2812137c2
|
Alignment.
|
2019-10-18 12:12:55 -04:00 |
|
Rob Rix
|
b3e6f527a3
|
More alignment.
|
2019-10-18 12:12:29 -04:00 |
|
Rob Rix
|
f870e977ff
|
Align.
|
2019-10-18 12:12:02 -04:00 |
|
Rob Rix
|
8a7d72edbf
|
Rename the eq parameters.
|
2019-10-18 12:11:33 -04:00 |
|
Rob Rix
|
0764de8320
|
LambdaCase.
|
2019-10-18 12:11:19 -04:00 |
|
Rob Rix
|
38cff494e7
|
LambdaCase.
|
2019-10-18 12:11:06 -04:00 |
|
Rob Rix
|
7e5f28dba5
|
Define an Ord2 instance for Edit.
|
2019-10-18 12:10:50 -04:00 |
|
Rob Rix
|
1e30f49984
|
Use mergeEditWith to compute languageForBlobPair.
|
2019-10-18 12:06:53 -04:00 |
|
Rob Rix
|
14182b3d21
|
Use mergeEditWith to compute path keys.
|
2019-10-18 12:05:13 -04:00 |
|
Rob Rix
|
0dd2021a44
|
Define a generalization of mergeEdit.
|
2019-10-18 12:04:16 -04:00 |
|
Rob Rix
|
0b6b79b42b
|
Use mergeEdit to define pathForBlobPair.
|
2019-10-18 12:02:47 -04:00 |
|
Rob Rix
|
43eeca7d10
|
Define a helper to merge edits.
|
2019-10-18 12:02:38 -04:00 |
|
Rob Rix
|
23d34a7c6e
|
🔥 redundant parens.
|
2019-10-18 11:59:27 -04:00 |
|
Rob Rix
|
b00715e247
|
🔥 the pattern synonyms.
|
2019-10-18 11:57:26 -04:00 |
|
Rob Rix
|
36ee5fcfce
|
Alignment.
|
2019-10-18 11:52:50 -04:00 |
|
Rob Rix
|
571cb74d43
|
Style.
|
2019-10-18 11:52:38 -04:00 |
|
Ayman Nadeem
|
44db35aba0
|
Merge pull request #243 from github/semantic-ast
semantic-ast
|
2019-10-18 11:52:15 -04:00 |
|
Rob Rix
|
f36df7f972
|
🔥 the dependency on these.
|
2019-10-18 11:50:49 -04:00 |
|
Rob Rix
|
7a3c4ac5fc
|
🔥 the Bicrosswalk instance for Edit.
|
2019-10-18 11:50:16 -04:00 |
|
Rob Rix
|
9170893153
|
Inline the definition of bicrosswalk & alignWith.
|
2019-10-18 11:48:43 -04:00 |
|
Rob Rix
|
9813bdd5f0
|
🔥 the re-export of Data.These from Prologue.
|
2019-10-18 11:29:03 -04:00 |
|
Rob Rix
|
d1ab2e11c6
|
🔥 a redundant import.
|
2019-10-18 11:28:09 -04:00 |
|
Rob Rix
|
2a788703ba
|
Fix up some tests.
|
2019-10-18 11:28:03 -04:00 |
|
Ayman Nadeem
|
6c64e6eb99
|
Merge branch 'master' into semantic-ast
|
2019-10-18 11:27:02 -04:00 |
|
Rob Rix
|
9c67f48905
|
Fix some property names.
|
2019-10-18 11:26:50 -04:00 |
|
Rob Rix
|
939041c43a
|
tryAlignWith uses Edit.
|
2019-10-18 11:25:02 -04:00 |
|
Ayman Nadeem
|
67760145e8
|
case over Format
|
2019-10-18 11:23:37 -04:00 |
|
Ayman Nadeem
|
1537f43fde
|
add Pretty constructor to Format
|
2019-10-18 11:23:23 -04:00 |
|
Ayman Nadeem
|
fb5132d43f
|
pull pretty-simple into semantic-ast
|
2019-10-18 11:23:01 -04:00 |
|
Patrick Thomson
|
d3425d1b49
|
Merge pull request #340 from github/bump-lingo
Bump lingo to 0.3 and remove hack associated with #333.
|
2019-10-18 11:21:49 -04:00 |
|
Rob Rix
|
a7dc70f474
|
🔥 diffThese.
|
2019-10-18 11:20:35 -04:00 |
|
Rob Rix
|
e8dacbe186
|
🔥 a redundant binding.
|
2019-10-18 11:17:24 -04:00 |
|