Patrick Thomson
b405ec04e5
Remove repeated comments.
2020-07-01 01:22:08 -04:00
Patrick Thomson
b034378ac2
rename the flags and condense around compilation_mode
2020-07-01 00:35:09 -04:00
Patrick Thomson
3e7f746d9d
Remove template comments.
2020-06-27 16:24:41 -04:00
Patrick Thomson
dbce051436
simplifying target layouts.
2020-06-27 12:47:04 -04:00
Patrick Thomson
6c3a08c735
save a ton of code
2020-06-25 08:56:09 -04:00
Patrick Thomson
deae1e32e0
remove deprecated src_strip_prefix thing
2020-06-23 11:29:02 -04:00
Patrick Thomson
801ef3bfc3
use the same GHC warnings everywhere
2020-06-23 09:45:10 -04:00
Patrick Thomson
ed07e1c319
getting closer
2020-06-09 14:56:19 -04:00
Patrick Thomson
b208bb91ad
Merge remote-tracking branch 'origin/master' into bazel-experiments
2020-06-09 14:35:24 -04:00
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
ca8475057d
formatting
2020-05-27 14:18:21 -04:00
Patrick Thomson
215fe31bf1
Use black
for formatting Bazel files.
2020-05-21 19:24:56 -04:00
Patrick Thomson
98ce019780
as does semantic-tags
2020-05-19 13:03:34 -04: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