20214 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rick Winfrey	06a32b3d27	Remove now unneeded keyword assignment	2018-03-30 12:31:30 -07:00
Rick Winfrey	f9346d4c83	Bump haskell-tree-sitter to tree-sitter v 0.11	2018-03-30 12:31:14 -07: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
Rob Rix	1a37682084	🔥 MonadOrigin.	2018-03-30 13:42:49 -04:00
Rob Rix	754dfe7889	Use the origin effect for the current module.	2018-03-30 13:39:12 -04:00
Rob Rix	59c187c22f	Merging copies the module from terms.	2018-03-30 13:38:24 -04:00
Rob Rix	7e4e01fee6	Define a projection of modules out of origins.	2018-03-30 13:37:07 -04:00
Rob Rix	7cd0932197	Origins hold packages/modules/terms directly.	2018-03-30 13:28:48 -04:00
Rob Rix	fe8d855c1a	Derive some instances.	2018-03-30 13:15:02 -04:00
Rob Rix	9c74435e45	Define Semigroup & Monoid instances for Package.	2018-03-30 11:50:20 -04:00
Rob Rix	e84747cd3d	Package names are optional.	2018-03-30 11:49:36 -04:00
Rob Rix	4373928d38	Packages may have versions.	2018-03-30 11:45:05 -04:00
Rob Rix	3567ad1126	Entry points may have symbols.	2018-03-30 11:43:23 -04:00
Rob Rix	d9a33a1a8e	Packages may have entry points.	2018-03-30 11:42:51 -04:00
Rob Rix	1c6c860f78	Define a PackageName synonym.	2018-03-30 11:40:34 -04:00
Rob Rix	63d252b2ad	Packages have modules.	2018-03-30 11:39:45 -04:00
Rob Rix	a27d356072	Define a Package datatype.	2018-03-30 11:39:39 -04:00
Rob Rix	228ec0ea59	Stub in a module for a package abstraction.	2018-03-30 11:34:42 -04:00
Rob Rix	ee145328a6	🔥 redundant parens.	2018-03-30 11:00:14 -04:00
Rob Rix	9ab4f39223	Merge branch 'master' into symbol-resolution	2018-03-30 10:59:52 -04:00
Patrick Thomson	649999749b	Merge branch 'master' into evaluate-let	2018-03-30 10:59:23 -04:00
Rob Rix	e34d8ce898	Merge pull request #1695 from github/simpler-analysis-types ... Simpler analysis types	2018-03-30 10:59:10 -04:00
Rob Rix	743eaf0297	Rename the origin field.	2018-03-30 00:03:52 -04:00
Rob Rix	d3b2baa1b2	Define a single, universal instance of MonadOrigin.	2018-03-30 00:03:23 -04:00
Rob Rix	2ff1507410	Push the origin for the current term in analyzeTerm.	2018-03-29 23:58:10 -04:00
Rob Rix	2d22d9aa39	Define a HasOrigin typeclass which constructs an Origin from a term.	2018-03-29 23:57:34 -04:00