github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 00:44:57 +03:00
Code Issues Projects Releases Wiki Activity
31,805 Commits 19 Branches 16 Tags 46 MiB
87db10b9b3
Commit Graph

178 Commits

Author SHA1 Message Date
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
Rob Rix
22adcee7d3
Pass a parameter for mapping over annotation positions. 2020-01-13 13:21:28 -05:00
Rob Rix
e8420faa01
Define a GTraversable1 instance for K1. 2020-01-13 13:13:14 -05:00
Rob Rix
c574d56e23
Define a GTraversable1 instance for :+:. 2020-01-13 13:07:43 -05:00
Rob Rix
eecace9024
Define a GTraversable1 instance for :*:. 2020-01-13 13:07:05 -05:00
Rob Rix
35f7094dab
Define a GTraversable1 instance for M1. 2020-01-13 13:05:55 -05:00
Rob Rix
e0f6462e78
Add a gtraverse1 method to GTraversable1. 2020-01-13 13:04:25 -05:00
Rob Rix
c6d658130d
Stub in a class for traversal of higher-order subterm positions. 2020-01-13 12:59:59 -05:00
Timothy Clem
b2f10d0d6a Merge remote-tracking branch 'origin/master' into test-precise-parsing 2019-12-18 08:35:57 -08:00
Timothy Clem
67df3762de Let's wait on this 2019-12-17 16:05:35 -08:00
Timothy Clem
c5592bce54 Add a few more terms for tagging 2019-12-17 14:12:24 -08:00
Patrick Thomson
6bebd84deb Officially require GHC 8.8. 2019-12-13 15:48:49 -05:00
Patrick Thomson
dc69714053 Merge remote-tracking branch 'origin/master' into glorious-ghc-upgrade-8.8 2019-12-13 11:23:36 -05:00
Patrick Thomson
68ab3cbb97 semantic:exe now compiles 2019-12-10 13:32:56 -05:00
Patrick Thomson
a11462dc13 PureC is gone. 2019-11-08 10:27:50 -05:00
Patrick Thomson
35ea116f00 Bump various FE dependencies from 0.5 to 1.0. 2019-11-07 15:48:57 -05:00
Rob Rix
5372cfad51
Merge branch 'master' into fused-effects-one-dot-zero 2019-10-25 16:05:40 -04:00
Rob Rix
b22d86b55b
Tags hold a Loc. 2019-10-17 12:28:32 -04:00
Rob Rix
36d8d4682b
Re-export :+:. 2019-10-08 16:02:18 -04:00
Rob Rix
34bf5ad033
📝 ShowSum'. 2019-10-08 15:43:24 -04:00
Rob Rix
a2312d1185
📝 ShowSum. 2019-10-08 15:42:21 -04:00
Rob Rix
78cc4835fc
📝 the error case. 2019-10-08 15:41:20 -04:00
Rob Rix
5d4317031a
📝 the right-recursive instance. 2019-10-08 15:41:16 -04:00
Rob Rix
5242e394df
📝 the left-recursive instance. 2019-10-08 15:41:10 -04:00
Rob Rix
579e5792e8
📝 the reflexive instance. 2019-10-08 15:41:02 -04:00
Rob Rix
ea0a4c99b8
📝 Element'. 2019-10-08 15:40:54 -04:00
Rob Rix
acbb1e7cd5
📝 <>. 2019-10-08 15:40:48 -04:00
Rob Rix
607f8263a5
📝 Find'. 2019-10-08 15:40:41 -04:00
Rob Rix
83bead5840
📝 Find. 2019-10-08 15:40:34 -04:00
Rob Rix
abb6eff40f
📝 Side. 2019-10-08 15:40:28 -04:00
Rob Rix
31ba6be9d8
Note the custom error message. 2019-10-08 15:40:23 -04:00
Rob Rix
f27729ab14
Move the 'None instance up. 2019-10-08 15:39:08 -04:00
Rob Rix
3334ec81d3
🔥 OVERLAPPABLE. 2019-10-08 15:37:52 -04:00
Rob Rix
711ec1957d
📝 Prj. 2019-10-08 15:35:07 -04:00
Rob Rix
3051c8cace
Spacing. 2019-10-08 15:34:47 -04:00
Rob Rix
da227888ce
Rename Elem to Find. 2019-10-08 15:34:33 -04:00
Rob Rix
da890fa747
Redefine Element using a type family computing which side to recur on. 
This avoids having to reassociate the tree, which is considerably more expensive for balanced trees.
 2019-10-08 15:30:37 -04:00
Rob Rix
75ed50c574
List the imports from GHC.Generics. 2019-10-08 15:20:58 -04:00
Rob Rix
a307d0757a
Define a pattern synonym for matching out of sums. 2019-10-08 15:10:33 -04:00
Rob Rix
4e194a5943
📝 prj. 2019-10-08 15:08:37 -04:00
Rob Rix
ad1de17e64
📝 Element. 2019-10-08 15:08:17 -04:00
Rob Rix
5e3afdb2da
Revert "🔥 AST.Element for now." 
This reverts commit ad43b0c1a2.
 2019-10-08 14:45:21 -04:00
Rob Rix
3c3ff4aefc
Fix Tags.Tagging.Precise. 2019-10-04 18:44:17 -04:00
Rob Rix
51abeb58ba
We don’t actually have any doctests in these packages. 2019-10-03 01:18:59 -04:00
Rob Rix
d07cc5508a
Move Language.Python & Language.Python.Tags into semantic-python. 2019-10-03 01:13:41 -04:00
Rob Rix
118b010937
🔥 a redundant dependency. 2019-10-03 01:07:46 -04:00
Rob Rix
51e7a88f16
🔥 commented-out lines. 2019-10-03 01:07:36 -04:00
Rob Rix
6ca230a173
Simplify the gtags instance for FunctionDefinition using gtags. 2019-10-03 00:47:43 -04:00