21551 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
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