github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-19 12:51:52 +03:00
Code Issues Projects Releases Wiki Activity
7,181 Commits 19 Branches 16 Tags 46 MiB
b801683254
Commit Graph

7181 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Rob Rix
57cfaa3e36 GAlign implies Functor. 2016-07-11 11:54:11 -04:00