26227 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	88e9948188	Quote the summaries.	2018-10-30 10:09:58 -04:00
Rob Rix	a14e0d60be	Correct the summaries.	2018-10-29 15:08:39 -04:00
Rob Rix	ca81d70c5d	Correct the package name and URL.	2018-10-29 15:07:06 -04:00
Rob Rix	a7cfa8d1a8	Rename the higher-order-effects licenses.	2018-10-29 15:05:44 -04:00
Rob Rix	13eb824552	Bump fused-effects.	2018-10-29 13:31:24 -04:00
Rob Rix	d477db7813	Terminate on the first result.	2018-10-29 11:58:33 -04:00
Rob Rix	4abfd4197b	Bump fused-effects for https://github.com/robrix/fused-effects/pull/52.	2018-10-29 11:57:26 -04:00
Rob Rix	898fa73969	Hide the import of Diff.	2018-10-29 11:19:40 -04:00
Rob Rix	1eacd39c0c	Reformat the Carrier signature a little more.	2018-10-29 11:19:31 -04:00
Rob Rix	148eb81d51	Diffing.Algorithm no longer exports Empty.	2018-10-29 11:01:52 -04:00
Rob Rix	65b7707f46	Define diffing as an effect.	2018-10-29 11:01:41 -04:00
Rob Rix	5bf4479597	🔥 a stray LambdaCase.	2018-10-29 10:26:56 -04:00
Rob Rix	f8001765e0	Fix a dodgy import.	2018-10-29 09:59:29 -04:00
Rob Rix	636eec364e	Update to fused-effects, replace \/ with handleSum and bundle Interpose.	2018-10-29 09:52:48 -04:00
Rob Rix	1b507fc5c0	Inline runValueEffects into evaluate.	2018-10-26 13:38:20 -04:00
Rob Rix	2734b380fc	Move graphingModuleInfo above eavesdrop.	2018-10-26 13:12:51 -04:00
Rob Rix	2fd8bcad92	🔥 some unused language extensions.	2018-10-26 13:11:20 -04:00
Rob Rix	66d5a1dfe8	Run nondeterminism locally in flow-sensitive analysis.	2018-10-26 13:03:14 -04:00
Rob Rix	f0925ad0cf	📝 evaluate.	2018-10-26 13:00:37 -04:00
Rob Rix	55df272a2a	📝 evalTerm.	2018-10-26 12:58:30 -04:00
Rob Rix	33f20e0cf5	📝 runValueEffects.	2018-10-26 12:56:13 -04:00
Rob Rix	141ed75d40	Don’t export ModuleC/ValueC.	2018-10-26 12:54:35 -04:00
Rob Rix	77675e1b80	Rename analyzeTerm to perTerm.	2018-10-26 12:52:30 -04:00
Rob Rix	b5ae015260	Inline the definition of evalModule into evaluate.	2018-10-26 12:51:59 -04:00
Rob Rix	485cbfdcfe	Inline the definition of runInModule into evalModule.	2018-10-26 12:47:23 -04:00
Rob Rix	cb19a79fad	Run python packaging.	2018-10-26 12:40:26 -04:00
Rob Rix	4aae4db57d	Implement python packaging directly in the carrier.	2018-10-26 12:37:26 -04:00
Rob Rix	197ef61386	Rename the carrier to PythonPackagingC.	2018-10-26 12:30:49 -04:00
Rob Rix	37d4fea7b2	Simplify the carrier for runPythonPackaging.	2018-10-26 12:30:06 -04:00
Rob Rix	24660fca31	Rename runInTerm to runValueEffects.	2018-10-26 12:24:37 -04:00
Rob Rix	6cf82efb50	Factor runInTerm out of evalModule.	2018-10-26 11:39:47 -04:00
Rob Rix	cc09615b7b	Inline the definition of evaluateModules into evaluate.	2018-10-26 10:27:05 -04:00
Rob Rix	bfb3b8a352	Rename the type parameters relating to the outer context.	2018-10-26 10:18:25 -04:00
Rob Rix	2b9d751aad	Factor the prelude definition into runInTerm.	2018-10-26 10:17:19 -04:00
Rob Rix	8fce4184f6	Merge branch 'master' into decompose-evaluate	2018-10-25 23:18:02 -04:00
Rob Rix	915c7f5c61	🔥 the Eavesdrop effect.	2018-10-25 23:13:47 -04:00
Rob Rix	2a600ee28a	Give a type signature for evalModule.	2018-10-25 23:10:37 -04:00
Rob Rix	3979ea4e86	🔥 disjunction.	2018-10-25 22:56:08 -04:00
Rob Rix	d4c6edb156	🔥 Disjunction.	2018-10-25 22:54:00 -04:00
Rob Rix	bc08525229	Don’t specialize disjunction.	2018-10-25 22:50:16 -04:00
Rob Rix	40cb8c75eb	Merge pull request #2224 from github/higher-order-effects ... Higher-order effects	2018-10-25 22:44:11 -04:00
Rob Rix	5c6801a272	Parameterize evaluate by a function running all the effects.	2018-10-25 22:23:47 -04:00
Rob Rix	52ed317fe6	Treat the prelude as a sort of a module.	2018-10-25 21:52:37 -04:00
Rob Rix	ce407d1c9e	Move a bunch of the evaluation machinery to Semantic.Analysis.	2018-10-25 21:40:37 -04:00
Rob Rix	1414df368d	Define a high-level Semantic.Analysis module.	2018-10-25 21:31:38 -04:00
Rob Rix	830fde2104	Simplify evaluate to take the term evaluator.	2018-10-25 21:22:22 -04:00
Rob Rix	428d92788b	Sort a couple of constraints down.	2018-10-25 21:13:28 -04:00
Rob Rix	b738dcc12b	Run effects in module analysis.	2018-10-25 21:03:51 -04:00
Rob Rix	64df59c4bf	Extract evalTerm.	2018-10-25 20:55:07 -04:00
Rob Rix	127282e6ce	Merge branch 'master' into higher-order-effects	2018-10-25 20:53:10 -04:00