github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-27 08:54:14 +03:00
Code Issues Projects Releases Wiki Activity
21,534 Commits 19 Branches 16 Tags 46 MiB
8b8f3007cf
Commit Graph

21534 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
Rob Rix
2b2a6f0cd8 Specialize ValueError to Value. 2018-05-08 09:05:43 -04:00
Rob Rix
6117f1bf2a Spacing. 2018-05-08 09:04:29 -04:00
Rob Rix
bd62526dc3 Throw ValueErrors without type applications. 2018-05-08 09:00:46 -04:00
Rob Rix
5560b6ae19 Revert "Move the FreeVariables constraint on terms to the instance." 
This reverts commit 2fb104f84cbf82f5cad1e32c52a549d06c8cbca9.
 2018-05-08 08:59:01 -04:00
Rob Rix
d314e8c1ac Define a helper to send requests in an Effectful context. 2018-05-08 08:58:13 -04:00
Rob Rix
d900d737c5 🔥 a redundant kind signature. 2018-05-07 17:34:33 -04:00