25887 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	02701fccd8	Simplify the UnspecializedError carriers.	2018-10-22 12:05:57 -04:00
Rob Rix	f6780cdfeb	Simplify the TypeError carriers.	2018-10-22 12:02:48 -04:00
Rob Rix	c3623b16c7	Simplify the AddressError carriers.	2018-10-22 11:59:31 -04:00
Rob Rix	6b15bf489c	Simplify the EnvironmentError carriers.	2018-10-22 11:58:46 -04:00
Rob Rix	db9947e742	Simplify the ValueError carriers.	2018-10-22 11:57:56 -04:00
Rob Rix	6dac2fee6e	Simplify the LoadError carrier.	2018-10-22 11:56:59 -04:00
Rob Rix	e0bb0fd094	Simplify the ResolutionError carriers.	2018-10-22 11:53:31 -04:00
Rob Rix	5529055ff8	🔥 the term parameter to ModuleC.	2018-10-22 11:51:26 -04:00
Rob Rix	f20324b064	Simplify the ScopeEnv carrier.	2018-10-22 11:50:31 -04:00
Rob Rix	8769f7ab20	Simplify the ModuleInfo carrier.	2018-10-22 11:47:40 -04:00
Rob Rix	727cbbbf94	Simplify the DerefC carriers.	2018-10-22 11:46:42 -04:00
Rob Rix	a18f8e5c32	Simplify the Located/Hole AllocatorC Carrier instances.	2018-10-22 11:46:32 -04:00
Rob Rix	d86f676856	Derive a bunch of instances for AllocatorC/DerefC.	2018-10-22 11:45:44 -04:00
Rob Rix	d92fd391fd	Simplify the carrier for Env.	2018-10-22 11:19:07 -04:00
Rob Rix	02b92a5962	Simplify the carrier for Allocator.	2018-10-22 11:14:40 -04:00
Rob Rix	77ca843a52	Simplify the carriers for LoopControl & Return.	2018-10-22 11:03:09 -04:00
Rob Rix	034e2469ff	Bump higher-order-effects.	2018-10-22 10:26:15 -04:00
Rob Rix	a7f59e55bc	SomeError, not SomeExc.	2018-10-22 09:53:59 -04:00
Rob Rix	2d2b3421db	Error, not Exc.	2018-10-22 09:48:10 -04:00
Rob Rix	3ef2efa73a	Merge branch 'master' into higher-order-effects	2018-10-22 09:45:57 -04:00
Patrick Thomson	3ae2ddf7be	Merge pull request #2215 from github/avoid-recompiling-git ... Prevent unnecessary recompilation of Semantic.Version in dev mode.	2018-10-19 17:05:22 -04:00
Rob Rix	64a4a65152	Comment out the concrete WhileC Carrier instance.	2018-10-19 14:46:36 -04:00
Rob Rix	1bb04f5446	Interpose in the runPythonPackaging mechanism.	2018-10-19 14:46:18 -04:00
Rob Rix	45f9d1a19e	Extract the Effs in some key places.	2018-10-19 14:45:56 -04:00
Rob Rix	29e29f80bd	Add a missing Effect constraint.	2018-10-19 14:45:39 -04:00
Rob Rix	c2450c67b0	Add some missing Monad constraints.	2018-10-19 14:45:31 -04:00