20187 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
Rob Rix	d49bc17aa7	Define LocationFor as an associated type family on an AbstractValue typeclass.	2018-03-29 09:18:10 -04:00
Rob Rix	095ece3182	Define a Location typeclass of which Cell is an associated type.	2018-03-29 09:07:53 -04:00
Rob Rix	9ce0fb1fef	Define Cell as an open type family.	2018-03-29 09:05:55 -04:00
Rob Rix	49a74de758	We don’t need injectivity for Cell.	2018-03-29 09:04:50 -04:00
Rob Rix	aa233f17e1	Note that we’ll need to handle dependencies.	2018-03-29 09:01:20 -04:00
Rob Rix	cebcd5daaa	Add a type synonym for the provenance of a symbol.	2018-03-29 09:00:48 -04:00
Rob Rix	fb38332849	Stub in a module for located names/values/whatever.	2018-03-29 09:00:25 -04:00
joshvera	281af6e231	hlint	2018-03-28 13:19:16 -04:00
joshvera	e8db080923	Merge remote-tracking branch 'origin/master' into less-fail	2018-03-28 13:12:20 -04:00
joshvera	af0793a7ad	Add Eq1 error instances and fix tests	2018-03-28 12:58:12 -04:00
Josh Vera	4b751034a5	Merge pull request #1687 from github/combined-state-effects ... Combined State effects	2018-03-28 12:02:29 -04:00