Timothy Clem
cfefa5872c
Some tag level benchmarks
2020-07-01 16:40:08 -07:00
Timothy Clem
67bcc3ca48
Use state to cache line and counting algorithms
2020-07-01 16:39:56 -07:00
Timothy Clem
cce16edf93
Include byteRange in the output
2020-07-01 09:03:41 -07:00
Timothy Clem
adb3b89d55
Re-write countUtf16CodeUnits to work on Source directly
2020-07-01 09:02:45 -07:00
Timothy Clem
f08860a17a
Fix up tests
2020-06-29 16:16:27 -07:00
Timothy Clem
8d3f7368e6
Use newtypes wrappers instead of type synonyms
2020-06-29 14:11:04 -07:00
Timothy Clem
6c157742c1
Better formatting, comment about the bit mask
2020-06-29 13:53:22 -07:00
Timothy Clem
9cd0b30ada
Remove old yield
2020-06-25 15:45:54 -07:00
Timothy Clem
7df35cba89
Attempt to slice out a more relevant line for source with long lines
2020-06-25 15:10:56 -07:00
Timothy Clem
e591457a4c
Rework tagging to compute LSP offsets
...
Also updates how we generate the line of source code for display
2020-06-25 14:38:33 -07:00
Timothy Clem
13d995eb17
Cleanup and more tests
2020-06-25 08:49:54 -07:00
Timothy Clem
d3a825f7e1
Must slice the bytestring, then count Text Chars
2020-06-24 18:30:12 -07:00
Timothy Clem
153afb72fb
WIP: counting utf16 code units
2020-06-24 18:15:33 -07: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
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