Josh Vera
|
2d4dadb167
|
Merge pull request #608 from github/ses-parallelism
SES benchmarking
|
2016-07-12 13:28:22 -04:00 |
|
Josh Vera
|
b801683254
|
Merge branch 'master' into ses-parallelism
|
2016-07-12 13:12:26 -04:00 |
|
Rick Winfrey
|
b1b2289305
|
Merge pull request #630 from github/2016-07-12-weekly
Add 2016-07-12 weekly meeting notes
|
2016-07-12 10:32:08 -05:00 |
|
Rick Winfrey
|
8508d1ea2d
|
Add 2016-07-12 weekly meeting notes
|
2016-07-12 10:29:45 -05:00 |
|
Josh Vera
|
802002a9b4
|
Merge pull request #629 from github/generic-zip
Generic align
|
2016-07-12 10:30:00 -04:00 |
|
Rob Rix
|
0ebfb1e441
|
Back out the SES parallelism stuff.
|
2016-07-12 09:51:41 -04:00 |
|
Rob Rix
|
a0a86a0d01
|
Merge branch 'master' into ses-parallelism
# Conflicts:
# semantic-diff.cabal
# src/Patch.hs
|
2016-07-12 09:50:02 -04:00 |
|
Rob Rix
|
36528d4b37
|
📝 galignAlign.
|
2016-07-11 15:39:33 -04:00 |
|
Rob Rix
|
56b248d390
|
Document the equality constraint.
|
2016-07-11 15:39:00 -04:00 |
|
Rob Rix
|
23b7fa4f87
|
Correct the docs for the GAlign instance over K1.
|
2016-07-11 15:38:17 -04:00 |
|
Rob Rix
|
63832980ba
|
Non-parameter fields are only zipped if equal.
|
2016-07-11 15:37:48 -04:00 |
|
Rob Rix
|
cf3690f28a
|
Implement recur using galign .
|
2016-07-11 15:35:13 -04:00 |
|
Rob Rix
|
ce500a822f
|
Define zipTerms using galign.
|
2016-07-11 15:13:16 -04:00 |
|
Rob Rix
|
06fce4f0ca
|
📝 the GAlign instances.
|
2016-07-11 14:55:39 -04:00 |
|
Rob Rix
|
d6dbc24056
|
Move the GAlign instance over Syntax a into its own section.
|
2016-07-11 14:52:13 -04:00 |
|
Rob Rix
|
ee60b4be7a
|
Use galignAlign explicitly.
|
2016-07-11 14:51:09 -04:00 |
|
Rob Rix
|
45c0a582b8
|
Add a function implementing galign ’s type using align .
|
2016-07-11 14:50:13 -04:00 |
|
Rob Rix
|
a7ee001f4d
|
Move the Data.Align.Align implementations into their own section.
|
2016-07-11 14:48:39 -04:00 |
|
Rob Rix
|
8fb0ba59c6
|
📝 GAlign.
|
2016-07-11 14:47:12 -04:00 |
|
Rob Rix
|
f277956c55
|
Move the section header down.
|
2016-07-11 14:47:06 -04:00 |
|
Rob Rix
|
2c5810324a
|
🔥 the (bogus) pair implementation.
|
2016-07-11 14:46:57 -04:00 |
|
Rob Rix
|
b1b9806e61
|
📝 alignCofreeWith’s parameters.
|
2016-07-11 14:41:59 -04:00 |
|
Rob Rix
|
c830c818f4
|
📝 alignCofreeWith.
|
2016-07-11 14:33:51 -04:00 |
|
Rob Rix
|
2870cdf1dd
|
Add a function parameter contrasting two terms into e.g. a patch.
|
2016-07-11 14:33:05 -04:00 |
|
Rob Rix
|
b4c6d92301
|
Rename c to combined.
|
2016-07-11 14:29:57 -04:00 |
|
Rob Rix
|
d9c5411568
|
Rename contrast to compare.
|
2016-07-11 14:27:38 -04:00 |
|
Rob Rix
|
42f18e9b4f
|
Use the getters instead of destructuring.
|
2016-07-11 14:03:54 -04:00 |
|
Rob Rix
|
26757185d9
|
Use a more efficient pattern of recursion.
|
2016-07-11 14:03:05 -04:00 |
|
Rob Rix
|
40df2f9576
|
Add an annotation-combining function to alignCofreeWith .
|
2016-07-11 14:01:45 -04:00 |
|
Rob Rix
|
e23fa323db
|
Rename some type parameters for tidiness’ sake.
|
2016-07-11 14:00:36 -04:00 |
|
Rob Rix
|
921d0d9356
|
Clean up the language extensions for the Term module.
|
2016-07-11 13:59:27 -04:00 |
|
Rob Rix
|
d1219d04f2
|
🔥 a redundant import.
|
2016-07-11 13:58:28 -04:00 |
|
Rob Rix
|
a9577a2037
|
🔥 the hand-rolled alignSyntax' function.
|
2016-07-11 13:57:53 -04:00 |
|
Rob Rix
|
ee260949ea
|
Move GAlign into its own module.
|
2016-07-11 13:57:11 -04:00 |
|
Rob Rix
|
6c16a071bb
|
Stub in a generic align module.
|
2016-07-11 13:55:27 -04:00 |
|
Rob Rix
|
119c2350d4
|
Use the Data.Align instances for generic alignment of lists and ordered maps.
|
2016-07-11 13:54:04 -04:00 |
|
Rob Rix
|
f1f542cc2c
|
Add an instance for Syntax.
|
2016-07-11 12:21:40 -04:00 |
|
Rob Rix
|
796aa327f0
|
Tidy up the GAlign instance over sums.
|
2016-07-11 12:20:47 -04:00 |
|
Rob Rix
|
d9e5a633b8
|
🔥 galignDefault.
|
2016-07-11 12:20:09 -04:00 |
|
Rob Rix
|
2e15957f01
|
Just use the default galign definition.
|
2016-07-11 12:19:58 -04:00 |
|
Rob Rix
|
03871b56be
|
Give a default signature and definition of galign.
|
2016-07-11 12:19:28 -04:00 |
|
Rob Rix
|
b7a1609845
|
Add a GAlign instance for OrderedMap.
|
2016-07-11 12:18:32 -04:00 |
|
Rob Rix
|
ba71516f02
|
Derive a Generic1 instance for Syntax.
|
2016-07-11 12:18:20 -04:00 |
|
Rob Rix
|
cc24872a46
|
Derive a Generic1 instance for OrderedMap.
|
2016-07-11 12:18:11 -04:00 |
|
Rob Rix
|
05a2266aca
|
Implement alignment over compositions of functors.
|
2016-07-11 12:18:00 -04:00 |
|
Rob Rix
|
8b7bbc5195
|
Try defining GAlign over pairs.
|
2016-07-11 12:13:17 -04:00 |
|
Rob Rix
|
598a716f38
|
Turn off the warning about our use of error .
|
2016-07-11 12:09:09 -04:00 |
|
Rob Rix
|
34c59cc70e
|
Placate hlint.
|
2016-07-11 12:08:58 -04:00 |
|
Rob Rix
|
6b7f315987
|
Make generic alignment explicitly partial instead.
|
2016-07-11 11:57:46 -04:00 |
|
Rob Rix
|
fa88b23fdc
|
Contrast sums.
|
2016-07-11 11:54:16 -04:00 |
|