github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-03 13:56:04 +03:00
Code Issues Projects Releases Wiki Activity
33,744 Commits 19 Branches 16 Tags 46 MiB
381e5309e9
Commit Graph

225 Commits

Author SHA1 Message Date
Timothy Clem
2e44d43452 Generate Def/Ref at moment of tagging 2020-06-04 10:39:15 -07:00
Timothy Clem
1de1ba7fe3 Move codeql over to proto driven datatypes 2020-06-04 09:35:25 -07:00
Patrick Thomson
f7f5541414 s/Implements/Implementation in this comment. 2020-04-23 10:55:19 -04:00
Patrick Thomson
eae11d016c Tag Java interfaces and interface implementations. 
This patch adds tagging support to Java `InterfaceDeclaration` and
`InterfaceTypeList` nodes. To do so, we add two new constructors to
`Tags.Tag.Kind`: `Interface`, emitted by `InterfaceDeclaration`, and
`Implementation`, emitted by `implements` clauses in Java source. Some
modification of downstream services will be indicated.
 2020-04-21 17:03:19 -04:00
Rick Winfrey
765dae470f Add Type data constructor to Kind 2020-04-02 15:37:46 -07:00
Rick Winfrey
9a7ed9d294 Bump to semantic-source 0.1.0 
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
 2020-03-23 13:40:50 -07:00
Patrick Thomson
467d6f0b03 Fix Haddock generation. 
I found myself wanting a Haddock docset for PHP tags work.
Unfortunately, haddocset is behind a GHC version, so it does not
function correctly. At least HTML works, when you pull these
few Haddock-tag changes in.
 2020-02-19 13:24:51 -05:00
Rob Rix
d40f3832e8
Move AST.Element from semantic-tags into semantic-ast. 2020-02-04 13:36:40 -05:00
Rob Rix
7a2cc7fb7a
Move Traversable1 into semantic-ast. 2020-02-04 13:35:35 -05:00
Patrick Thomson
9ecaeedcc3 Depend on newer semantic-source. 2020-01-28 12:42:42 -05:00
Timothy Clem
c0d8675d09 Use semantic-source 0.0.1 2020-01-16 12:57:24 -08:00
Timothy Clem
6bcc231355 firstLine takes a range 2020-01-16 12:14:40 -08:00
Timothy Clem
0ffa50bdf4 Can't take 180 bytes and then convert to text 2020-01-16 08:44:03 -08:00
Timothy Clem
2bf8c5b965 Merge branch 'precise-tag-benchmarks' into precise-alacarte-matching 2020-01-14 13:52:35 -08:00
Rob Rix
235703c217
Note why the 1 suffix. 2020-01-14 13:42:40 -05:00
Timothy Clem
03e1498146 Text.stripEnd on firstLine for precise tags 2020-01-13 14:43:59 -08:00
Rob Rix
9e966e0ff8
Clarify the comment. 2020-01-13 14:45:46 -05:00
Rob Rix
adf22f079f
📝 using Generics with -XDerivingVia. 2020-01-13 14:45:08 -05:00
Rob Rix
4213fdd7bd
🔥 GeneralizedNewtypeDeriving. 2020-01-13 14:43:09 -05:00
Rob Rix
8f51d1803f
Define the Foldable, Functor, & Traversable instances for Generics using Traversable1. 2020-01-13 14:42:44 -05:00
Rob Rix
c3a6f7b1b8
Define a traverseDefault1 function usable as a default definition of traverse. 2020-01-13 14:42:16 -05:00
Rob Rix
48420dfcd6
Define a for1_ helper. 2020-01-13 14:37:18 -05:00
Rob Rix
19ea5b1bba
Define a traverse1_ helper. 2020-01-13 14:33:30 -05:00
Rob Rix
cf9e9022cc
Define an fmapDefault1 function usable as a default definition of fmap. 2020-01-13 14:29:35 -05:00
Rob Rix
d979ce7d19
Define a foldMapDefault1 function usable as a default definition of foldMap. 2020-01-13 14:27:37 -05:00
Rob Rix
81aab02035
🔥 GFoldable1. 2020-01-13 14:24:42 -05:00
Rob Rix
5a57f1b7b4
Define a for1 function by analogy with for. 2020-01-13 14:11:56 -05:00
Rob Rix
e7dff81e1d
Demonstrate how to provide the constraint type. 2020-01-13 14:10:04 -05:00
Rob Rix
cd7bfa1217
📝 the constraint a bit further. 2020-01-13 13:57:48 -05:00
Rob Rix
e4aae306ba
📝 the constraint. 2020-01-13 13:56:42 -05:00
Rob Rix
a6bb06fb28
📝 non-recursiveness. 2020-01-13 13:55:25 -05:00
Rob Rix
7521a81021
A note on expressiveness. 2020-01-13 13:50:57 -05:00
Rob Rix
666c09b7e2
📝 Traversable1. 2020-01-13 13:49:11 -05:00
Rob Rix
de95f25edf
Add a FIXME about deriving Traversable1 instances for our syntax types. 2020-01-13 13:47:14 -05:00
Rob Rix
73d69bdd15
Add some FIXMEs about Traversable1 & GTraversable1. 2020-01-13 13:46:36 -05:00
Rob Rix
37ead274fb
📝 Generics. 2020-01-13 13:45:24 -05:00
Rob Rix
281d62ba3d
Define a Traversable1 instance for Generics t using the GTraversable1 instance for t. 2020-01-13 13:42:24 -05:00
Rob Rix
0a869110b6
Derive some instances for Generics. 2020-01-13 13:39:24 -05:00
Rob Rix
a23ea55bb8
Define a Generics newtype. 2020-01-13 13:39:06 -05:00
Rob Rix
a8f666ad5b
Define a foldMap1 convenience using traverse1. 2020-01-13 13:35:18 -05:00
Rob Rix
0c6e09849b
📝 traverse1. 2020-01-13 13:31:36 -05:00
Rob Rix
222c5642be
Give a default signature for traverse1. 2020-01-13 13:30:26 -05:00
Rob Rix
32dd435843
Reformat. 2020-01-13 13:29:21 -05:00
Rob Rix
45ec40f1c3
Reformat. 2020-01-13 13:28:44 -05:00
Rob Rix
03c017e590
Define a Traversable1 class. 2020-01-13 13:28:29 -05:00
Rob Rix
34114ef52d
📝 gtraverse1. 2020-01-13 13:27:03 -05:00
Rob Rix
04c3712f36
Define a GTraversable1 instance for Rec1. 2020-01-13 13:26:11 -05:00
Rob Rix
87db10b9b3
Define a GTraversable1 instance for U1. 2020-01-13 13:25:21 -05:00
Rob Rix
925158e717
Define a GTraversable1 instance for :.:. 2020-01-13 13:24:11 -05:00
Rob Rix
52f0c8b9bd
Define a GTraversable1 instance for Par1. 2020-01-13 13:23:21 -05:00