20137 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	4120622002	To-DONE	2018-03-30 20:20:59 -04:00
Rob Rix	58f2821d98	Merge fills in incomplete information everywhere.	2018-03-30 20:18:05 -04:00
Rob Rix	351f757ed4	Move pushOrigin into Evaluatable.	2018-03-30 20:05:40 -04:00
Rob Rix	1de09bbb25	termOrigin takes a whole term.	2018-03-30 20:05:30 -04:00
Rob Rix	2e18c422f5	Take a hint.	2018-03-30 19:59:37 -04:00
Rob Rix	a522efcb1e	Hide an ambiguous symbol.	2018-03-30 19:53:23 -04:00
Rob Rix	803f36f5b2	Origin holds PackageInfo.	2018-03-30 19:50:48 -04:00
Rob Rix	c73166d089	moduleOrigin takes a Module again.	2018-03-30 19:50:38 -04:00
Rob Rix	0ebf115fae	Split PackageInfo into a new datatype.	2018-03-30 19:46:25 -04:00
Rob Rix	37535b1823	Origin stores ModuleInfo.	2018-03-30 19:44:31 -04:00
Rob Rix	11c584b6ff	Split module name/path into a ModuleInfo type.	2018-03-30 19:42:31 -04:00
Rob Rix	e6a63259fc	Add a helper to parse a package.	2018-03-30 19:37:03 -04:00
Rob Rix	bf94bd87e4	Truncate the package modules/entry points.	2018-03-30 19:34:02 -04:00
Rob Rix	aed9457896	🔥 withModules.	2018-03-30 19:09:37 -04:00
Rob Rix	5cf9dc20af	Pass a single list of modules around.	2018-03-30 19:09:03 -04:00
Rob Rix	e86db91b5a	Return the head value.	2018-03-30 19:06:13 -04:00
Rob Rix	4e3c607c37	Define evaluateModules in terms of evaluatePackage.	2018-03-30 19:05:32 -04:00
Rob Rix	52fa4c9c0f	Define an entry point for packages constructed from modules.	2018-03-30 19:01:17 -04:00
Rob Rix	f7325120ca	Define a singleton module table constructor.	2018-03-30 19:00:39 -04:00
Rob Rix	e1f9e34659	Define a helper to construct a package from a list of modules.	2018-03-30 18:58:23 -04:00
Rob Rix	be84d9ff78	Rename fromList to fromModules.	2018-03-30 18:55:15 -04:00
Rob Rix	fec4e09c25	Rename abstract to lambda.	2018-03-30 18:50:59 -04:00
Rob Rix	aa0ff616ab	Rename apply to call.	2018-03-30 18:49:34 -04:00
Rob Rix	89e5183af0	Use the variable helper to call entry points.	2018-03-30 18:48:11 -04:00
Rob Rix	f3b3191969	📝 variable.	2018-03-30 18:46:48 -04:00
Rob Rix	92011e8ef2	Define a variable convenience.	2018-03-30 18:45:48 -04:00
Rob Rix	fe3b9730c4	Use maybeM to evaluate identifiers.	2018-03-30 18:41:49 -04:00
Rob Rix	0355d81065	Reformat evaluatePackage.	2018-03-30 18:38:33 -04:00
Rob Rix	c3bd31ffc7	Evaluate every entry point.	2018-03-30 18:38:21 -04:00
Rob Rix	22ba234010	Use maybeM.	2018-03-30 18:24:57 -04:00
Rob Rix	a165d09e7f	More Functor laws.	2018-03-30 18:24:01 -04:00
Rob Rix	f488e1996e	Define fromList tacitly.	2018-03-30 18:22:46 -04:00
Rob Rix	7d911bde7c	Define a toPairs eliminator for ModuleTable.	2018-03-30 18:18:44 -04:00
Rob Rix	7d2fa60ae3	Semigroup.	2018-03-30 18:16:33 -04:00
Rob Rix	ccbeb00eb0	Entry points are represented as a map of module names to symbols.	2018-03-30 18:15:30 -04:00
Rob Rix	0d3dadb143	Functor laws.	2018-03-30 18:14:39 -04:00
Rob Rix	a8d03f2f3e	Rename the ModuleTable symbols.	2018-03-30 18:13:21 -04:00
Rob Rix	d63d956cc8	Set up the local module table.	2018-03-30 18:05:48 -04:00
Rob Rix	b32372e1bc	Reuse ModuleTable for a package’s modules.	2018-03-30 18:04:35 -04:00
Rob Rix	06b59fe9da	Push the package into scope.	2018-03-30 16:48:21 -04:00
Rob Rix	60f9fe4608	Stub in an evaluator for packages.	2018-03-30 16:44:00 -04:00
Rob Rix	88749f47ce	🔥 the Semigroup/Monoid instances for Package.	2018-03-30 16:42:46 -04:00
Rob Rix	0f3589b352	Merge branch 'symbol-resolution' into package-abstraction	2018-03-30 16:25:00 -04:00
Rob Rix	7375d18a6f	Merge branch 'master' into symbol-resolution	2018-03-30 16:24:32 -04:00
Rob Rix	9499105dad	Merge branch 'master' into package-abstraction	2018-03-30 16:19:45 -04:00
Rob Rix	ae52cca50a	Merge pull request #1683 from github/evaluate-let ... Evaluate let-clauses.	2018-03-30 16:18:59 -04:00
Rob Rix	f1a44db139	Merge modules’ packages.	2018-03-30 13:59:05 -04:00
Rob Rix	8796f915d4	Parameterize origin fields by () rather than term.	2018-03-30 13:55:21 -04:00
Rob Rix	3852a7207f	Define a Functor instance for Package.	2018-03-30 13:47:24 -04:00
Rob Rix	f4d1d21e6e	Align the constructors.	2018-03-30 13:46:35 -04:00