github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 00:33:59 +03:00
Code Issues Projects Releases Wiki Activity
33,736 Commits 19 Branches 16 Tags 46 MiB
27d5650489
Commit Graph

119 Commits

Author SHA1 Message Date
Rick Winfrey
7b588d89c5
Merge pull request #518 from github/bump-semantic-source 
Bump semantic-source
 2020-03-27 11:40:44 -07:00
Patrick Thomson
10f9090ca8 Fix Lower instance for Info. 2020-03-24 16:39:21 -04: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
zhujinxuan
e723cd535f Fix graphtest compiling 2020-03-22 18:20:19 -04:00
zhujinxuan
769b33130b Use Path.AbsRel For Blob, ModuleInfo and Project 
- Use Path.AbsRelFile for Blob
- Use Path.AbsRelDir for Project
- Use Path.AbsRelFile for ModuleInfo and ModulePath
- semantic.cabal test-suite test is passed
 2020-03-22 13:39:10 -04:00
Patrick Thomson
dd9d4f435f Forgot to use this newtype in the carrier. 2020-02-14 12:01:30 -05:00
Josh Vera
3b67dd3b33
Merge branch 'inject-project' into a-newtype-of-science 2020-02-13 12:45:52 -05:00
Patrick Thomson
257d51fd7a Accidentally elided an effect. 2020-02-12 12:04:40 -05:00
Patrick Thomson
babde11f98 Use CurrentScope to indicate the significance of Names. 
This newtype is useful, and sports an identical definition within
`semantic`. We should use it everywhere.
 2020-02-12 11:29:24 -05:00
Patrick Thomson
047b602882 Propagate module/path information into generated scope graphs. 
By adding a `Reader ModuleInfo` constraint to the scope graph DSL, we
can ensure that newly-introduced declarations and references get this
helpful information (rather than sticking a `lowerBound` in there).
 2020-02-12 11:19:02 -05:00
joshvera
0372b888bd Use props in reference 2020-02-11 16:19:36 -05:00
joshvera
5ef758aa85 Reuse path in newReference 2020-02-11 16:16:20 -05:00
joshvera
a1e00b3504 Fix ImportStatement 2020-02-11 15:50:59 -05:00
joshvera
284912ad21 Remove extra reference call in tests 2020-02-11 12:56:47 -05:00
Patrick Thomson
7715fd46a9 Remove the ScopeGraph effect and define it with a constraint kind. 2020-02-11 12:30:19 -05:00
joshvera
9be4d16eef Add State constraint to ToScopeGraph 2020-02-07 22:22:46 -05:00
joshvera
4a2275a68b Rename to newEdge 2020-02-07 22:22:31 -05:00
joshvera
bce4e81741 Add Reader effect to ScopeGraph type 2020-02-07 22:22:24 -05:00
joshvera
095ea82a91 Imports 2020-02-07 22:22:13 -05:00
joshvera
9a9d8a9d3b Remove old currentScope 2020-02-07 22:21:52 -05:00
joshvera
c148941e13 Add newReference 2020-02-07 22:21:39 -05:00
joshvera
6ea34352e4 Add HasSpan to Reference 2020-02-07 22:20:02 -05:00
joshvera
59e12e2ccc add newReference 2020-02-07 22:19:51 -05:00
joshvera
392742961f docs 2020-02-07 18:30:28 -05:00
joshvera
c3e8a15b81 Update Reference 
should probably remove ReferenceInfo?
 2020-02-07 18:10:33 -05:00
joshvera
0ac1ce55e1 Add newReference 2020-02-07 18:04:59 -05:00
Patrick Thomson
06e8c6ecaa Break up Data.ScopeGraph and reorg semantic-scope-graph. 2020-02-07 15:08:33 -05:00
joshvera
58198d5647 remove L suffix from EdgeLabel.Void 2020-02-06 17:39:37 -05:00
joshvera
ff3e6973f9 also redundant 2020-02-06 15:33:18 -05:00
joshvera
a8871b69eb stylish-haskell 2020-02-06 14:53:41 -05:00
joshvera
ff1d8a73ab Merge remote-tracking branch 'origin/master' into import-holes 2020-02-06 14:53:32 -05:00
joshvera
1036b3a4d7 addImportHole adds an additional VoidL edge 2020-02-05 21:29:37 -05:00
joshvera
0bc0a638b3 document addImportEdge 2020-02-05 21:11:15 -05:00
joshvera
a47186f38d add a base case for importEdge 2020-02-05 21:06:58 -05:00
joshvera
66ee2cf54d use addImportHole internally 2020-02-05 21:04:03 -05:00
joshvera
596ac8da54 Label the edge to the import instead of the last hole 2020-02-05 20:44:04 -05:00
joshvera
b8eaf61863 Rename effect to ScopeGraph 2020-02-05 19:49:50 -05:00
joshvera
5044f41e41 lookupReference docs 2020-02-05 19:49:39 -05:00
joshvera
c3c707cd6a Lookup scopes while adding import edges 
otherwise create intermediate scopes
 2020-02-05 19:49:32 -05:00
joshvera
d023a5e007 Set the last import hole label to Void 2020-02-05 19:48:19 -05:00
joshvera
f927f0b8c0 Rename Sketch effect to a ScopeGraph effect 2020-02-05 19:46:58 -05:00
joshvera
2413590790 add addImportEdge and addImportHole 2020-02-05 18:35:44 -05:00
joshvera
b95a575ae2 Change insertEdge to take 1 edge 2020-02-05 18:03:53 -05:00
Patrick Thomson
1672c57768 Move over Function and Reference properties. 2020-02-03 11:19:54 -05:00
Patrick Thomson
4bfbd5407e Move DeclProperties to ScopeGraph.Properties.Declaration. 2020-02-03 11:11:21 -05:00
Patrick Thomson
f68cadc388 Merge remote-tracking branch 'origin/master' into the-locative-case 2020-01-31 15:13:50 -05:00
Josh Vera
64cc956ed8
Remove declareFunction stub 2020-01-31 13:44:42 -05:00
Patrick Thomson
45c81efd2c Preserve Python AST span information in scope graph. 
- [ ] Depends on #451.
 2020-01-31 13:11:59 -05:00
joshvera
e6460394e8 Create Import edge paths in Import statements 2020-01-30 17:06:34 -05:00
Josh Vera
5b7384c25a
Update semantic-scope-graph/src/Control/Effect/Sketch.hs 
Co-Authored-By: Patrick Thomson <patrickt@github.com>
 2020-01-29 13:31:49 -05:00