github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-23 06:41:45 +03:00
Code Issues Projects Releases Wiki Activity
7,932 Commits 19 Branches 16 Tags 46 MiB
46a3aee33e
Commit Graph

7932 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
joshvera
ae4142ad7c Add SourceSpan module 2016-07-27 17:15:09 -04:00
joshvera
b912b89b96 Return ErrorInfos from termToDiffInfo 2016-07-27 12:28:37 -04:00
Josh Vera
ff75f8b6fa Merge pull request #644 from github/sequenceable 
Mergeable
 2016-07-27 11:30:43 -04:00
Rob Rix
91e25e811e pqGramDecorator takes p and q parameters. 2016-07-27 00:22:31 -04:00
Rob Rix
755d9877b4 pqGrams takes the label function before p and q. 2016-07-27 00:22:22 -04:00
Rob Rix
bc1e8f8dee Stub in a decorator for p,q-grams. 2016-07-27 00:20:25 -04:00
Rob Rix
94a00db41a Eliminate a redundant binding. 2016-07-27 00:14:23 -04:00
Rob Rix
00cf4bc008 Traverse instead of separately sequencing and fmapping. 2016-07-27 00:12:56 -04:00
Rob Rix
08f7d71791 Rename termCost to termCostDecorator. 2016-07-27 00:08:42 -04:00
Rob Rix
afc0738c08 📝 TermDecorator. 2016-07-27 00:05:47 -04:00
Rob Rix
120c77ba29 Add & use a TermDecorator type synonym. 2016-07-27 00:04:40 -04:00
Rob Rix
af88fad102 Explicitly note that termCost is a decorator. 2016-07-27 00:03:00 -04:00
Rob Rix
893c1d9067 Eta reduce textDiff. 2016-07-27 00:01:54 -04:00
Rob Rix
1a4314bd38 Correct the doc example. 2016-07-26 23:35:12 -04:00
Rob Rix
7f4c97a9a0 Add an example to the docs for Mergeable. 2016-07-26 23:32:48 -04:00
joshvera
b5b3391786 add missing unwrap 2016-07-26 16:44:33 -04:00
joshvera
4bd4a93a0c ++js-test 2016-07-26 16:34:28 -04:00
joshvera
804a8457a5 ++js-test for errors.js 2016-07-26 16:30:12 -04:00
joshvera
b703c5aa6e Construct Error nodes as well 2016-07-26 16:29:59 -04:00
joshvera
5eece69994 Use any 2016-07-26 16:29:46 -04:00
Rob Rix
d9de3545d8 Merge branch 'master' into precompute-p,q-grams 
# Conflicts:
#	src/Category.hs
#	src/Diffing.hs
#	src/TreeSitter.hs
 2016-07-26 15:52:37 -04:00
Rob Rix
cfddd9ca75 Merge branch 'master' into sequenceable 2016-07-26 15:43:02 -04:00
Rob Rix
5f713de971 Merge pull request #651 from github/property-tests 
Property tests
 2016-07-26 15:42:48 -04:00
Rob Rix
0656543b38 📝 Mergeable. 2016-07-26 15:35:28 -04:00
Rob Rix
fd6b44e1a8 This should probably be non-empty. 2016-07-26 15:32:30 -04:00
Rob Rix
e5f9d1ed28 Test the Mergeable laws over lists. 2016-07-26 15:27:32 -04:00
Rob Rix
475ec475b6 Weaken the identity laws to be non-empty. 2016-07-26 15:27:16 -04:00
joshvera
b2006ef637 Make termConstructor total 2016-07-26 15:08:41 -04:00
Rob Rix
dd0b0322fc Add a property demonstrating the relationship between sequenceAlt over [Maybe a] & pure . catMaybes. 2016-07-26 14:56:02 -04:00
joshvera
20899ce9ac Add an Error case to Alignment 2016-07-26 14:51:15 -04:00
joshvera
be82432aa0 Add an error JSON case 2016-07-26 14:49:14 -04:00
Rob Rix
cfb7361b9c Scale the list generator. 2016-07-26 14:44:25 -04:00
joshvera
044aa782c1 partially apply isBranchNode 2016-07-26 14:36:56 -04:00
joshvera
e7000b7de3 s/expression_statement/expression_statements 2016-07-26 14:26:31 -04:00
joshvera
799643147b partially apply isBranchNode 2016-07-26 14:04:15 -04:00
joshvera
033200ac10 Merge branch 'property-tests' into error-syntax 2016-07-26 13:55:34 -04:00
joshvera
de925c533d use Foldable.any 2016-07-26 13:55:05 -04:00
joshvera
84edc4b8ce use bind 2016-07-26 13:45:50 -04:00
joshvera
4809ad0f2f Use bind 2016-07-26 13:44:12 -04:00
Rob Rix
2ee68cc4b2 Add an identity law over merge. 2016-07-26 13:30:09 -04:00
Rob Rix
794fffbf47 Clean up the generator. 2016-07-26 13:25:16 -04:00
Rob Rix
b987a40377 sequenceAlt’s relationship with merge is the inverse of merge’s relationship with sequenceAlt. 2016-07-26 13:23:14 -04:00
Rob Rix
7ff92d968e Run the merge laws over Syntax. 2016-07-26 13:17:33 -04:00
Rob Rix
e98844e937 Run the merge laws over Identity. 2016-07-26 13:17:13 -04:00
Rob Rix
7d4d14c99b Run the merge laws over Maybe. 2016-07-26 13:16:46 -04:00
Rob Rix
8f25cbd473 🔥 some redundant constraints. 2016-07-26 13:13:45 -04:00
Rob Rix
f64164d872 Generalize a constraint away. 2016-07-26 13:12:32 -04:00
Rob Rix
a967e800bb Move the alternative instances helper down. 2016-07-26 13:12:09 -04:00
Rob Rix
be973b5bae Generalize out a helper function to validate laws against alternative instances. 2016-07-26 13:11:52 -04:00
Rob Rix
5430f45850 Verify the merge laws over []/Maybe. 2016-07-26 13:06:18 -04:00