25882 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Timothy Clem	44b8e9249a	Align the things	2018-09-26 16:54:48 -05:00
Timothy Clem	aa034e41bc	Refactor back to just Range	2018-09-26 14:26:56 -05:00
Timothy Clem	d6302cd687	Cleanup	2018-09-26 14:25:00 -05:00
Timothy Clem	c8dfe57a48	Remove Data.Record entirely	2018-09-26 14:05:29 -05:00
Timothy Clem	fdc8d5210a	Custom Show for Range and Span	2018-09-26 13:56:20 -05:00
Timothy Clem	1913277e74	Replace the annotation necessary for toc ... Includes span in Declaration, refactors toc functions to remove a layer of maybe	2018-09-26 13:54:16 -05:00
Timothy Clem	f6f556fb32	TOC is the only thing with a custom annotation right now	2018-09-25 17:09:43 -05:00
Rob Rix	891f238179	Merge branch 'master' into first-order-closures	2018-09-25 16:53:41 -05:00
Timothy Clem	a6ad3f7f59	Reduce usage of DiffAnnotation	2018-09-25 16:52:40 -05:00
Rob Rix	29f6438609	🔥 a commented-out import.	2018-09-25 16:42:13 -05:00
Rob Rix	eb5a241edd	Ignore a warning about reducing duplication.	2018-09-25 16:41:50 -05:00
Rob Rix	086b3b5624	🔥 some unnecessary language extensions.	2018-09-25 16:40:07 -05:00
Rob Rix	0653832d9d	Swap the order of the parameters to Value.	2018-09-25 16:38:05 -05:00
Timothy Clem	f040234cf0	Don't need this	2018-09-25 16:06:02 -05:00
Timothy Clem	810d47300c	Annoying that we always have to decorate here...	2018-09-25 15:59:09 -05:00
Rob Rix	6affc61d26	The tests pass. That’s all that matters.	2018-09-25 15:17:06 -05:00
Rob Rix	2db44ac715	Fix the eval spec.	2018-09-25 14:41:57 -05:00
Timothy Clem	505c61959e	This goes back to throwing now	2018-09-25 14:04:58 -05:00
Timothy Clem	0a971c4ec8	Docs and a type synonym	2018-09-25 14:00:50 -05:00
Timothy Clem	eabd5b97e2	Minor refactor so we still get errors when we want that behavior	2018-09-25 14:00:39 -05:00
Rob Rix	f3c20a8fad	ConcreteEff is no more.	2018-09-25 13:40:07 -05:00
Rob Rix	06831f7f4d	🔥 some unused parametetrs.	2018-09-25 13:37:07 -05:00
Timothy Clem	14c175156d	Decorator algebras in fully control of their return data	2018-09-25 12:04:25 -05:00
Timothy Clem	5e2241ffe9	Don't need to know about Record here either	2018-09-25 11:20:57 -05:00
Timothy Clem	278e6890cd	Fix up the tests	2018-09-25 11:18:51 -05:00
Timothy Clem	786acbdc6a	Don't need any patterns here	2018-09-25 11:18:28 -05:00
Timothy Clem	0a837dfb97	Expose stripDiff	2018-09-25 11:18:10 -05:00
Timothy Clem	df7176e9a2	Don't need to know about Location here	2018-09-25 11:18:02 -05:00
Timothy Clem	9b641b4a4a	The end of Record fields	2018-09-24 17:14:52 -05:00
Timothy Clem	38a4bb38f2	WIP - replace Record across the project ... Not quiet there with Diff and decorators yet	2018-09-21 13:46:25 -07:00
Rob Rix	605687fe37	Define built-ins as part of the Function effect.	2018-09-21 16:21:27 -04:00
Rob Rix	c6769d2e01	Resume using a first-order definition of functions.	2018-09-21 14:42:57 -04:00
Timothy Clem	a481f2ac2e	TypeOperators required	2018-09-21 09:47:36 -07:00
Timothy Clem	dfe8c842ed	Term doesn't need to know about Record	2018-09-21 09:42:24 -07:00
Timothy Clem	d656988dd0	Merge pull request #2188 from github/while-effect ... Implement while as an effect	2018-09-21 09:33:12 -07:00
Timothy Clem	faab30add2	Don't eagerly run while bodies	2018-09-21 09:14:07 -07:00
Josh Vera	e92d9e84f0	Merge branch 'master' into while-effect	2018-09-20 16:09:04 -04:00
Rob Rix	98b1b1e16b	🔥 builtInExport.	2018-09-20 15:22:09 -04:00
Rob Rix	6993b39ab0	Define eval open-recursively.	2018-09-20 14:16:22 -04:00
Timothy Clem	4a84736162	Docs	2018-09-20 10:31:13 -07:00
Rob Rix	29532a114d	Evaluate modules using open recursion.	2018-09-20 13:12:19 -04:00
Rob Rix	c75defc821	📝 Open.	2018-09-20 13:02:24 -04:00
Rob Rix	8b41c2bdfb	Move the Open synonym to Evaluator.	2018-09-20 13:02:00 -04:00
Rob Rix	9f4e278b1a	Use a type synonym for the open recursion.	2018-09-20 13:01:23 -04:00
Rob Rix	038b56970e	Parameterize Evaluator by the term type.	2018-09-20 12:43:59 -04:00
Timothy Clem	741a3b25d6	Implement doWhile in terms of the new while effect	2018-09-20 09:42:55 -07:00
Timothy Clem	fdfc47e168	Implement runWhile for Abstract and Type semantics	2018-09-20 09:14:34 -07:00
Timothy Clem	ceead75b69	Get interpose working and an abort to our loopcontrol effect	2018-09-20 08:41:17 -07:00
Timothy Clem	0341f21901	WIP - implement while/looping as an effect	2018-09-19 15:00:51 -07:00
Timothy Clem	bc7ea051e1	Merge pull request #2186 from github/tree-sitter-bumpity-bump ... ++tree-sitter, one more once	2018-09-19 12:21:55 -07:00