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

7869 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
c0d702c22d Add a diffComparableTerms function. 2016-08-04 10:46:48 -04:00
Rob Rix
05b9aee4ea Guard recur on the comparability of its operands. 2016-08-04 10:34:14 -04:00
Rob Rix
d12dd5d567 Extract the recur function into the where clause. 2016-08-04 10:33:37 -04:00
Rob Rix
5acf6ff0f2 Check for comparability in diffTerms. 2016-08-04 10:32:55 -04:00
Rob Rix
3808b89fe4 Use replacing in diffTerms. 2016-08-04 10:32:05 -04:00
Rob Rix
18065f5048 Merge branch 'master' into algorithm-dsl 2016-08-04 10:25:13 -04:00
Josh Vera
e742a8c86d Merge pull request #676 from github/fix-some-other-warnings 
Fix some other warnings
 2016-08-04 10:24:02 -04:00
Rob Rix
f379deca33 Use the Foldable instance to avoid a mappend. 2016-08-04 10:19:46 -04:00
Rob Rix
5280b62a20 Commented terms are named from their children. 2016-08-04 10:19:02 -04:00
joshvera
e39ab20eee Use termNameFromSource in toTermName 2016-08-04 10:13:56 -04:00
Rob Rix
0bc1993287 Merge branch 'master' into algorithm-dsl 2016-08-04 10:07:29 -04:00
Rob Rix
2286b2b37b Define toTermName over Error nodes. 2016-08-04 10:04:33 -04:00
Rob Rix
6c39b170e8 Define toTermName over Commented nodes. 2016-08-04 10:04:33 -04:00
Rob Rix
70c6b42e69 Add the missing pattern match over methods. 2016-08-04 10:04:33 -04:00
Rob Rix
ff954d08c7 🔥 the unused CoArbitrary instance over Category. 
This also allows us to 🔥 the orphan instance over Text.
 2016-08-04 10:04:33 -04:00
Rick Winfrey
b91d91ef0f Merge pull request #675 from github/fix-prologue-warnings 
[WIP] Fix some warnings
 2016-08-04 09:03:06 -05:00
Rob Rix
559011de3a 🔥 a redundant import. 2016-08-04 09:46:21 -04:00
Rob Rix
b41ae038b9 Traverse the recursive structure instead of embedding it. 2016-08-04 09:26:13 -04:00
Rob Rix
1ee3dcff66 Use the Patch DSL to construct replacements. 2016-08-04 09:25:33 -04:00
Rob Rix
663bb97a3d Define a DSL for constructing Patches. 2016-08-04 09:25:18 -04:00
Rob Rix
53dfd9a3bd Extract a function to construct replacements. 2016-08-04 09:05:17 -04:00
Rob Rix
190fa948e2 This is already getting exported via Protolude. 2016-08-04 08:52:25 -04:00
Rob Rix
b3d09f538e Define run in terms of runAlgorithm. 2016-08-03 20:14:41 -04:00
Rob Rix
f9969601e8 runAlgorithm receives a constructing function. 2016-08-03 20:14:33 -04:00
Rob Rix
78701ddd90 Defines a constructor of algorithms over terms. 2016-08-03 20:08:20 -04:00
Rob Rix
10e38a8895 Algorithm is defined in the Church encoded free monad. 2016-08-03 19:50:16 -04:00
Rob Rix
840720d86e Define a runAlgorithm function. 2016-08-03 19:48:51 -04:00
Rob Rix
9f6fb541a7 Define run by iteration. 2016-08-03 18:58:37 -04:00
Rob Rix
fb8d95203f Replace the type parameters to AlgorithmF. 2016-08-03 18:43:36 -04:00
Rob Rix
6694b80082 Add a smart constructor for RWS diffs. 2016-08-03 18:40:17 -04:00
Rob Rix
14b38dff8b Use the smart constructor to diff recursively. 2016-08-03 18:39:33 -04:00
Rob Rix
f8ad7ecea1 Use the smart constructor to diff indexed terms. 2016-08-03 18:38:49 -04:00
Rob Rix
1835308f7e Add a smart constructor for Indexed algorithms. 2016-08-03 18:38:35 -04:00
Rob Rix
d7ab1d017e 🔥 a redundant comment. 2016-08-03 18:17:23 -04:00
Rob Rix
f6c8cd81da Add a smart constructor for Recursive operations. 2016-08-03 18:15:18 -04:00
Rob Rix
9a14248c08 🔥 Operation. 2016-08-03 18:12:58 -04:00
Rob Rix
8008be776e Define Algorithm over AlgorithmF. 2016-08-03 18:12:31 -04:00
Josh Vera
d7a789fdf3 Merge pull request #670 from github/weekly-notes 
Add 08/02/2016 notes
 2016-08-02 12:03:26 -04:00
joshvera
643337b9fa Add 08/02/2016 notes 2016-08-02 11:58:09 -04:00
Rob Rix
b966c24bad Merge pull request #668 from github/weekly-2016-07-26 
July 26th, 2016 weekly.
 2016-08-02 11:13:35 -04:00
Rob Rix
eb0119c528 July 26th, 2016 weekly. 2016-08-02 10:53:29 -04:00
Rick Winfrey
122e9dd806 Merge pull request #656 from github/throw-syntax 
Add support for Throw syntax
 2016-08-01 14:57:31 -05:00
joshvera
36c4001682 Merge remote-tracking branch 'origin/master' into throw-syntax 2016-08-01 13:55:44 -04:00
Rick Winfrey
37f0492c90 Merge pull request #661 from github/constructors 
Add Constructors to Syntax
 2016-08-01 12:52:09 -05:00
joshvera
ef4389a5c5 Merge remote-tracking branch 'origin/master' into constructors 2016-08-01 13:49:35 -04:00
Rick Winfrey
ca2bdbd49a Merge pull request #657 from github/try-syntax 
Add support for Try syntax
 2016-08-01 12:41:11 -05:00
joshvera
9bd34fe3ff Merge remote-tracking branch 'origin/master' into try-syntax 2016-08-01 13:38:50 -04:00
Rick Winfrey
b53ed95bf0 Merge pull request #659 from github/array-syntax 
Add Array to Syntax
 2016-08-01 12:35:51 -05:00
joshvera
862b554e52 Missed a merge conflict 2016-08-01 13:32:59 -04:00
joshvera
b458d28c57 Merge remote-tracking branch 'origin/master' into array-syntax 2016-08-01 13:30:37 -04:00