25913 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	66188d7c7a	Correct the method names.	2018-10-23 12:15:11 -04:00
Rob Rix	bf411cc8ea	Define a REPL carrier.	2018-10-23 12:14:02 -04:00
Rob Rix	eee94e6aca	handle, not handleState.	2018-10-23 12:09:03 -04:00
Rob Rix	546add053c	Fix some imports.	2018-10-23 12:08:21 -04:00
Rob Rix	55888b1a5f	Specialize evaluateProjectWithCaching to Monovariant addresses.	2018-10-23 12:07:24 -04:00
Rob Rix	8b945859f3	Raise the Eff handlers to Evaluator.	2018-10-23 12:04:45 -04:00
Rob Rix	670f65190c	Raise some handlers.	2018-10-23 12:03:19 -04:00
Rob Rix	05f59347b2	Use runHeap for the heap effect.	2018-10-23 12:01:53 -04:00
Rob Rix	1dc9e997e3	🔥 the redundant parameter to runFresh.	2018-10-23 12:01:38 -04:00
Rob Rix	f545665403	Run the module table effect with the helper.	2018-10-23 12:00:40 -04:00
Rob Rix	80ab393d79	🔥 the redundant parameters to evaluate.	2018-10-23 11:57:37 -04:00
Rob Rix	2bee99d97e	Run trace by printing.	2018-10-23 11:56:17 -04:00
Rob Rix	422d1a6db0	🔥 some redundant Monad constraints.	2018-10-23 11:54:34 -04:00
Rob Rix	9bae2bfcb2	Add a missing Effect constraint.	2018-10-23 11:54:19 -04:00
Rob Rix	e2c64f336a	Run in Eff.	2018-10-23 11:52:45 -04:00
Rob Rix	5b2f070558	Raise some handlers.	2018-10-23 11:51:51 -04:00
Rob Rix	7ac4b5dbcb	🔥 the call to runPythonPackaging for the moment.	2018-10-23 11:51:20 -04:00
Rob Rix	82956152c6	Re-add the WhileC Carrier instance for the concrete domain.	2018-10-23 11:41:16 -04:00
Rob Rix	c4aaa86230	Generalize disjunction over the carrier.	2018-10-23 11:39:09 -04:00
Rob Rix	c53a6aa511	Interpose with an upcast.	2018-10-23 11:30:58 -04:00
Rob Rix	92ac53252e	Define upcasting to InterposeC.	2018-10-23 09:45:33 -04:00
Rob Rix	edbf882fa9	Raise the graph state handler.	2018-10-23 09:43:57 -04:00
Rob Rix	bc094e6014	Add some Effect constraints.	2018-10-23 09:43:26 -04:00
Rob Rix	ee17c526e6	Specify the value type.	2018-10-23 09:41:46 -04:00
Rob Rix	6697e2f9e5	runEvaluator produces Eff.	2018-10-23 09:41:36 -04:00
Rob Rix	0a337d5a25	Eavesdrop without changing the type of analyzeModule.	2018-10-23 09:31:43 -04:00
Rob Rix	f4faaed464	Define upcasting on Eff.	2018-10-23 09:31:11 -04:00
Rob Rix	21f17ff56f	Clean up a bunch of algebras.	2018-10-22 20:30:07 -04:00
Rob Rix	314aff5d56	Bump higher-order-effects for Resource & some handler helpers.	2018-10-22 20:18:36 -04:00
Rob Rix	11ccb849a6	Fix a dodgy import.	2018-10-22 20:18:16 -04:00
Rob Rix	08c95f894d	Simplify the eavesdropping carriers.	2018-10-22 13:06:59 -04:00
Rob Rix	bfe5406fad	Fix up some type applications.	2018-10-22 13:00:57 -04:00
Rob Rix	119cdad2d2	Raise a bunch of handlers.	2018-10-22 12:58:06 -04:00
Rob Rix	5ea78e922e	Simplify the Modules carrier.	2018-10-22 12:57:58 -04:00
Rob Rix	60b27e84f5	Simplify the collecting carriers.	2018-10-22 12:57:51 -04:00
Rob Rix	4338e5b5b9	Simplify the flow-sensitive carriers.	2018-10-22 12:57:46 -04:00
Rob Rix	9021472361	Simplify the flow-insensitive carriers.	2018-10-22 12:57:39 -04:00
Rob Rix	56eae42043	Simplify the While carriers.	2018-10-22 12:49:01 -04:00
Rob Rix	ee077944ca	Generalize the Abstract.Boolean smart constructors.	2018-10-22 12:45:36 -04:00
Rob Rix	9b3fb906ae	Simplify the BooleanC carriers.	2018-10-22 12:38:43 -04:00
Rob Rix	a06ede905e	📝 raiseHandler.	2018-10-22 12:27:50 -04:00
Rob Rix	9fbbd9a667	Generalize unify.	2018-10-22 12:27:13 -04:00
Rob Rix	3c267f2757	Generalize substitute.	2018-10-22 12:27:06 -04:00
Rob Rix	0960f0cd9e	Generalize throwTypeError.	2018-10-22 12:26:54 -04:00
Rob Rix	aba2afece7	Generalize throwBaseError.	2018-10-22 12:26:16 -04:00
Rob Rix	dcc30249c4	Simplify the graphing carriers.	2018-10-22 12:21:20 -04:00
Rob Rix	3dcdf3f769	The triumphant return of raiseHandler.	2018-10-22 12:21:10 -04:00
Rob Rix	d45cfbdcdc	Define a raiseHandler helper.	2018-10-22 12:15:08 -04:00
Rob Rix	9a3d534324	Simplify all the error handlers.	2018-10-22 12:13:41 -04:00
Rob Rix	e3dd3b51a3	Simplify the EvalError carriers.	2018-10-22 12:06:45 -04:00