github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-18 12:21:57 +03:00
Code Issues Projects Releases Wiki Activity
34,104 Commits 19 Branches 16 Tags 46 MiB
aef0fdc1e1
Commit Graph

136 Commits

Author SHA1 Message Date
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
Patrick Thomson
b5179ff3e5 Need a lowerBound call here. 2020-01-28 15:30:00 -05:00
Patrick Thomson
9c251161d3 Merge fallout. 2020-01-28 15:14:39 -05:00
Patrick Thomson
953473088d Merge remote-tracking branch 'origin/master' into name-name-go-away 2020-01-28 15:07:05 -05:00
Patrick Thomson
9ecaeedcc3 Depend on newer semantic-source. 2020-01-28 12:42:42 -05:00
joshvera
1f18eea5d1 qualify names 2020-01-23 14:10:55 -05:00
joshvera
b2155fd244 Delete comments 2020-01-23 14:08:48 -05:00
joshvera
690cdf0f82 Wrap gensym in SketchC 
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
 2020-01-23 14:08:34 -05:00
joshvera
46b242aaf2 Pass in props in declare and reference 2020-01-23 14:08:12 -05:00
joshvera
afe3c0dfec Add IsString instance to Name 2020-01-22 17:21:08 -05:00
joshvera
5358e75a69 Add withScope 2020-01-22 16:37:23 -05:00
joshvera
6021611a32 Merge remote-tracking branch 'origin/master' into function-scopes 2020-01-22 15:53:55 -05:00
Patrick Thomson
627b8eab5d stylish 2020-01-21 15:52:34 -05:00
Patrick Thomson
d3bf192e24 Consolidate Scope constructors. 
Best practice here is for record types to have a single constructor,
and to use their constituent fields to indicate any difference of
identity. Small readability wins are nice.
 2020-01-21 15:10:57 -05:00
joshvera
ba28805bf0 export declareMaybeName 2020-01-21 13:33:20 -05:00
Patrick Thomson
fb26d76137 Merge branch 'semantic-scope-graph' into name-name-go-away 2020-01-17 11:28:51 -05:00
Patrick Thomson
b3abb671f3 📝 Sketchbook. 2020-01-17 11:19:18 -05:00
Patrick Thomson
7dacb55e35 🔥 Data.Name. 2020-01-17 11:01:59 -05:00
Patrick Thomson
14c68c407d Move what was Data.Name into Analysis.Name. 2020-01-17 10:57:35 -05:00
Patrick Thomson
726dec2ea6 Update the copyright year. 2020-01-15 17:01:08 -05:00
Patrick Thomson
23431cffb0 Otiose forall and type constraint. 2020-01-15 16:54:27 -05:00
Patrick Thomson
b7c5989463 Give ToScopeGraph's module a more standard name. 2020-01-15 16:16:45 -05:00
Patrick Thomson
27f39c2fa1 :note: some declarations. 2020-01-15 16:15:12 -05:00
Patrick Thomson
e381adaeb0 build the effect in terms of Reader and Fresh. 2020-01-15 15:36:57 -05:00
joshvera
34a8eb77d6 WIP function-scopes 2020-01-15 15:01:16 -05:00
Patrick Thomson
d5bec1bf7a No more orphan instances. 2020-01-15 15:00:01 -05:00
joshvera
5ea07633d2 Failing reference test 2020-01-14 18:08:10 -05:00
Patrick Thomson
65b0894eef stylish pass 2020-01-14 15:36:07 -05:00
Patrick Thomson
489093e99d this file wasn't anything 2020-01-14 15:32:47 -05:00
Patrick Thomson
760c52e04f Clean up some instances 2020-01-14 15:28:04 -05:00
Patrick Thomson
ae4ca650e8 Persist todo entries. 2020-01-14 15:18:56 -05:00
Patrick Thomson
1a9c229dd5 no need for this 2020-01-14 15:14:46 -05:00
Patrick Thomson
90ca2c8b3f it works! 2020-01-14 14:44:08 -05:00
Patrick Thomson
e9247ab8a8 Make declare actually do something… in theory. 2020-01-14 14:19:57 -05:00
Patrick Thomson
56145869a4 make semantic-python build 2020-01-14 11:48:39 -05:00
Patrick Thomson
ba8b5b05a9 Warnings 2020-01-14 11:44:05 -05:00
Patrick Thomson
353311e210 Remove old graph manipulation code 2020-01-14 11:43:28 -05:00
Patrick Thomson
8af6beeaa1 more reorgs and churn 2020-01-14 11:40:03 -05:00
Patrick Thomson
3b1f22c311 moving around Hole and Name 2020-01-14 11:18:58 -05:00
Patrick Thomson
8d3165c77d start porting and renaming 2020-01-14 11:15:55 -05:00
Patrick Thomson
2e1fcedf26 Stylish. 2020-01-14 11:13:28 -05:00
Patrick Thomson
96a5bf11c6 start moving ScopeGraph to its own project 2020-01-14 11:13:00 -05:00
Patrick Thomson
f75980eb7f write another nice little helper 2020-01-13 16:58:20 -05:00
Patrick Thomson
711d240a61 pull in some pattern synonyms 2020-01-13 14:40:17 -05:00
Patrick Thomson
3d9be6a5d2 stop relying on side effects 2020-01-13 14:40:17 -05:00
Patrick Thomson
c92a6f9a72 Make declare return the current scopegraph state. 2020-01-13 14:06:23 -05:00
Patrick Thomson
f1bdfcd86e Move ToScopeGraph into its own module to break a cycle. 2020-01-13 14:05:31 -05:00
Patrick Thomson
92aa4bbd0b even more instances 2020-01-13 12:36:42 -05:00
Patrick Thomson
cc37a0c460 even more instances, and build onChildren helper 2020-01-13 12:26:02 -05:00
Patrick Thomson
bb01a368fb This reverts commit e7df755bb6. 2020-01-13 10:08:07 -05:00
Patrick Thomson
e7df755bb6 let's use pathtype. 2020-01-10 19:24:24 -05:00
Patrick Thomson
524fbba3ad move the Sketch effect into semantic-scope-graph 2020-01-10 18:48:40 -05:00
Patrick Thomson
61f8f2e8ba This is nicer with proper use of Monoid and Semigroup. 2020-01-10 18:31:38 -05:00
Patrick Thomson
f9aadbb895 Scope graphing DSL works. 2020-01-10 17:46:37 -05:00
Patrick Thomson
da58e5c69c start creating sketch effect 2020-01-10 15:14:05 -05:00
Patrick Thomson
1906e7b1bb build a DSL for constructing graphs 2020-01-10 12:22:13 -05:00
Patrick Thomson
7fc6d08bf6 Implement Graph.Class for ScopeGraph 2020-01-08 16:58:38 -05:00
joshvera
1a94c25d32 Print out a scope graph 
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
 2020-01-08 13:25:43 -05:00
joshvera
2ec9dc5595 Replace Graph with unlabeled graph 
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
 2020-01-08 13:02:53 -05:00
joshvera
3ec51a53f5 Simplify typeclasses 
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
 2020-01-08 12:51:25 -05:00
joshvera
0c041b5fd8 Remove circular dependency 
Co-Authored-By: Patrick Thomson <patrickt@users.noreply.github.com>
 2020-01-08 12:37:37 -05:00
joshvera
4ba5989776 Add a ToScopeGraph interface in semantic-python 2020-01-08 12:29:17 -05:00
Patrick Thomson
1eabf451e0 First haphazard attempt at doing scope graphing. 2020-01-07 13:10:58 -05:00
joshvera
eaeb5b6219 stub out a scope graph effect 2020-01-06 18:12:42 -05:00
joshvera
f5e919ed2b stub in scopegraph project 2020-01-06 17:49:43 -05:00