19867 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
joshvera	c96cdc5fbf	No need for GADTs	2018-03-22 11:42:27 -04:00
joshvera	73a821f856	++effects	2018-03-22 11:42:20 -04:00
joshvera	a8c9c815ef	Rename NonDetEff to NonDet	2018-03-22 10:35:25 -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
Timothy Clem	6591c81e4e	Proper nesting of namespace environments (this is messy) ... Co-Authored-By: Josh Vera <vera@github.com>	2018-03-21 16:18:58 -07:00
Rob Rix	5af7154996	Derive a bunch of instances for Module.	2018-03-21 19:09:37 -04:00
Rob Rix	84843b8a60	Move ModuleName to Module.	2018-03-21 19:09:16 -04:00
Rob Rix	f032aec337	Define a Module type.	2018-03-21 19:09:06 -04:00
Rob Rix	f476eb22bd	Stub in a Data.Abstract.Module module.	2018-03-21 17:59:16 -04:00
Rob Rix	56dbd8b6a1	Copy the CallGraph stuff into a new module.	2018-03-21 17:58:47 -04:00
Rob Rix	d645481dcf	📝 AppMerge is a Monoid too.	2018-03-21 17:29:48 -04:00
Rob Rix	6a785e0b30	Remove the Monoid instance for App, as it’s unlawful.	2018-03-21 17:26:32 -04:00
Rob Rix	aab509cf63	Test the identity properties.	2018-03-21 17:26:07 -04:00
Rob Rix	b55010c2c1	Define shrinking.	2018-03-21 17:22:34 -04:00
Patrick Thomson	91c6731921	add evaluateWith	2018-03-21 17:21:59 -04:00
Rob Rix	6be056bd9a	Swap the order of the types.	2018-03-21 17:16:31 -04:00
Rob Rix	c6148c6cad	Test the associativity of the semigroup instances.	2018-03-21 17:16:09 -04:00
Rob Rix	69a4e4cc2e	🔥 Imperative.	2018-03-21 17:08:52 -04:00
Rob Rix	256623a818	eval lists in App.	2018-03-21 17:08:25 -04:00