21616 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	28eec7a7ec	Lift TermEvaluators to Subterm evaluators.	2018-05-07 15:19:57 -04:00
Rob Rix	a4e823681f	Define a TermEvaluator synonym.	2018-05-07 15:19:36 -04:00
Patrick Thomson	50ea7d1a09	remove duplication	2018-05-07 15:13:40 -04:00
Rob Rix	3b4b953506	Run evaluators in IO.	2018-05-07 15:13:01 -04:00
Rob Rix	1bd817bc76	Test that we can construct integers.	2018-05-07 15:10:41 -04:00
Rob Rix	980fd74aed	Define an evaluator helper.	2018-05-07 15:10:11 -04:00
Rob Rix	47d48d695e	Add types for terms, values, and the effects for evaluating terms.	2018-05-07 15:09:50 -04:00
Patrick Thomson	600a2c5100	better name	2018-05-07 15:08:14 -04:00
Rob Rix	f16b734be3	🔥 a redundant Recursive constraint on term.	2018-05-07 15:05:15 -04:00
Patrick Thomson	5cf08450e0	whoops	2018-05-07 15:04:07 -04:00
Patrick Thomson	92d8ca7872	comments	2018-05-07 15:02:21 -04:00
Patrick Thomson	1a47af44d3	fix lints	2018-05-07 14:59:29 -04:00
Patrick Thomson	ab90ff0464	fix repl functions	2018-05-07 14:56:10 -04:00
Patrick Thomson	110365733c	fix specs	2018-05-07 14:39:01 -04:00
Rob Rix	022e0779f7	🔥 the functional dependency on AbstractValue.	2018-05-07 14:25:14 -04:00
Patrick Thomson	335878454b	Merge branch 'master' into remove-tracem	2018-05-07 14:23:46 -04:00
Rob Rix	c427be3670	Stub in a spec for Evaluator.	2018-05-07 14:21:05 -04:00
Rob Rix	29c755a8dc	Sort the test modules.	2018-05-07 14:20:56 -04:00
Patrick Thomson	bedba61867	Make Evaluator use effectful trace rather than Debug.Trace.	2018-05-07 14:15:47 -04:00
Rob Rix	05999e7559	Revert "Don’t specialize null for Exports." ... This reverts commit 8f626b6c0f90af595f510543b15400219e5d9102.	2018-05-07 14:13:11 -04:00
Rob Rix	676f905468	We no longer use fail in this module at all.	2018-05-07 13:15:15 -04:00
Rob Rix	4c6e433802	Merge branch 'master' into musical-chairs,-evaluator-edition	2018-05-07 13:09:25 -04:00
Rob Rix	d9b1b5e4da	📝 Evaluator.	2018-05-07 13:08:11 -04:00
Rob Rix	05c2770499	Don’t qualify the import of Eff.	2018-05-07 13:04:08 -04:00
Rob Rix	4becd242aa	🔥 a couple of stray imports.	2018-05-07 13:02:39 -04:00
Rob Rix	0220ef3046	Merge branch 'master' into musical-chairs,-evaluator-edition	2018-05-07 12:58:27 -04:00
Rob Rix	0687851456	Merge pull request #1805 from github/scope-effects-to-evaluation ... Scope effects to evaluation	2018-05-07 12:55:04 -04:00
Rob Rix	b09e854be5	Move ResolutionError into the module table effects module.	2018-05-07 12:49:51 -04:00
Rob Rix	0d3f8b685f	Don’t specialize null for Exports.	2018-05-07 12:33:48 -04:00
Rob Rix	05ff04533f	Merge branch 'master' into scope-effects-to-evaluation	2018-05-07 12:29:26 -04:00
Rob Rix	aafbeb6b72	Don’t export the unevaluated module table & load stack accessors.	2018-05-07 12:28:04 -04:00
Rob Rix	39f8d659e1	Move require, load, & LoadError into the module table effects module.	2018-05-07 12:26:38 -04:00
Rob Rix	b69a9d275d	Move resolve & listModulesInDir into the module table effect module.	2018-05-07 12:23:51 -04:00
Rob Rix	6557859772	Move the unevaluated module table and load stack accessors into the module table effects module.	2018-05-07 12:21:35 -04:00
Josh Vera	d6cf05177e	Merge pull request #1817 from github/fix-benchmarks ... Fix benchmarks.	2018-05-07 12:20:43 -04:00
Rob Rix	eabb3b79a1	Move the evaluated module table accessors into their own module.	2018-05-07 12:20:23 -04:00
Rob Rix	f2288e3d69	Move the Environment accessors into their own module.	2018-05-07 12:17:32 -04:00
Rob Rix	3c73571b0c	Move currentModule/currentPackage into their own module.	2018-05-07 12:14:14 -04:00
Rob Rix	de5a46dc6c	Move JumpTable, Label, label, and goto into their own module.	2018-05-07 12:12:11 -04:00
Rob Rix	0d1b025823	Move the Exports accessors into their own module.	2018-05-07 12:04:12 -04:00
Rob Rix	5f2c0d1345	Move isolate into Evaluatable.	2018-05-07 12:00:49 -04:00
Rob Rix	5d91cfd843	Move the roots functionality into its own module.	2018-05-07 11:58:30 -04:00
Rob Rix	c2a8c0c5fa	Use the combined export module.	2018-05-07 11:54:13 -04:00
Rob Rix	531f941692	Provide a module re-exporting all the various abstract interpretation machinery.	2018-05-07 11:51:56 -04:00
Rob Rix	57ddf31ec5	Move the Heap accessors into their own module.	2018-05-07 11:49:59 -04:00
Rob Rix	920ddd893f	Move the configuration accessor into its own module.	2018-05-07 11:49:47 -04:00
Rob Rix	3b497bd278	🔥 an unnecessary language extension.	2018-05-07 10:24:35 -04:00
Rob Rix	1740d6a558	🔥 redundant quantification.	2018-05-07 10:24:04 -04:00
Rob Rix	2a1c7f17b3	🔥 microlens.	2018-05-07 08:46:40 -04:00
Rob Rix	d92a5d22a3	📝 the graphing handlers.	2018-05-07 08:35:49 -04:00