20198 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Rob Rix	fdb94b085d	MonadAddressable depends on MonadFresh instead of MonadHeap.	2018-03-29 22:30:23 -04:00
Rob Rix	0e0f3a9d4b	Fresh doesn’t refer to TName.	2018-03-29 22:24:18 -04:00
Rob Rix	63a3b8d642	Define MonadAddressable in terms of cell dereferencing.	2018-03-29 22:22:08 -04:00
Rob Rix	1b90003f6f	🔥 LocatedValue.	2018-03-29 22:11:58 -04:00
Rob Rix	65af3ad238	Decouple Type from Monovariant.	2018-03-29 22:05:18 -04:00
Rob Rix	cf00b9c1ed	Decouple Value from Precise.	2018-03-29 22:03:21 -04:00
Rob Rix	8b4c6cf439	🔥 the value parameter from MonadAddressable.	2018-03-29 21:56:43 -04:00
Rob Rix	d3725cbab0	🔥 the *For type synonyms.	2018-03-29 21:41:38 -04:00
Rob Rix	b8d1369cc7	🔥 the re-exports of the *For synonyms.	2018-03-29 21:40:32 -04:00
Rob Rix	6fff428352	Parameterize ValueExc by the location type.	2018-03-29 21:39:34 -04:00
Rob Rix	7641b20d06	🔥 some obsolete comments referencing LocationFor.	2018-03-29 21:37:33 -04:00
Rob Rix	37ac53fdd8	🔥 a redundant constraint.	2018-03-29 21:37:23 -04:00
Rob Rix	1689b622ba	Parameterize MonadAnalysis by the location type.	2018-03-29 21:36:11 -04:00
Rob Rix	c4fcb23601	Parameterize MonadValue by the location type.	2018-03-29 21:07:35 -04:00
Rob Rix	ceed6c844a	Parameterize MonadEvaluator by the location type.	2018-03-29 20:58:36 -04:00
Rob Rix	cb2b38da08	Parameterize MonadModuleTable by the location type.	2018-03-29 20:50:08 -04:00
Rob Rix	0c57eca3e0	Parameterize MonadEnvironment by the location type.	2018-03-29 20:46:17 -04:00
Rob Rix	c6d06c632b	Parameterize MonadHeap by the location type.	2018-03-29 20:38:23 -04:00
Rob Rix	a60682ee69	🔥 the constraint relating the location and value types.	2018-03-29 20:19:01 -04:00
Rob Rix	828bb29636	Rename the location type parameter.	2018-03-29 20:18:17 -04:00
Rob Rix	5ee3bf001e	Merge branch 'simpler-analysis-types' into symbol-resolution	2018-03-29 20:00:01 -04:00
Rob Rix	8da7ec2374	Correct a documentation comment.	2018-03-29 19:39:59 -04:00
Rob Rix	749e366189	Sort another context.	2018-03-29 18:28:30 -04:00
Rob Rix	a10d71b152	Sort a context.	2018-03-29 18:27:47 -04:00
Rob Rix	3337a40517	Rename RequiredEffects to Effects.	2018-03-29 18:25:49 -04:00
Rob Rix	14b65fd32b	Explicitly list the Control.Effect exports.	2018-03-29 18:13:48 -04:00
Rob Rix	de14ef7625	Align all the derived instances.	2018-03-29 18:07:00 -04:00
Rob Rix	5f4b68804c	Export the types only but without the explicit namespace.	2018-03-29 18:03:48 -04:00
Rob Rix	9673375765	🔥 a redundant hide.	2018-03-29 18:01:39 -04:00
Rob Rix	dd9e454583	Inline the definition of trace.	2018-03-29 18:01:16 -04:00
Rob Rix	7f019d44e0	🔥 some indentation.	2018-03-29 17:59:25 -04:00
Rob Rix	90b79c73f9	Modify strictly.	2018-03-29 17:58:59 -04:00
Rob Rix	ca9533b06e	🔥 the term & value parameters.	2018-03-29 17:56:22 -04:00
Josh Vera	3e0c8a08d8	Merge pull request #1691 from github/less-fail ... Compute "holes" in the import graph	2018-03-29 11:47:55 -04:00
joshvera	e56781741c	Add docs	2018-03-29 11:36:02 -04:00
joshvera	f743e0b1d5	docs	2018-03-29 11:34:28 -04:00
joshvera	578e719ede	indentation	2018-03-29 11:28:39 -04:00
joshvera	bcd202d442	format	2018-03-29 11:28:01 -04:00
joshvera	9832779676	Add type signature	2018-03-29 11:27:41 -04:00
joshvera	46274ad9ef	Move insertVertexName to its own function	2018-03-29 11:22:58 -04:00
Rob Rix	9a36f7979f	Stub in part of a MonadValue instance for now	2018-03-29 10:04:43 -04:00
Rob Rix	fc262873f3	Rename the LocatedValue eliminator.	2018-03-29 09:56:50 -04:00
Rob Rix	c2f657202b	🔥 the MonadValue constraints on Value.	2018-03-29 09:40:45 -04:00
Rob Rix	1c03f9c4d9	Define a Location instance for Located.	2018-03-29 09:31:45 -04:00
Rob Rix	438c19dd50	Derive Eq, Ord, & Show instances for LocatedValue.	2018-03-29 09:31:08 -04:00
Rob Rix	e51d095372	Derive Eq, Ord, & Show instances for Located.	2018-03-29 09:30:48 -04:00
Rob Rix	8de38e0f73	Spell out Provenance’s definition.	2018-03-29 09:30:39 -04:00
Rob Rix	f85cf50f7a	Define an AbstractValue instance for LocatedValue.	2018-03-29 09:28:32 -04:00
Rob Rix	3466a6d3ff	Define a LocatedValue value type.	2018-03-29 09:28:20 -04:00
Rob Rix	6850aba2a4	Define a Located location type.	2018-03-29 09:28:07 -04:00