22723 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	6e482be698	Rename Store back to Allocator for now.	2018-05-31 10:21:57 -04:00
Rob Rix	0bf97c0395	Use sendStore to obviate the need for ScopedTypeVariables.	2018-05-31 10:11:53 -04:00
Rob Rix	a994c66f0b	Add a heading for the effects.	2018-05-31 10:09:57 -04:00
Rob Rix	f2d51d3802	Don’t export modifyHeap.	2018-05-31 09:40:38 -04:00
Rob Rix	798b65d82c	gc is an action in Store.	2018-05-31 09:40:06 -04:00
Rob Rix	b13dc4660a	Don’t export reachable.	2018-05-31 09:33:38 -04:00
Rob Rix	a72515b858	Move gc/reachable into Control.Abstract.Heap.	2018-05-31 09:33:04 -04:00
Rob Rix	91122566df	Move ValueRoots into Control.Abstract.Roots.	2018-05-31 09:31:36 -04:00
Rob Rix	58b1de14fc	💄	2018-05-31 09:18:37 -04:00
Rob Rix	252b904520	Swap the type parameters.	2018-05-31 09:05:30 -04:00
Rob Rix	8b9f49b5ea	Evaluatable instances don’t need to know about the state.	2018-05-31 09:05:00 -04:00
Rob Rix	21f43cdf4d	Assign values using the Store effect.	2018-05-31 08:58:32 -04:00
Rob Rix	eb40de097e	Reformat the runStore signature.	2018-05-31 08:52:42 -04:00
Rob Rix	ffd1e3e3f8	💄: $ for effect handler.	2018-05-31 08:51:17 -04:00
Rob Rix	b491750f94	Specialize runStore.	2018-05-31 08:50:57 -04:00
Rob Rix	42540a1e20	Rename Allocator to Store.	2018-05-31 08:47:16 -04:00
Rob Rix	9f1e73cd07	Align the Allocator constructors.	2018-05-31 08:42:41 -04:00
Rob Rix	9c88e5c6b2	Merge branch 'env-effect' into swap-module-table-ordering	2018-05-30 18:58:14 -04:00
Rob Rix	c5f3187946	Merge branch 'master' into swap-module-table-ordering	2018-05-30 18:57:38 -04:00
Rob Rix	c7e8419e29	Placate hlint.	2018-05-30 18:56:50 -04:00
Rob Rix	969d31adbf	Swap the ordering of the evaluated module table.	2018-05-30 18:54:58 -04:00
Rob Rix	68e4c4615e	Push the prelude env & drop it before filtering.	2018-05-30 18:35:38 -04:00
Rob Rix	d441d98456	Copy the environment back out for entry points.	2018-05-30 18:29:30 -04:00
Rob Rix	334f8738c0	Keep the builtins around.	2018-05-30 18:13:36 -04:00
Rob Rix	7e68c0723a	Fix the Show instance for ClosureBody to not break prettyShow.	2018-05-30 17:40:53 -04:00
Rob Rix	08cf65718f	Fix the evaluator spec.	2018-05-30 17:20:08 -04:00
Rob Rix	bcf9338b75	Update the language specs to respect the env-per-entry-point thing.	2018-05-30 17:19:05 -04:00
Rob Rix	deaaa80a52	Rename runEnvState to runEnv.	2018-05-30 17:17:01 -04:00
Rob Rix	bf35d9db79	We only need one handler.	2018-05-30 15:33:56 -04:00
Rob Rix	a6025262c5	🔥 the environment from EvaluatingState.	2018-05-30 15:32:54 -04:00
Rob Rix	66594cf631	Don’t expect an env in resumingValueError.	2018-05-30 15:32:29 -04:00
Timothy Clem	a42d0310bd	Merge pull request #1899 from github/enhanced-json-output ... Enhanced json output	2018-05-30 12:23:02 -07:00
Rob Rix	7072b1f8dd	Don’t re-export Fail.	2018-05-30 15:19:50 -04:00
Rob Rix	d01ef4e0b7	🔥 the exports in the evaluating state.	2018-05-30 15:17:35 -04:00
Rob Rix	5bef9603e9	🔥 the export effect in Evaluatable instances.	2018-05-30 15:17:23 -04:00
Rob Rix	293d76a32f	export sends Export.	2018-05-30 15:17:02 -04:00
Rob Rix	da79d76872	🔥 getExports.	2018-05-30 15:14:17 -04:00
Rob Rix	cb961fa994	Handle exports in Env.	2018-05-30 15:14:02 -04:00
Rob Rix	0f6ad38a4e	Move export into Env.	2018-05-30 15:11:24 -04:00
Rob Rix	6a3f4ba689	Rename addExport to export.	2018-05-30 14:30:02 -04:00
Rob Rix	11a92c0cb6	Move getExports & addExport into Control.Abstract.Environment.	2018-05-30 14:27:32 -04:00
Rob Rix	eff98cfb03	🔥 modifyExports.	2018-05-30 14:21:13 -04:00
Rob Rix	3ae5cc171a	🔥 withExports.	2018-05-30 14:20:23 -04:00
Rob Rix	7d67ee3905	🔥 putExports.	2018-05-30 14:20:01 -04:00
Rob Rix	f4c33d4d8f	Don’t export modifyExports.	2018-05-30 14:19:39 -04:00
Rob Rix	5d9b9657d7	Dedent.	2018-05-30 14:15:32 -04:00
Timothy Clem	f7448522c8	Merge branch 'master' into enhanced-json-output	2018-05-30 11:14:39 -07:00
Rob Rix	f9ea94b8da	Placate hlint.	2018-05-30 14:09:07 -04:00
Rob Rix	19d4ebefa4	🔥 putEnv.	2018-05-30 14:08:57 -04:00
Rob Rix	10d9454895	Converge locally w.r.t. the environment.	2018-05-30 14:05:42 -04:00