21637 Commits

This Branch

This Branch

All Branches

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