21510 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	5560b6ae19	Revert "Move the FreeVariables constraint on terms to the instance." ... This reverts commit 2fb104f84cbf82f5cad1e32c52a549d06c8cbca9.	2018-05-08 08:59:01 -04:00
Rob Rix	d314e8c1ac	Define a helper to send requests in an Effectful context.	2018-05-08 08:58:13 -04:00
Rob Rix	d900d737c5	🔥 a redundant kind signature.	2018-05-07 17:34:33 -04:00
Patrick Thomson	b7a2b21fd5	redundant import	2018-05-07 17:27:41 -04:00
Rob Rix	81dd5dff74	Move the FreeVariables constraint on terms to the instance.	2018-05-07 17:22:35 -04:00
Patrick Thomson	d12ecb8387	move the trace runners to Control.Effect	2018-05-07 17:22:26 -04:00
Rob Rix	fcb92d3f72	📝 EnvironmentError.	2018-05-07 16:59:43 -04:00
Rob Rix	b66ea73427	Reassociate errors in the specs.	2018-05-07 16:56:40 -04:00
Rob Rix	a1677d5417	Reassociate errors for ghci.	2018-05-07 16:55:57 -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	36ecc8e356	🔥 lookupWith.	2018-05-07 16:00:28 -04:00
Rob Rix	3d8e6edb7c	Move variable into Addressable.	2018-05-07 15:58:16 -04:00
Rob Rix	b1dea9c5f0	Switch variable over to EnvironmentError.	2018-05-07 15:56:47 -04:00
Rob Rix	a464c7a7ca	Define a handler for resuming free variable errors.	2018-05-07 15:52:27 -04:00
Rob Rix	f203d4f74b	Define a convenience for throwing a free variable error.	2018-05-07 15:45:10 -04:00
Rob Rix	e9d6a8fb89	Define an EnvironmentError GADT & handlers.	2018-05-07 15:45:02 -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