19980 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	6dd5e5954a	🔥 some quantification.	2018-03-26 12:01:49 -04:00
Patrick Thomson	7cd0558266	Evaluate nil/null literals.	2018-03-26 12:01:09 -04:00
Rob Rix	719f33106d	Spell out the parameters to the synonyms.	2018-03-26 12:00:26 -04:00
joshvera	126cdc5285	Make typeapplications a default extension	2018-03-26 12:00:19 -04:00
Rob Rix	1e2f63adaf	🔥 an unnecessary functional dependency.	2018-03-26 11:58:33 -04:00
Rob Rix	4e27fcdf36	Merge branch 'master' into evaluate-in-the-outer-analysis	2018-03-26 11:52:50 -04:00
Josh Vera	0afe70df71	Merge pull request #1663 from github/imports,-graphed ... Imports, graphed	2018-03-26 11:52:31 -04:00
Rob Rix	f14135a0f5	Merge branch 'imports,-graphed' into evaluate-in-the-outer-analysis	2018-03-26 11:48:50 -04:00
Rob Rix	31eef41359	Dedent.	2018-03-26 11:35:37 -04:00
Rob Rix	bfd3aa8e0d	Merge branch 'master' into imports,-graphed	2018-03-26 11:34:35 -04:00
Josh Vera	3d15e349aa	Merge pull request #1672 from github/remove-fail ... Add Resumable1 and specific exception types	2018-03-26 11:25:36 -04:00
joshvera	24c2eb7d67	docs	2018-03-26 11:11:11 -04:00
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