github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-29 01:42:43 +03:00
Code Issues Projects Releases Wiki Activity
32,920 Commits 19 Branches 16 Tags 46 MiB
e07954bab6
Commit Graph

75 Commits

Author SHA1 Message Date
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
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