3091 Commits

Author	SHA1	Message	Date
Rob Rix	13660b9e9d	Test for expected symbols, not exact symbols.	2018-05-10 10:59:38 -04:00
Rob Rix	2410387e97	Allow the tests to examine the traces.	2018-05-10 10:58:24 -04:00
Rob Rix	75d2c50589	Test the results of cross-module function calls.	2018-05-10 10:26:07 -04:00
Rob Rix	c2f48fb982	🔥 the ns/addr conveniences.	2018-05-10 10:11:34 -04:00
Rob Rix	4fca683eae	Test for the presence of the desired symbols rather than the exact list.	2018-05-10 10:10:57 -04:00
Rob Rix	ae7ee6e860	Test Go environments/heaps against the names.	2018-05-10 10:07:11 -04:00
Rob Rix	5af09d94e1	Test PHP environments/heaps against the names, not addresses.	2018-05-10 10:03:59 -04:00
Rob Rix	69bd2c0af5	Test Python environments/heaps without encoding addresses.	2018-05-10 09:59:54 -04:00
Rob Rix	9ec588ed3c	Use the shared helpers for TypeScript.	2018-05-10 09:59:31 -04:00
Rob Rix	6e37f24cee	Define a helper to take namespaces apart.	2018-05-10 09:58:38 -04:00
Rob Rix	30a85b576d	Define a helper to dereference qualified names in values.	2018-05-10 09:55:11 -04:00
Rob Rix	821691549e	Test the bound names, not their addresses.	2018-05-10 09:28:11 -04:00
Rob Rix	8b8f3007cf	Test the imported names, not the prelude names.	2018-05-10 09:08:12 -04:00
Rob Rix	76a40939d6	Test the bound names.	2018-05-09 22:04:52 -04:00
Rob Rix	27a25d9a45	Type applications.	2018-05-09 22:04:46 -04:00
Rob Rix	91ca0e1aba	Run Gotos via a newtype to break the cycle in the effects types.	2018-05-09 21:30:34 -04:00
Rob Rix	924aa3e243	Correct the corpus for the new line directive syntax.	2018-05-09 15:24:42 -04:00
Rob Rix	c0993c63c9	Test our evaluation of __LINE__.	2018-05-09 15:23:52 -04:00
Rob Rix	3cbf66c57e	🔥 TermEffects.	2018-05-09 12:39:22 -04:00
Rob Rix	f18d066c88	🔥 the Term newtype.	2018-05-09 12:36:48 -04:00
Rob Rix	d02fdb419a	Only export spec.	2018-05-09 12:36:40 -04:00
Rob Rix	4dca1c121e	🔥 the term parameter to Evaluator.	2018-05-09 12:35:01 -04:00
Rob Rix	3948f74810	Correct the type of the module table effect.	2018-05-08 16:46:17 -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	2aae3dbdd3	Allow runGoto to return its jump table.	2018-05-08 11:10: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	65bcc461fc	Merge branch 'evaluator-dsl' into evaluate-closures-without-terms	2018-05-08 10:36:04 -04:00
Rob Rix	c153815859	Merge branch 'musical-chairs,-evaluator-edition' into evaluator-dsl	2018-05-08 10:32:51 -04:00
Rob Rix	eacb5b47d7	Implement goto using Goto effects embedding evaluators.	2018-05-08 10:19:50 -04:00
Rob Rix	2b2a6f0cd8	Specialize ValueError to Value.	2018-05-08 09:05:43 -04:00
Patrick Thomson	d12ecb8387	move the trace runners to Control.Effect	2018-05-07 17:22:26 -04:00
Rob Rix	b66ea73427	Reassociate errors in the specs.	2018-05-07 16:56:40 -04:00
Rob Rix	d9e76fb2c5	Test that we can call functions.	2018-05-07 16:06:21 -04:00
Rob Rix	c05884195d	Add environment errors to the mix.	2018-05-07 16:06:04 -04:00
Rob Rix	de1a8e1164	Clean up a redundant pure.	2018-05-07 16:05:55 -04:00
Rob Rix	b589d4f7d0	Define a FreeVariables instance for Term.	2018-05-07 16:05:27 -04:00
Rob Rix	b1dea9c5f0	Switch variable over to EnvironmentError.	2018-05-07 15:56:47 -04:00
Rob Rix	ca778fd76e	We don’t need to constrain the term type any more.	2018-05-07 15:25:05 -04:00
Rob Rix	4f64d95a51	🔥 redundant language extensions.	2018-05-07 15:21:41 -04:00
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	110365733c	fix specs	2018-05-07 14:39:01 -04:00