21541 Commits

This Branch

This Branch

All Branches

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