19907 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	806308d3a3	Import Evaluator in Addressable.	2018-03-23 18:46:03 -04:00
Timothy Clem	690e839a5f	Comments	2018-03-23 15:10:52 -07:00
Patrick Thomson	3c22514063	Merge branch 'master' into preludes-and-subclassing	2018-03-23 18:10:49 -04:00
joshvera	cf4a87068e	Merge remote-tracking branch 'origin/master' into preludes-and-subclassing	2018-03-23 17:56:26 -04:00
Timothy Clem	9923690e38	Merge pull request #1671 from github/free-variables-as-list ... Free variables as a List (and only create a set when needed)	2018-03-23 14:55:51 -07:00
joshvera	37699190a7	redundant imports	2018-03-23 17:42:50 -04:00
Josh Vera	6961a46dfa	Merge branch 'master' into free-variables-as-list	2018-03-23 17:41:42 -04:00
joshvera	a149c76a05	Merge remote-tracking branch 'origin/master' into remove-fail	2018-03-23 17:40:22 -04:00
Josh Vera	963bdf0699	Merge pull request #1670 from github/query-final-helpers ... Some helpers to query Final	2018-03-23 17:10:34 -04:00
joshvera	486e645769	Remove ghc-mod	2018-03-23 17:03:59 -04:00
joshvera	ba3969c4b0	Merge remote-tracking branch 'origin/master' into query-final-helpers	2018-03-23 17:03:25 -04:00