1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00
Commit Graph

20299 Commits

Author SHA1 Message Date
Rob Rix
c732d30229 📝 Package. 2018-04-02 17:23:06 -04:00
Rob Rix
a96002bc25 Merge branch 'master' into package-abstraction 2018-04-02 17:13:12 -04:00
Rob Rix
851de212cb Merge pull request #1696 from github/symbol-resolution
Symbol resolution
2018-04-02 17:12:39 -04:00
Rob Rix
eec36b64ff Add the package to the graph. 2018-04-02 17:11:36 -04:00
Rob Rix
3b8ed8b1e6 Project package info out of origins. 2018-04-02 17:05:42 -04:00
Rob Rix
d1d70bf31f Merge branch 'master' into symbol-resolution 2018-04-02 17:03:34 -04:00
Rob Rix
a16f1f7a1d Draw edges between modules and symbol references. 2018-04-02 17:02:51 -04:00
Rob Rix
c90791c188 Use withSomeOrigin to unpack the origin. 2018-04-02 17:02:34 -04:00
Rob Rix
dfecb756fe Define a helper to project values out of SomeOrigins. 2018-04-02 16:55:06 -04:00
Rob Rix
e5de98d88c Evaluate to import graphs in a package. 2018-04-02 16:48:09 -04:00
Rob Rix
7a6169d321 Revert "Evaluate to import graphs under monovariant/typechecking assumptions."
This reverts commit 964d99d4064d53e58625839750d2e672b6b44635.
2018-04-02 16:46:39 -04:00
Rob Rix
b10872a79f 🔥 a redundant comment. 2018-04-02 16:36:28 -04:00
Timothy Clem
a6eae9dc88 Fix up go imports for the new world 2018-04-02 13:32:41 -07:00
Rob Rix
a269856794 Define runAnalysis in terms of Control.Effect.run.
Co-Authored-By: Josh Vera <vera@github.com>
2018-04-02 16:02:51 -04:00
Timothy Clem
55fa6480d6 Fix up PHP eval specs 2018-04-02 11:37:01 -07:00
Timothy Clem
eb883770df Bring Ruby up to speed with latest import strategy 2018-04-02 11:31:26 -07:00
Timothy Clem
94448277e7 Few more python import comments 2018-04-02 11:21:06 -07:00
Timothy Clem
6c1cd03621 Align 2018-04-02 11:19:15 -07:00
Timothy Clem
e56c338c7e Clean up and document python imports 2018-04-02 11:19:09 -07:00
Timothy Clem
69e5220fff Typo 2018-04-02 11:18:58 -07:00
Timothy Clem
e54e61cea0 Python imports in the new world work again 2018-04-02 11:07:09 -07:00
Rob Rix
cc2a151e8a Simplify the RunEffects instance to eliminate the final Eff.
Co-Authored-By: Josh Vera <vera@github.com>
2018-04-02 13:48:32 -04:00
Timothy Clem
a3d35ac9a0 WIP: Attempt to back out Identifiers as qualified names 2018-04-02 10:40:52 -07:00
Rick Winfrey
d732d8caf5 Merge pull request #1700 from github/bump-haskell-tree-sitter-0.11
Bump haskell tree sitter 0.11
2018-04-02 10:28:57 -07:00
Timothy Clem
eeca18bf7a ++haskell-tree-sitter for ts-python relative imports 2018-04-02 08:24:26 -07:00
Rob Rix
af00b4fea6 Evaluate to import graphs under monovariant/typechecking assumptions.
Co-Authored-By: Josh Vera <vera@github.com>
2018-04-02 11:23:06 -04:00
Patrick Thomson
748c0f2e14 Merge branch 'master' into bump-haskell-tree-sitter-0.11 2018-04-02 11:12:34 -04:00
Rob Rix
27b6ba5204 Resolution edges point from names to defining modules.
Co-Authored-By: Josh Vera <vera@github.com>
2018-04-02 11:05:17 -04:00
Rob Rix
fad3e6e4ef Add edges for symbols.
Co-Authored-By: Josh Vera <vera@github.com>
2018-04-02 10:59:19 -04:00
Rob Rix
78997cdeb3 Modify the import graph strictly.
Co-Authored-By: Josh Vera <vera@github.com>
2018-04-02 10:52:36 -04:00
Rob Rix
3d94cbfd66 Generalize lookupWith to arbitrary returns.
Co-Authored-By: Josh Vera <vera@github.com>
2018-04-02 10:44:14 -04:00
Rob Rix
752e8fa413 Add a helper for evaluating Python import graphs.
Co-Authored-By: Josh Vera <vera@github.com>
2018-04-02 10:33:24 -04:00
Rob Rix
37cc2e36bb 🔥 Control.Effect.NonDet. 2018-04-02 10:14:57 -04:00
Rob Rix
cc0f73b1ed 🔥 MonadNonDet. 2018-04-02 10:14:46 -04:00
Timothy Clem
08e51919b6 Merge remote-tracking branch 'origin/bump-haskell-tree-sitter-0.11' into module-resolution 2018-03-31 17:02:27 -07:00
Rob Rix
4120622002 To-DONE 2018-03-30 20:20:59 -04:00
Rob Rix
58f2821d98 Merge fills in incomplete information everywhere. 2018-03-30 20:18:05 -04:00
Rob Rix
351f757ed4 Move pushOrigin into Evaluatable. 2018-03-30 20:05:40 -04:00
Rob Rix
1de09bbb25 termOrigin takes a whole term. 2018-03-30 20:05:30 -04:00
Rob Rix
2e18c422f5 Take a hint. 2018-03-30 19:59:37 -04:00
Rob Rix
a522efcb1e Hide an ambiguous symbol. 2018-03-30 19:53:23 -04:00
Rob Rix
803f36f5b2 Origin holds PackageInfo. 2018-03-30 19:50:48 -04:00
Rob Rix
c73166d089 moduleOrigin takes a Module again. 2018-03-30 19:50:38 -04:00
Rob Rix
0ebf115fae Split PackageInfo into a new datatype. 2018-03-30 19:46:25 -04:00
Rob Rix
37535b1823 Origin stores ModuleInfo. 2018-03-30 19:44:31 -04:00
Rob Rix
11c584b6ff Split module name/path into a ModuleInfo type. 2018-03-30 19:42:31 -04:00
Rob Rix
e6a63259fc Add a helper to parse a package. 2018-03-30 19:37:03 -04:00
Rob Rix
bf94bd87e4 Truncate the package modules/entry points. 2018-03-30 19:34:02 -04:00
Timothy Clem
a495716e09 Fix it so that the tests compile 2018-03-30 16:19:39 -07:00
Timothy Clem
b680076d30 Merge remote-tracking branch 'origin/master' into module-resolution 2018-03-30 16:14:48 -07:00