20955 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	e05c0aab2a	Align some things.	2018-04-24 14:14:00 -04:00
Patrick Thomson	89c1403f89	WIP	2018-04-24 14:12:28 -04:00
Josh Vera	73371b717c	Merge pull request #1770 from github/pass-the-effects-list-around ... Pass the effects list around	2018-04-24 14:08:37 -04:00
Patrick Thomson	39cb75f04d	Add TypeError and make MonadValue over Type use it.	2018-04-24 13:40:50 -04:00
Rob Rix	dae310c357	Use one Erroring analysis per error type.	2018-04-24 13:04:46 -04:00
Rob Rix	b042a6a6d4	Provide resumable exceptions in the analyses which resume them.	2018-04-24 13:01:56 -04:00
Rob Rix	4b48d7c858	Add BadAddresses to EvaluatingWithHoles.	2018-04-24 13:01:30 -04:00
Rob Rix	e2bdb23564	Define an analysis which fails on errors.	2018-04-24 13:01:16 -04:00
Rob Rix	70080feadb	🔥 a redundant equality constraint.	2018-04-24 12:35:34 -04:00
Rob Rix	e6010b75cd	Spacing.	2018-04-24 12:34:17 -04:00
Rob Rix	9c8aff921f	Tidy up the Control.Abstract.Value language extensions.	2018-04-24 12:15:29 -04:00
Rob Rix	447bb428a4	And another.	2018-04-24 12:10:11 -04:00
Rob Rix	145d48ede4	And another.	2018-04-24 12:09:41 -04:00
Rob Rix	af6e09a735	🔥 a redundant kind signature.	2018-04-24 12:09:23 -04:00
Rob Rix	a85e41666b	Don’t re-export EvaluatorState & State from Evaluating.	2018-04-24 12:01:28 -04:00
Rob Rix	aab795d9bb	Correct an import in the specs.	2018-04-24 12:00:43 -04:00
Rob Rix	8bb4c0a22c	Merge branch 'master' into pass-the-effects-list-around	2018-04-24 11:57:33 -04:00
Rob Rix	8c972edd98	🔥 a use of PolyKinds.	2018-04-24 11:49:41 -04:00
Rob Rix	1c1fda485c	🔥 a language extension.	2018-04-24 11:49:04 -04:00
Rob Rix	ba52638f40	🔥 maybeFail.	2018-04-24 11:48:43 -04:00
Rob Rix	3e3f21c1d7	Use maybeM in Data.Scientific.Exts to fail parsing.	2018-04-24 11:48:39 -04:00
Rob Rix	812adece0f	🔥 all the MonadFail instances. ... We can still fail using `raise (fail …)`, but it’s less convenient now.	2018-04-24 11:45:35 -04:00
Rob Rix	61452e8978	Spacing.	2018-04-24 11:37:06 -04:00
Rob Rix	d1adb3939f	Differentiate between unallocated and uninitialized addresses.	2018-04-24 11:34:13 -04:00
Rob Rix	5fa6dc28ea	🔥 MonadFresh.	2018-04-24 11:16:35 -04:00
Rob Rix	b311764651	Clean up some more language extensions.	2018-04-24 11:06:43 -04:00
Rob Rix	d3af580585	Clean up the language extensions.	2018-04-24 11:06:31 -04:00
Rob Rix	889e984403	Don’t export the lenses.	2018-04-24 11:04:38 -04:00
Rob Rix	56f8f19964	Add section comments for each group of functions.	2018-04-24 11:04:29 -04:00
Rob Rix	84e9106696	🔥 MonadEnvironment.	2018-04-24 11:02:44 -04:00
Rob Rix	1adaef0833	🔥 MonadHeap.	2018-04-24 10:54:53 -04:00
Rob Rix	00b7c917aa	🔥 MonadModuleTable.	2018-04-24 10:50:11 -04:00
Rob Rix	ca84598b92	🔥 MonadControl.	2018-04-24 10:46:53 -04:00
Rob Rix	f16bf3e5ac	Weaken the conditions on the MonadEvaluator & MonadAnalysis instances for Evaluating.	2018-04-24 10:43:42 -04:00
Rob Rix	d79d17768b	🔥 the lens helpers in Evaluating.	2018-04-24 10:37:24 -04:00
Rob Rix	3039dcf8d0	🔥 a couple of redundant membership constraints on the origin.	2018-04-24 10:36:32 -04:00
Rob Rix	2688eee324	🔥 a redundant membership constraint.	2018-04-24 10:36:21 -04:00
Rob Rix	4978c8ce24	Define a single, universal instance of MonadModuleTable.	2018-04-24 10:34:50 -04:00
Rob Rix	7d39812ea3	Define a single, universal instance of MonadHeap.	2018-04-24 10:30:21 -04:00
Rob Rix	b109fcd51f	Define a single, universal instance of MonadEnvironment.	2018-04-24 10:27:59 -04:00
Rob Rix	880e5a6db1	Correct the functional dependency for MonadEnvironment.	2018-04-24 10:26:46 -04:00
Rob Rix	ddc06e6aeb	Define a single MonadControl instance once and for all.	2018-04-24 10:23:20 -04:00
Rob Rix	035c606dca	Move EvaluatingState into Evaluator and rename to EvaluatorState.	2018-04-24 10:18:14 -04:00
Rob Rix	584f3a7fc8	Sort the membership constraints.	2018-04-24 10:12:37 -04:00
Rob Rix	ed8bfe488b	Sort the language extensions around a little.	2018-04-24 10:10:17 -04:00
Rob Rix	489d09d7b2	Document the exported exception functions.	2018-04-24 10:06:49 -04:00
Rob Rix	47ba9a6d2b	🔥 a couple of dependencies on EvaluatingState.	2018-04-24 10:00:37 -04:00
joshvera	3fb3097c96	back to using Maybe Language in File	2018-04-23 19:47:13 -04:00
Patrick Thomson	36013b9bbe	Merge pull request #1765 from github/break-continue ... Add support for break and continue inside loops.	2018-04-23 19:40:22 -04:00
Rob Rix	ac46e338f9	🔥 MonadExc & MonadResume.	2018-04-23 19:38:21 -04:00