3068 Commits

Author	SHA1	Message	Date
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
Rob Rix	c427be3670	Stub in a spec for Evaluator.	2018-05-07 14:21:05 -04:00
Rob Rix	ca5ca629dc	Run the analysis.	2018-05-06 17:38:04 -04:00
Rob Rix	2fa602c98f	Fix stale references to interpret.	2018-05-06 17:37:44 -04:00
Rob Rix	a23bc350da	Constrain the specs to Value Precise.	2018-05-06 17:36:33 -04:00
Rob Rix	e638fb4715	Update the specs to use a testEvaluating analysis.	2018-05-06 17:30:07 -04:00
Rob Rix	b6709b4da2	Use the correct injection/projection functions in the tests.	2018-05-06 17:23:39 -04:00
Rob Rix	da3ddd2b17	Fix the specs.	2018-05-02 16:10:56 -04:00
Rob Rix	243fb331fc	Fix stale references to inj in the tests.	2018-05-02 15:55:10 -04:00
Rob Rix	911111987a	Return to piecemeal state effects, and combine them in Evaluating.	2018-05-02 15:54:11 -04:00
Rob Rix	152fe6a6a8	Fix the ambiguity around Sum.	2018-05-02 13:14:51 -04:00
Rob Rix	ebc8e01cc4	Use our own local definition of Sum.	2018-05-02 12:00:15 -04:00
Rob Rix	216b414995	LoadError doesn’t need a type parameter for the value.	2018-04-30 16:40:27 -04:00
Rob Rix	57389da2c9	Add a test that we pass arguments correctly.	2018-04-30 14:50:16 -04:00
Rob Rix	013b5cb4b7	Merge branch 'master' into analyses-provide-and-handle-effects	2018-04-30 14:22:09 -04:00
Timothy Clem	a5cc587b85	Merge remote-tracking branch 'origin/master' into eval-__FILE__	2018-04-27 07:59:06 -07:00
Timothy Clem	d2b47533f7	Fix up test	2018-04-27 07:56:59 -07:00
Rob Rix	0720ee9267	A tidy module header is a happy module header.	2018-04-27 10:11:54 -04:00
Rob Rix	173645a48b	🔥 readFileVerbatim.	2018-04-27 10:10:43 -04:00
Rob Rix	2fc2090e02	Move ValueError & throwValueError into Data.Abstract.Value.	2018-04-27 10:09:03 -04:00
Rob Rix	33d68f9d8d	Treat breaks as an effect.	2018-04-27 10:00:07 -04:00
Rob Rix	97c76c7fdc	Rename ReturnThrow to Return, and use it as an effect.	2018-04-27 09:26:40 -04:00
Charlie Somerville	7cdb2625fd	fix tests	2018-04-27 12:04:48 +10:00
Timothy Clem	08600b4155	Merge remote-tracking branch 'origin/master' into eval-__FILE__	2018-04-26 13:23:42 -07:00