21682 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	dcaad09deb	Fix the specs.	2018-05-15 12:58:05 -04:00
Rob Rix	0f4efa278c	Run module & term analyses in TermEvaluator.	2018-05-15 12:50:38 -04:00
Rob Rix	75b11eab95	Generalize providingLiveSet over the Effectful context.	2018-05-15 12:43:05 -04:00
Rob Rix	3a050c8b43	Generalize runEnvironmentError/With over the Effectful context.	2018-05-15 12:42:21 -04:00
Rob Rix	cdc768e23a	We don’t even need to mention the location type.	2018-05-15 12:41:35 -04:00
Rob Rix	4dec9c82e0	Generalize runEvalError/With to any Effectful context.	2018-05-15 12:40:46 -04:00
Rob Rix	ff61b62efe	Generalize runUnspecialized/With to any Effectful context.	2018-05-15 12:40:12 -04:00
Rob Rix	0ad398c38b	Generalize runLoadError/With to any Effectful context.	2018-05-15 12:39:15 -04:00
Rob Rix	0ad39783bc	Generalize runAddressError/With to any Effectful context.	2018-05-15 12:38:36 -04:00
Rob Rix	1e196183c6	Generalize runTypeError/runTypeErrorWith to any Effectful context.	2018-05-15 12:37:46 -04:00
Rob Rix	f0057456b7	Define a lifting of handlers from Evaluator to TermEvaluator.	2018-05-15 12:21:03 -04:00
Rob Rix	adbc029341	Derive an Alternative instance for TermEvaluator.	2018-05-15 12:01:13 -04:00
Rob Rix	d5bba69165	Re-export a bunch of effects stuff.	2018-05-15 11:59:42 -04:00
Rob Rix	bccc117ab8	Don’t re-export TermEvaluator from Evaluatable.	2018-05-15 11:45:51 -04:00
Rob Rix	a200a43099	Re-export TermEvaluator.	2018-05-15 11:45:32 -04:00
Rob Rix	8c82e1f4a2	Stub in a TermEvaluator newtype wrapping Evaluator.	2018-05-15 11:40:28 -04:00
Rob Rix	70c28fa288	Stub in a module for term evaluators.	2018-05-15 11:40:10 -04:00
Rob Rix	4c712abf83	Merge remote-tracking branch 'origin/master' into fix-abstract-semantics	2018-05-15 11:16:37 -04:00
Rob Rix	f82094d70b	Merge pull request #1836 from github/no-trace ... No tracing b/c it breaks output	2018-05-15 11:01:47 -04:00
Timothy Clem	628aa27ccb	No tracing b/c it breaks output	2018-05-14 15:19:09 -07:00
Rob Rix	888fea5c29	Merge pull request #1831 from github/bump-effects-and-spell-out-types ... Bump effects and spell out types	2018-05-11 15:32:28 -04:00
Rob Rix	bbfc2ca042	Merge branch 'master' into bump-effects-and-spell-out-types	2018-05-11 14:41:52 -04:00
Josh Vera	75f34aa5e4	Merge pull request #1830 from github/trace-in-telemetry ... Trace in Telemetry	2018-05-11 14:26:23 -04:00
Rob Rix	fa7c731a4c	Fix a typo.	2018-05-11 11:59:33 -04:00
Rob Rix	21e4b96f21	Merge branch 'trace-in-telemetry' into bump-effects-and-spell-out-types	2018-05-11 11:38:17 -04:00
Rob Rix	23e6564ce5	Merge branch 'master' into bump-effects-and-spell-out-types	2018-05-11 11:35:19 -04:00
Rob Rix	daa85b4cba	Move caching outside all of the errors.	2018-05-11 11:34:40 -04:00
Josh Vera	746450eb62	Merge branch 'master' into trace-in-telemetry	2018-05-11 11:27:22 -04:00
Josh Vera	2b6dea75ef	Merge pull request #1828 from github/builtins ... Builtins	2018-05-11 11:27:09 -04:00
Rob Rix	5798751181	This is no longer the case!	2018-05-11 11:21:07 -04:00
Rob Rix	bdbc20dd9a	Move caching after the type error.	2018-05-11 11:21:00 -04:00
Rob Rix	c2ccb0d7fd	Align some instances.	2018-05-11 11:05:02 -04:00
Rob Rix	26fdf92c8c	Define an Ord1 instance for TypeError.	2018-05-11 11:04:43 -04:00
Rob Rix	c53c545622	Rename the fields.	2018-05-11 11:03:21 -04:00
Rob Rix	2a67cae8ed	Simplify the Show1 instance.	2018-05-11 11:02:45 -04:00
Rob Rix	9bdf6a372d	Simplify the Eq1 instance.	2018-05-11 11:02:26 -04:00
Rob Rix	41579c243a	Derive Eq & Ord instances for TypeError.	2018-05-11 11:01:20 -04:00
Rob Rix	ae6bff8f8d	📝 TypeError.	2018-05-11 11:00:41 -04:00
Rob Rix	6f01bcb380	Define a parameterized, resumable handler for TypeError.	2018-05-11 10:58:06 -04:00
Rob Rix	9b56fc1a24	🔥 NumOpError.	2018-05-11 10:56:38 -04:00
Rob Rix	b4d19b9092	Note a couple of FIXMEs.	2018-05-11 10:55:42 -04:00
Rob Rix	30c0f2d788	Define liftNumeric by unification.	2018-05-11 10:53:50 -04:00
Rob Rix	a755d14188	Unify sums.	2018-05-11 10:49:12 -04:00
Rob Rix	7ca6fd736e	Define a Monoid instance for Product.	2018-05-11 10:47:13 -04:00
Rob Rix	82cfe635c0	Add Void types.	2018-05-11 10:46:15 -04:00
Rob Rix	358b71e601	Add binary sums.	2018-05-11 10:45:24 -04:00
Rob Rix	936b530380	🔥 SubscriptError.	2018-05-11 10:44:05 -04:00
Rob Rix	0f5dff0e38	Indexing unifies.	2018-05-11 10:39:55 -04:00
Rob Rix	e3c8a0da6b	Give fixity & precedence for :* and :->.	2018-05-11 10:37:55 -04:00
Rob Rix	7f642a621a	Binary products.	2018-05-11 10:37:10 -04:00