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

21640 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Rob Rix
770a19770e Don’t export modifyModuleTable. 2018-05-08 14:10:51 -04:00
Rob Rix
704c0f8e8b 🔥 putModuleTable. 2018-05-08 14:09:56 -04:00
Rob Rix
758b7e330c 📝 Goto. 2018-05-08 13:52:37 -04:00
Rob Rix
cd16c36342 Merge branch 'master' into evaluate-closures-without-terms 2018-05-08 12:45:56 -04:00
Rob Rix
32c7385db1 And another. 2018-05-08 12:42:21 -04:00
Rob Rix
d02aafd834 🔥 a redundant language extension. 2018-05-08 12:41:43 -04:00
Rob Rix
1671624916 Tighten up the Goto action. 2018-05-08 12:39:17 -04:00
Patrick Thomson
edfac3f11a Merge pull request #1822 from github/task-graph-traces 
Convert Graph and Task to use effectful traces.
 2018-05-08 12:37:10 -04:00
Rob Rix
3332b1158d Go back to using ScopedTypeVariables to clean up the constraints. 2018-05-08 12:34:30 -04:00
Rob Rix
a20084363c Merge branch 'master' into evaluate-closures-without-terms 2018-05-08 12:10:05 -04:00
Patrick Thomson
2c4e3a0ca7 just don't export Trace at all 2018-05-08 12:06:34 -04:00
Rob Rix
fb04c57bdf Use a visible type application to inject the environment error. 2018-05-08 12:03:08 -04:00
Rob Rix
6b2b6c7ac4 Tidy up resumingEnvironmentError using reinterpret. 2018-05-08 12:01:12 -04:00
Rob Rix
cfb27ddd7d Tidy up the effect list equality constraints. 2018-05-08 11:56:54 -04:00
Patrick Thomson
484011666c Merge remote-tracking branch 'origin/master' into task-graph-traces 2018-05-08 11:56:20 -04:00
Rob Rix
58bb48453b 🔥 the scoped type variables. 2018-05-08 11:52:55 -04:00
Rob Rix
8dde7689cd Run module actions with the same effects as term actions. 2018-05-08 11:50:40 -04:00
Patrick Thomson
e9feb98835 Convert Graph and Task to use effectful traces. 
This also removes `trace` from Prologue, since the monadic version is better.
 2018-05-08 11:48:00 -04:00
Rob Rix
f9c8704ddc Goto doesn’t need to know about the package/module info. 2018-05-08 11:34:49 -04:00
Rob Rix
faefc52b08 Merge pull request #1821 from github/evaluator-dsl 
Evaluator DSL
 2018-05-08 11:33:14 -04:00
Rob Rix
14beff3902 Closure holds the package/module info. 2018-05-08 11:25:37 -04:00
Rob Rix
96694eadd3 Use withCurrentPackage/withCurrentModule when jumping around with goto. 2018-05-08 11:23:40 -04:00
Rob Rix
81f4d99688 Define helpers to run actions with locally-updated ModuleInfo/PackageInfo. 2018-05-08 11:22:27 -04:00
Rob Rix
2aae3dbdd3 Allow runGoto to return its jump table. 2018-05-08 11:10:35 -04:00
Rob Rix
09f6586120 We don’t need to raise when we’re already in Eff. 2018-05-08 11:04:14 -04:00
Josh Vera
8ca53beab7 Merge branch 'master' into evaluator-dsl 2018-05-08 10:57:57 -04:00
Rob Rix
42e51de347 Rename JumpTable to GotoTable. 2018-05-08 10:57:30 -04:00
Josh Vera
3f1694b475 Merge pull request #1819 from github/musical-chairs,-evaluator-edition 
Musical chairs, Evaluator edition
 2018-05-08 10:57:27 -04:00
Rob Rix
67250696ca Move traceE to Control.Effect & generalize to Effectful contexts. 2018-05-08 10:56:35 -04:00
Rob Rix
97915e1410 Rename lambda to closure. 2018-05-08 10:54:32 -04:00
Rob Rix
d9084f9f45 lambda takes the set of free variables as a parameter. 2018-05-08 10:54:04 -04:00
Rob Rix
5a4e6cb0b0 Merge branch 'evaluator-dsl' into evaluate-closures-without-terms 2018-05-08 10:40:41 -04:00
Rob Rix
8881dc0284 Fix an ambiguous reference to runM. 2018-05-08 10:40:25 -04:00
Rob Rix
52cfb56f54 Rename the Label module to Goto. 2018-05-08 10:37:50 -04:00
Rob Rix
e05c56d0eb Placate hlint. 2018-05-08 10:36:26 -04:00
Rob Rix
65bcc461fc Merge branch 'evaluator-dsl' into evaluate-closures-without-terms 2018-05-08 10:36:04 -04:00
Rob Rix
1320d6a9c0 Lift runM into Effectful contexts. 2018-05-08 10:35:07 -04:00
Rob Rix
c153815859 Merge branch 'musical-chairs,-evaluator-edition' into evaluator-dsl 2018-05-08 10:32:51 -04:00
Rob Rix
c799a0d6dd Merge branch 'master' into musical-chairs,-evaluator-edition 2018-05-08 10:30:53 -04:00
Patrick Thomson
0314bbe224 Merge pull request #1820 from github/remove-tracem 
Make Evaluator use effectful trace rather than Debug.Trace.
 2018-05-08 10:21:57 -04:00
Rob Rix
5343047d2f AbstractValue no longer requires the term type parameter. 2018-05-08 10:21:42 -04:00
Rob Rix
eacb5b47d7 Implement goto using Goto effects embedding evaluators. 2018-05-08 10:19:50 -04:00
Rob Rix
84a566197f Swap the order of the parameters to catchReturn. 2018-05-08 10:17:24 -04:00
Rob Rix
0b569e6a99 Define a handler for Goto. 2018-05-08 10:07:22 -04:00
Rob Rix
d7cf20e236 Define a Goto effect. 2018-05-08 10:05:59 -04:00
Rob Rix
7022fbf346 Provide the jump table in evaluatePackageBodyWith. 2018-05-08 10:04:23 -04:00
Rob Rix
2d66b34e1d Define an Instruction type synonym. 2018-05-08 09:16:41 -04:00
Rob Rix
bb386dbba0 🔥 redundant imports. 2018-05-08 09:09:44 -04:00
Rob Rix
ae0e94eb53 We don’t need ScopedTypeVariables. 2018-05-08 09:09:30 -04:00
Rob Rix
a38170ea4e 🔥 redundant type applications. 2018-05-08 09:09:22 -04:00