12471 Commits

Author	SHA1	Message	Date
Rob Rix	28401e4cbe	Extract a helper to parse a list of files.	2018-03-22 12:56:38 -04:00
Rob Rix	bf7edd1179	Extend the graph as modules are imported.	2018-03-22 12:38:34 -04:00
Rob Rix	7bd0c0f437	Define >< as a convenient synonym for connect.	2018-03-22 12:38:13 -04:00
Rob Rix	dad4cf5490	Define a helper to modify the import graph.	2018-03-22 12:37:43 -04:00
Rob Rix	c782a8f266	Warn against divergence.	2018-03-22 12:29:42 -04:00
Rob Rix	ed7513452b	📝 askModuleStack.	2018-03-22 12:29:14 -04:00
Rob Rix	27c2f6603b	Define a method to ask for the current module stack.	2018-03-22 12:29:06 -04:00
Rob Rix	6abf2a85fe	Push the current module onto the stack.	2018-03-22 12:28:35 -04:00
Rob Rix	f38a7d67de	Add a stack of currently-evaluating modules.	2018-03-22 12:26:11 -04:00
Rob Rix	fad70ebc37	🔥 a redundant import.	2018-03-22 12:25:34 -04:00
Rob Rix	fd2dee040f	🔥 the algebra/advanced overlap stuff.	2018-03-22 12:17:10 -04:00
Rob Rix	cb790c9b9c	Add a state effect for the module graph.	2018-03-22 12:12:10 -04:00
Rob Rix	55abf44b16	Specialize evaluateModule.	2018-03-22 12:09:22 -04:00
Rob Rix	ae4e17911c	Stub in a MonadAnalysis instance for ImportGraphing.	2018-03-22 12:08:27 -04:00
Rob Rix	109c95d509	Define an ImportGraphing analysis.	2018-03-22 12:06:46 -04:00
Rob Rix	8cf5902a5e	Sort imports.	2018-03-22 12:02:17 -04:00
Rob Rix	25e9630976	Dedent the exports.	2018-03-22 12:01:49 -04:00
Rob Rix	065d97b73f	📝 fromList.	2018-03-22 11:55:52 -04:00
Rob Rix	3ee6f8ac14	Eta-reduce moduleForBlob.	2018-03-22 09:15:44 -04:00
Rob Rix	e7313c152c	🔥 a redundant extension.	2018-03-22 09:15:39 -04:00
Rob Rix	592fd3051e	Factor out the moduleNameForPath call.	2018-03-21 20:34:08 -04:00
Rob Rix	a8e07107e9	Extract the helper to construct a module name from a FilePath.	2018-03-21 20:32:41 -04:00
Rob Rix	6273a22c71	Tacit.	2018-03-21 20:31:18 -04:00
Rob Rix	36aa4e445c	Guard clauses.	2018-03-21 20:30:39 -04:00
Rob Rix	45dcfaad41	Refactor/align the language switch.	2018-03-21 20:27:42 -04:00
Rob Rix	16a0236c19	Infix.	2018-03-21 20:27:00 -04:00
Rob Rix	a751f60251	evaluateModule takes a Module.	2018-03-21 20:25:20 -04:00
Rob Rix	159f87a15f	evalAndCache takes a list of modules.	2018-03-21 20:23:45 -04:00
Rob Rix	aaeb85961a	Parse directly to modules.	2018-03-21 20:21:56 -04:00
Rob Rix	865bf650ce	Simplify the selection of the root.	2018-03-21 20:19:08 -04:00
Rob Rix	6591e0fdc4	Compute the list of modules in Semantic.Util.	2018-03-21 20:17:16 -04:00
Rob Rix	02dbaf964f	📝 withModules.	2018-03-21 20:14:16 -04:00
Rob Rix	a640fa0de3	Define a helper constructing modules from a list of blobs.	2018-03-21 20:13:20 -04:00
Rob Rix	2902b9c2a3	Make the root directory relative.	2018-03-21 20:11:44 -04:00
Rob Rix	7436f9605f	Define withModulesForBlobs in terms of withModules.	2018-03-21 20:06:27 -04:00
Rob Rix	da8d7315ed	Use a helper method to construct the pairs.	2018-03-21 20:05:01 -04:00
Rob Rix	bce72b1f0d	Define a fromList constructor for ModuleTables.	2018-03-21 20:03:32 -04:00
Rob Rix	b08969b44c	Define a withModules function running an action with a module table constructed from a list of modules.	2018-03-21 20:01:13 -04:00
Rob Rix	9819f2c29b	Rename withModules to withModulesForBlobs.	2018-03-21 19:59:14 -04:00
Rob Rix	99ab0a46cb	Define withModules using moduleForBlob.	2018-03-21 19:57:44 -04:00
Rob Rix	da02fc870d	📝 the arguments to moduleForBlob.	2018-03-21 19:55:01 -04:00
Rob Rix	842ab3403d	📝 moduleForBlob.	2018-03-21 19:52:52 -04:00
Rob Rix	7e2b8b93e4	Define a helper constructing a Module for a Blob relative to some root directory.	2018-03-21 19:52:20 -04:00
Rob Rix	1cc91b78dc	🔥 evaluate.	2018-03-21 19:46:03 -04:00
Rob Rix	21ee656538	Run the analysis directly in Util.	2018-03-21 19:45:47 -04:00
Rob Rix	ba73ae1eaa	🔥 evaluates.	2018-03-21 19:44:53 -04:00
Rob Rix	864606af8a	Call withModules directly in Semantic.Util.	2018-03-21 19:44:48 -04:00
Rob Rix	0f16b4e973	Move withModules into Control.Abstract.Analysis.	2018-03-21 19:35:15 -04:00
Rob Rix	1002395074	The Reader module table holds Modules.	2018-03-21 19:30:51 -04:00
Rob Rix	9d1cf41d63	Rename moduleTerm to moduleBody.	2018-03-21 19:20:08 -04:00