19565 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Timothy Clem	432be15f9d	Provide shortcut to isolating an action with localState	2018-03-15 10:32:37 -07:00
Timothy Clem	1edce2cd17	Curry exportInsert too	2018-03-15 09:02:58 -07:00
Timothy Clem	92d63dd1ff	Better names	2018-03-15 08:57:19 -07:00
Timothy Clem	7351b01304	modifyExports and curry addExports	2018-03-15 08:57:08 -07:00
Rob Rix	9547688b4a	📝 lookupWith.	2018-03-15 10:44:17 -04:00
Rob Rix	ae3b26c2a7	letrec uses lookupOrAlloc.	2018-03-15 10:41:29 -04:00
Rob Rix	a42af3cee5	lookupOrAlloc doesn’t assign.	2018-03-15 10:40:51 -04:00
Rob Rix	f8bfadf48f	lookupOrAlloc no longer returns the Name.	2018-03-15 10:39:36 -04:00
Rob Rix	9aa76f05c8	🔥 a redundant Semigroup constraint.	2018-03-15 10:37:52 -04:00
Rob Rix	031d67a209	Replace lookupOrAlloc with lookupOrAlloc'.	2018-03-15 10:37:00 -04:00
Rob Rix	3e77eb92ce	Pass the name in manually.	2018-03-15 10:36:46 -04:00
Rob Rix	af21fa48fe	🔥 a redundant import.	2018-03-15 10:36:21 -04:00
Rob Rix	6b7bacc7d3	Merge branch 'master' into call-graph-analysis	2018-03-15 10:34:38 -04:00
Rob Rix	300af7ebde	Correct the paths to the global env.	2018-03-15 10:23:50 -04:00
Rob Rix	3c6d4f9976	🔥 mentions of the obsolete *Value synonyms.	2018-03-15 10:14:22 -04:00
Rob Rix	84af53a4fa	📝 goto.	2018-03-15 10:12:31 -04:00
Rob Rix	6e68f0115a	📝 label.	2018-03-15 10:12:26 -04:00
Rob Rix	acd7051b34	📝 MonadControl.	2018-03-15 10:09:51 -04:00
Rob Rix	6764d31105	Note a TODO for Label.	2018-03-15 10:09:02 -04:00
Rob Rix	07ff06f2f0	📝 Label.	2018-03-15 10:08:57 -04:00
Rob Rix	5171020c70	Merge branch 'master' into jump-around,-jump-around	2018-03-15 10:05:42 -04:00
Rob Rix	f575c05257	🔥 Elaborating for now.	2018-03-15 10:01:23 -04:00
Patrick Thomson	29ad5503e4	Merge remote-tracking branch 'origin/master' into array-literals	2018-03-15 09:13:31 -04:00
Rob Rix	6831bc2502	Simplify the language extensions.	2018-03-14 21:40:43 -04:00
Rob Rix	fcf44b5a37	Rename Store to Heap.	2018-03-14 20:42:59 -04:00
Rob Rix	f68da42754	Simplify the superclasses of MonadValue.	2018-03-14 20:30:26 -04:00
Rob Rix	8378c0aed3	Correct the docs for Closure.	2018-03-14 20:27:15 -04:00
Rob Rix	272f6ec68a	Remove the term parameter from MonadValue.	2018-03-14 20:10:14 -04:00
Rob Rix	d47f91968a	Remove the term parameter from Value.	2018-03-14 20:04:55 -04:00
Rob Rix	d987682a63	Closures wrap labels.	2018-03-14 19:58:30 -04:00
Rob Rix	d6fd75143f	Require MonadControl for MonadEvaluator.	2018-03-14 19:54:52 -04:00
Rob Rix	c6baf4d873	Derive MonadControl instances for the other analyses.	2018-03-14 19:54:39 -04:00
Rob Rix	dfebaf7911	Define MonadControl for Evaluating.	2018-03-14 19:54:21 -04:00
Rob Rix	f022d0202c	Define a MonadControl typeclass which allocates and performs gotos.	2018-03-14 19:54:06 -04:00
Timothy Clem	87543edb9b	Whoops... should not have removed this	2018-03-14 16:29:58 -07:00
Timothy Clem	92693d0de5	Merge branch 'master' into export-wrapper	2018-03-14 16:23:03 -07:00
Timothy Clem	aeb49477a1	Update integration fixtures for changes to assignment	2018-03-14 16:13:41 -07:00
Timothy Clem	6cda6e5f57	Refactor wildcard vs. side effect imports	2018-03-14 16:13:27 -07:00
Timothy Clem	dfa51e7621	Clean up filtering of exported environment	2018-03-14 14:43:24 -07:00
Timothy Clem	383683320f	New type wrapper for exports	2018-03-14 14:29:03 -07:00
Rob Rix	3bba683093	Stub in a MonadValue instance for elaborated terms.	2018-03-14 16:56:17 -04:00
Rob Rix	c3ba46d82f	Define a MonadAnalysis instance.	2018-03-14 16:44:33 -04:00
Rob Rix	67c25c004a	Derive the evaluator instances.	2018-03-14 16:42:54 -04:00
Rob Rix	0c199987ca	Derive a bunch of instances.	2018-03-14 16:42:11 -04:00
Rob Rix	3ac59ce623	Define an elaborating analysis.	2018-03-14 16:39:58 -04:00
Rob Rix	e4b0d4c4a0	Merge pull request #1569 from github/fix-fix ... Fix loop typechecking	2018-03-14 16:39:23 -04:00
Rob Rix	95c5a63b48	Merge branch 'master' into fix-fix	2018-03-14 16:31:34 -04:00
Timothy Clem	8e6a75ebad	Merge pull request #1548 from github/import-language-tour ... Import language tour (with specs)	2018-03-14 13:25:04 -07:00
Timothy Clem	169af3a9f8	Remove commented out withExports	2018-03-14 12:55:27 -07:00
Rob Rix	6729a6ce58	We’ve already filtered out the bound variables.	2018-03-14 15:55:04 -04:00