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

70 Commits

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