github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 17:05:33 +03:00
Code Issues Projects Releases Wiki Activity
32,946 Commits 19 Branches 16 Tags 46 MiB
7a5fc45b32
Commit Graph

32946 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Patrick Thomson
7a5fc45b32 fix the tests 2020-02-13 18:29:35 -05:00
Patrick Thomson
54911616a6 These explicit CurrentScope constructors help readability. 2020-02-13 18:02:46 -05:00
Patrick Thomson
c3ce8a7624 Merge remote-tracking branch 'origin/master' into a-newtype-of-science 2020-02-13 17:58:04 -05:00
Josh Vera
3b67dd3b33
Merge branch 'inject-project' into a-newtype-of-science 2020-02-13 12:45:52 -05:00
Josh Vera
ff6e145fbb
Merge pull request #478 from github/inject-project 
Propagate module/path information into generated scope graphs.
 2020-02-13 12:44:55 -05:00
Patrick Thomson
7043a5b560
Merge pull request #437 from github/precise-parsing-by-default 
Precise parsing by default
 2020-02-13 12:05:35 -05:00
Patrick Thomson
f75fff62ef Lost this import. 2020-02-13 00:06:18 -05:00
Patrick Thomson
f278647d37 disable this test 2020-02-12 23:50:16 -05:00
Patrick Thomson
764e172b98 Merge remote-tracking branch 'origin/master' into precise-parsing-by-default 2020-02-12 19:17:09 -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
Josh Vera
6a00388913
Merge pull request #477 from github/import-cases 
Add ImportStatement
 2020-02-11 17:49:53 -05:00
joshvera
4de4e68b84 Replace undefined with impossibleTerm 
doesn't seem like a Nothing case is possible as this is a remnant of tree-sitter's handling of sum types
 2020-02-11 17:38:35 -05:00
joshvera
02db8cfa8e Define reference to initial scope outside of for_ loop 2020-02-11 17:17:22 -05:00
joshvera
5339ee2e03 cleanup 2020-02-11 16:31:49 -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
Patrick Thomson
f3d2f6932a
Merge pull request #476 from github/i-am-projecting 
Move Data.Project to semantic-analysis.
 2020-02-11 13:41:16 -05:00
Patrick Thomson
254b160e48 Wrong language module. 2020-02-11 13:24:59 -05:00
Patrick Thomson
4523b33d98 Export readProjectFromPaths. 2020-02-11 13:21:31 -05:00
Patrick Thomson
7f0f68c94d Fix up some imports. 2020-02-11 13:20:51 -05:00
Patrick Thomson
d2bd643745 Start moving Blob around. 2020-02-11 13:18:10 -05:00
joshvera
9913031f97 Fix positions and kinds in tests 2020-02-11 13:06:29 -05:00
Patrick Thomson
6162dbd191 Revert "Something is terribly wrong with the cache." 
This reverts commit 3ecb6a99c7.
 2020-02-11 13:02:36 -05:00
Patrick Thomson
3ecb6a99c7 Something is terribly wrong with the cache. 2020-02-11 12:59:57 -05:00
joshvera
284912ad21 Remove extra reference call in tests 2020-02-11 12:56:47 -05:00
Patrick Thomson
27829d1131 Emacs misfire. 2020-02-11 12:53:56 -05:00
Patrick Thomson
f722cb0897 Move Data.Project to semantic-analysis. 
I need this for semantic-scope-graph so that each graph can have
correct `ModuleInfo` fields. Straightforward.
 2020-02-11 12:52:44 -05:00
joshvera
13ebd4650b remove imports 2020-02-11 12:50:25 -05:00
joshvera
c588a8aab8 Revert runScopeGraph changes 2020-02-11 12:49:37 -05:00
Josh Vera
3ee0ffd41c
Merge pull request #475 from github/no-more-sketches 
Remove the ScopeGraph effect and define it with a constraint kind.
 2020-02-11 12:48:18 -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
a572f05494 Move these to runScopeGraph 2020-02-11 11:55:32 -05:00
joshvera
41a10ee4c7 Add qualified imports file 2020-02-07 22:23:50 -05:00
joshvera
164333dbb7 import Analysis.Name 2020-02-07 22:23:36 -05:00
joshvera
08cad385f3 Add State effect to scopeGraphModule 2020-02-07 22:23:22 -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
639fac1a74 rename to newEdge 2020-02-07 22:21:23 -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
5dc46a5f42 add expectedQualifiedImport 2020-02-07 21:36:15 -05:00
joshvera
b0e272e91a stub in spans 2020-02-07 21:36:07 -05:00
joshvera
392742961f docs 2020-02-07 18:30:28 -05:00