17429 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	60256cfe30	Extract the Store type into Data.Abstract.Store.	2017-11-30 18:32:05 -05:00
Rob Rix	efbe6988cc	Rename Abstract.Value to Data.Abstract.Value.	2017-11-30 18:27:35 -05:00
Rob Rix	576f7774ea	Rename Abstract.Type to Data.Abstract.Type.	2017-11-30 18:21:02 -05:00
Rob Rix	e614b818a7	Rename Abstract.Address to Data.Abstract.Address.	2017-11-30 18:08:46 -05:00
Rob Rix	105eb793e1	Rename Abstract.FreeVariables to Data.Abstract.FreeVariables.	2017-11-30 18:02:14 -05:00
Rob Rix	627f6fb731	Rename Abstract.Configuration to Data.Abstract.Configuration.	2017-11-30 17:57:58 -05:00
Rob Rix	536ea7e1b1	Rename Abstract.Environment to Data.Abstract.Environment.	2017-11-30 17:55:18 -05:00
Rob Rix	d3aacd96e6	Rename Abstract.Eval to Analysis.Abstract.Eval.	2017-11-30 17:51:38 -05:00
Rob Rix	2df600835f	Move MonadGC into its own module.	2017-11-30 17:43:30 -05:00
Rob Rix	e938875a93	Rename Abstract.Monad.Env to Control.Monad.Effect.Env.	2017-11-30 17:38:19 -05:00
Rob Rix	251520f926	Move MonadFresh into its own module.	2017-11-30 17:33:26 -05:00
Rob Rix	cd8a79a2a9	Fresh operates over TName instead of Int.	2017-11-30 17:24:25 -05:00
Rob Rix	5f8aa1e573	Merge branch 'master' into integrate-abstract-interpretation	2017-11-30 17:16:26 -05:00
Rob Rix	44bdfbe8b6	Merge pull request #1447 from github/musical-modules ... ♩ Musical modules ♫	2017-11-30 17:09:08 -05:00
Rob Rix	d1da673a9f	More docs for F- & R-algebras. ... cc @joshvera — I talked a little about open recursion as well.	2017-11-30 17:04:36 -05:00
Rob Rix	755f12a2b4	Simplify the language extensions in the environment module.	2017-11-30 16:02:52 -05:00
Rob Rix	1564d11ecd	🔥 ambiguous types & type applications in Value.	2017-11-30 15:59:36 -05:00
Rob Rix	4d6f982240	🔥 ambiguous types in Store.	2017-11-30 15:58:58 -05:00
Rob Rix	52997e736e	🔥 ambiguous types & type applications in Eval.	2017-11-30 15:57:03 -05:00
Rob Rix	f996b9ddff	🔥 the location parameter to MonadCacheIn & MonadCacheOut.	2017-11-30 15:55:14 -05:00
Rob Rix	3f1a94efb7	🔥 the location parameter to MonadGC.	2017-11-30 15:53:51 -05:00
Rob Rix	e26cc860fd	🔥 the location parameter to MonadEnv.	2017-11-30 15:48:01 -05:00
Rob Rix	9f5a5e0469	Move MonadEnv into its own module.	2017-11-30 15:44:58 -05:00
Rob Rix	609b1a1786	🔥 a few type applications.	2017-11-30 15:38:43 -05:00
Rob Rix	a5c615e095	Specialize MonadStore to use the location for the given value type.	2017-11-30 15:35:07 -05:00
Rob Rix	57f531edf2	Move envLookupOrAlloc to Abstract.Store.	2017-11-30 14:46:26 -05:00
Rob Rix	77e2576d38	Break Abstract.Value’s dependency on Abstract.Store.	2017-11-30 14:44:21 -05:00
Rob Rix	671ddbee55	Fix the module name.	2017-11-30 14:42:38 -05:00
Rob Rix	36b00f4ab5	Derive the Foldable, Functor, Traversable, Eq1, Ord1, & Show1 instances.	2017-11-30 13:21:38 -05:00
Rob Rix	630523e2a4	Derive the Eq, Ord, & Show instances for Store &c.	2017-11-30 13:09:49 -05:00
Rob Rix	24af666487	Derive a Generic1 instance for Store.	2017-11-30 13:01:17 -05:00
Rob Rix	0d44b932de	Store is indexed by locations instead of addresses.	2017-11-30 13:00:18 -05:00
Rob Rix	03b5329bd4	Move Cell into Address.	2017-11-30 12:48:21 -05:00
Rob Rix	48f9ee5bfe	Derive the Foldable, Functor, & Traversable instances for Latest.	2017-11-30 12:20:33 -05:00
Rob Rix	6dd9e99ce4	Derive the Foldable, Functor, & Traversable instances for Address.	2017-11-30 12:20:12 -05:00
Rob Rix	4c28956c6d	Rename I to Latest.	2017-11-30 12:18:03 -05:00
Rob Rix	b08d7bd5fa	Precise cells merge by taking the new value.	2017-11-30 12:17:06 -05:00
Rob Rix	05dbdb21f5	Move I into Abstract.Address.	2017-11-30 12:15:51 -05:00
Rob Rix	256125c059	Move Precise & Monovariant into Abstract.Address.	2017-11-30 12:12:35 -05:00
Rob Rix	636109e5ef	Move Address into its own module.	2017-11-30 12:06:30 -05:00
Rob Rix	2721f03946	Derive the Eq1, Ord1, & Show1 instances for I generically.	2017-11-30 11:56:36 -05:00
Rob Rix	098e5a9706	Derive the Eq1, Ord1, & Show1 instances for Closure generically.	2017-11-30 11:51:28 -05:00
Rob Rix	10f7ed7978	Merge branch 'master' into integrate-abstract-interpretation	2017-11-30 11:30:55 -05:00
Rob Rix	e22e1cf3bc	Merge branch 'master' into musical-modules	2017-11-30 10:00:12 -05:00
Rob Rix	633155a2e4	Merge pull request #1448 from github/bump-effects ... Fix the inadvertent rollback of effects.	2017-11-30 09:59:45 -05:00
Rob Rix	c1d96c7071	Fix the inadvertent rollback of effects.	2017-11-30 09:54:17 -05:00
Rob Rix	cbd02eab7b	Merge branch 'master' into musical-modules	2017-11-30 09:53:19 -05:00
Timothy Clem	66324caacd	No need for foldable	2017-11-29 20:54:28 -08:00
Timothy Clem	3bd401d0cc	Extract an envLookupOrAlloc function	2017-11-29 20:54:07 -08:00
Timothy Clem	f4414287cb	Type check input params/args too	2017-11-29 20:10:16 -08:00