19968 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	5ded571e83	📝 Quietly.	2018-03-26 10:41:11 -04:00
Rob Rix	24b98ced9b	🔥 some unnecessary scoped type variables.	2018-03-26 10:31:41 -04:00
Rob Rix	a8578c69bf	Don’t silence exceptions in Evaluating.	2018-03-26 10:31:24 -04:00
Rob Rix	587c078171	Silence unspecialized exceptions.	2018-03-26 10:28:14 -04:00
Rob Rix	a9c5955027	Merge remote-tracking branch 'origin/remove-fail' into quiet-analysis	2018-03-26 10:21:32 -04:00
Rob Rix	b7f7ff3e68	Merge branch 'master' into remove-fail	2018-03-26 10:08:54 -04:00
Rob Rix	d298077096	Stub in a MonadAnalysis instance.	2018-03-26 10:07:43 -04:00
Rob Rix	a4aae6a70c	Rename Quiet to Quietly.	2018-03-26 10:05:59 -04:00
Rob Rix	8b5ab170c3	Derive some standard instances.	2018-03-26 10:05:41 -04:00
Rob Rix	35e0063de9	Add a newtype for a quiet analysis.	2018-03-26 10:05:05 -04:00
Rob Rix	44f03209c4	Stub in a module for a quiet analysis.	2018-03-26 10:02:20 -04:00
Rob Rix	6037cb2d38	Merge branch 'imports,-graphed' into evaluate-in-the-outer-analysis	2018-03-26 09:53:47 -04:00
Rob Rix	9c57481efd	Fix up prelude use for Python.	2018-03-26 09:53:25 -04:00
Rob Rix	781399de4b	Whitespace tweaks.	2018-03-26 09:52:37 -04:00
Rob Rix	0c750ba24e	Merge branch 'imports,-graphed' into evaluate-in-the-outer-analysis	2018-03-26 09:51:15 -04:00
Rob Rix	b14db1821f	Fix up Semantic.Util.	2018-03-26 09:49:14 -04:00
Rob Rix	598c02ce21	Merge branch 'master' into imports,-graphed	2018-03-26 09:46:08 -04:00
Rob Rix	b221649b75	Merge branch 'master' into evaluate-in-the-outer-analysis	2018-03-26 09:40:42 -04:00
Rob Rix	066fc7cb79	Merge pull request #1664 from github/preludes-and-subclassing ... Implement language-specific preludes.	2018-03-26 09:13:28 -04:00
Patrick Thomson	b3827b041a	Merge branch 'master' into preludes-and-subclassing	2018-03-24 16:37:46 -04:00
Rob Rix	548ef27239	More restored doccos.	2018-03-24 01:09:38 -04:00
Rob Rix	833dc927e9	Restore some lost docs.	2018-03-24 01:08:47 -04:00
Rob Rix	c95f103783	Merge branch 'imports,-graphed' into evaluate-in-the-outer-analysis	2018-03-24 01:00:23 -04:00
Rob Rix	bc27cb2c15	🔥	2018-03-24 00:51:43 -04:00
Rob Rix	659bcc43a9	Align some things.	2018-03-24 00:42:31 -04:00
Rob Rix	2e228604cf	Merge branch 'master' into imports,-graphed	2018-03-24 00:35:50 -04:00
Rob Rix	cd99c99618	Reformat a couple of signatures.	2018-03-24 00:20:25 -04:00
Rob Rix	8d337dd759	Move Evaluatable back into its own module, along with some other stuff.	2018-03-23 20:49:43 -04:00
Rob Rix	cff84d463b	Only provide one coercible instance.	2018-03-23 20:43:34 -04:00
Rob Rix	2f3cd99d7e	Move a Monad constraint around.	2018-03-23 20:40:51 -04:00
Rob Rix	0b0bf455d4	Realign a thing.	2018-03-23 20:39:09 -04:00
Rob Rix	ca9476000b	Move the Recursive constraint into the MonadEvaluatable synonym.	2018-03-23 20:38:47 -04:00
Rob Rix	b94098cf3e	🔥 a commented-out definition.	2018-03-23 20:35:48 -04:00
Rob Rix	3800759ba3	Simplify the context for Evaluating’s MonadAnalysis instance.	2018-03-23 20:35:17 -04:00
Rob Rix	8fe368145d	🔥 the EvaluateModule exception.	2018-03-23 20:31:15 -04:00
Rob Rix	524cf3830c	🔥 MonadEvaluateModule.	2018-03-23 20:30:01 -04:00
Rob Rix	72de7d0bbd	Simplify an instance context.	2018-03-23 20:25:13 -04:00
Rob Rix	4231844a29	Move load/require back to the Evaluatable module.	2018-03-23 20:23:36 -04:00
Rob Rix	e5d45edfb5	🔥 some unnecessary ScopedTypeVariables.	2018-03-23 20:20:23 -04:00
Rob Rix	ce8a3a6d5d	Simplify a context.	2018-03-23 20:20:01 -04:00
Rob Rix	2cce44a9ec	Clean up a ton of imports.	2018-03-23 20:16:04 -04:00
Rob Rix	fb727c05cf	Move the MonadValue instances into the Value/Type modules.	2018-03-23 20:12:19 -04:00
Rob Rix	d99877d397	Move MonadValue back to Control.Abstract.Value.	2018-03-23 19:53:19 -04:00
Rob Rix	468d85bb2c	what if analysis composition worked	2018-03-23 19:50:04 -04:00
Timothy Clem	343d8e68ac	Implement evaluation of modules	2018-03-23 16:35:31 -07:00
Timothy Clem	e806282ca0	Make go packages into their own syntaxes for now	2018-03-23 16:34:49 -07:00
Timothy Clem	ecc8075946	Pull out letrec' and makeNamespace to reuse elsewhere	2018-03-23 16:34:33 -07:00
Timothy Clem	b72b9b152b	Merge pull request #1674 from github/everyone-loves-comments ... Mini PR: comment on namespace evaluation	2018-03-23 16:24:04 -07:00
Rob Rix	1fb1707d8a	List MonadValue’s exports explicitly.	2018-03-23 19:23:46 -04:00
Timothy Clem	3d619c0e2e	It's OK for there to be no params	2018-03-23 16:05:32 -07:00