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
33,106 Commits 19 Branches 16 Tags 46 MiB
37b391b3a4
Commit Graph

114 Commits

Author SHA1 Message Date
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
joshvera
5a1b5e6f54 Remove extra import 2020-01-29 13:21:35 -05:00
joshvera
97e37762eb Merge remote-tracking branch 'origin/master' into function-scopes 2020-01-29 13:21:26 -05:00
joshvera
c707d3e11f Merge remote-tracking branch 'origin/master' into function-scopes 2020-01-29 12:29:31 -05:00
Josh Vera
d9e4f42006
Merge branch 'master' into function-scopes 2020-01-28 16:41:50 -05:00
joshvera
46d3e91a73 fix tests and start initial scope from lowerBound/Fresh 1 2020-01-28 16:28:24 -05:00