Rob Rix
|
246090e1b6
|
Revert "Define an AbstractValue typeclass with instances for Value & Type."
This reverts commit cc218ca7382f5eaba899c47f870c46aa40e2e7dc.
|
2018-03-14 15:42:49 -04:00 |
|
Rob Rix
|
a090c6027a
|
Revert "Generalize Environment over the address type."
This reverts commit b48d00b714e11c1af76eb49087d989b9b5c7e3c6.
|
2018-03-14 15:42:35 -04:00 |
|
Rob Rix
|
ed26b92bad
|
Revert "Rename a bunch of type parameters."
This reverts commit 646e3fd7cdfb1426ea6d47df828e42671abd8a39.
|
2018-03-14 15:41:57 -04:00 |
|
Rob Rix
|
4197dd0a92
|
Revert "Rename a bunch more type parameters."
This reverts commit 1371ea268403682b8fe6f72b8b6269f3622cc6fd.
|
2018-03-14 15:41:39 -04:00 |
|
Rob Rix
|
b854009e82
|
Revert "Define Cell as an open type family."
This reverts commit 678ccd0d90a687d4e7a606a90a2fc60cde62f424.
|
2018-03-14 15:41:31 -04:00 |
|
Rob Rix
|
5e24aba4b7
|
Revert "Define Cell as an associated type family."
This reverts commit 9f314af1d06735e0b3f2a766acb2c1871951c698.
|
2018-03-14 15:41:18 -04:00 |
|
Rob Rix
|
8ad1ee1ff3
|
Revert "We don’t actually need the functional dependency here."
This reverts commit 05bd4bd0df349a43409c25200280164e79447627.
|
2018-03-14 15:41:11 -04:00 |
|
Rob Rix
|
329bed869f
|
Revert "Rename some more type parameters."
This reverts commit f7f926908f74b9a3345021ed2dbbe762dd8162c9.
|
2018-03-14 15:40:57 -04:00 |
|
Rob Rix
|
f86c84a9fe
|
Revert "And some more type parameters."
This reverts commit a07d36fafcd067c696203323341e72e7b31f0310.
|
2018-03-14 15:40:51 -04:00 |
|
Rob Rix
|
5e96b88d9c
|
Revert "…and some more."
This reverts commit 4f6c091f13ad21b6995f96bd7d55e859ad43be4b.
|
2018-03-14 15:40:43 -04:00 |
|
Rob Rix
|
770ca5b290
|
Revert "Add superclass constraints to AbstractLocation."
This reverts commit 773e41f9f83272d6ca982b0075b6beb4177c94a1.
|
2018-03-14 15:40:37 -04:00 |
|
Rob Rix
|
0be76f15dc
|
Revert "Require Ord instances for LocationFor."
This reverts commit 3b0643057e71f7067c4b4a6220af339b74eda27a.
|
2018-03-14 15:40:26 -04:00 |
|
Rob Rix
|
d8a1b0e8f2
|
Revert "Rename a bunch more type parameters."
This reverts commit 67bf8306ad603b97a7b37d9a35f88ab2cdcf07f3.
|
2018-03-14 15:39:20 -04:00 |
|
Rob Rix
|
f49670e352
|
Revert "runEffects produces the final result directly."
This reverts commit 485237e2367a9e221c6be22cc24d318009a32306.
|
2018-03-14 15:39:10 -04:00 |
|
Rob Rix
|
9d1b35dac7
|
Revert "Define runAnalysis using run."
This reverts commit 974cd920f3a27ad41b871a4f42a83cb35ae94cb4.
|
2018-03-14 15:39:00 -04:00 |
|
Rob Rix
|
00245699be
|
Merge branch 'master' into fix-fix
|
2018-03-14 15:35:23 -04:00 |
|
Rob Rix
|
ca8322a8fa
|
Merge branch 'master' into fix-fix
|
2018-03-14 15:32:06 -04:00 |
|
Rob Rix
|
526a72eea4
|
Revert "Parameterize Type by some type constructor."
This reverts commit 54dcb372919fab3d4b62e7773638a5e24f6293d9.
|
2018-03-14 15:31:46 -04:00 |
|
Rob Rix
|
a85fe18d20
|
📝 loop.
|
2018-03-14 15:30:15 -04:00 |
|
Rob Rix
|
2eec625fbb
|
Define looping as primitive on MonadValue.
|
2018-03-14 15:27:53 -04:00 |
|
Rob Rix
|
222ce40be3
|
Function/method names are bound in their bodies.
|
2018-03-14 15:08:24 -04:00 |
|
Rob Rix
|
4b4cea587f
|
letrec returns the address.
|
2018-03-14 15:06:40 -04:00 |
|
Rob Rix
|
c392b50037
|
Loosen the constraint on modifyGlobalEnv.
|
2018-03-14 15:02:00 -04:00 |
|
Rob Rix
|
5c15ad7120
|
Define runAnalysis using run.
|
2018-03-14 14:02:47 -04:00 |
|
Rob Rix
|
a2dffe278c
|
runEffects produces the final result directly.
|
2018-03-14 14:02:02 -04:00 |
|
Rob Rix
|
8ff194439c
|
Rename a bunch more type parameters.
|
2018-03-14 13:55:59 -04:00 |
|
Rob Rix
|
00549ae24b
|
Align the comments.
|
2018-03-14 13:11:26 -04:00 |
|
Rob Rix
|
418f7536c4
|
Add an effects parameter to EvaluatingEffects.
|
2018-03-14 13:10:29 -04:00 |
|
Rob Rix
|
762a8e34a3
|
Don’t recompute the free variables in closure bodies.
|
2018-03-14 12:33:17 -04:00 |
|
Rob Rix
|
9742978154
|
Close over a smaller environment.
|
2018-03-14 12:31:34 -04:00 |
|
Rob Rix
|
a0071fc768
|
Add a function deleting a binding from an environment.
|
2018-03-14 12:31:02 -04:00 |
|
Rob Rix
|
3775750451
|
Parameterize Type by some type constructor.
|
2018-03-14 12:05:57 -04:00 |
|
Rob Rix
|
4ab0ae50e1
|
Derive Generic1, Eq1, Ord1, & Show1 instances for Subterm.
|
2018-03-14 11:48:34 -04:00 |
|
Rob Rix
|
97a1d5adb6
|
Require Ord instances for LocationFor.
|
2018-03-14 11:26:39 -04:00 |
|
Rob Rix
|
a391268efe
|
Add superclass constraints to AbstractLocation.
|
2018-03-14 11:25:44 -04:00 |
|
Rob Rix
|
c1f3bd5711
|
…and some more.
|
2018-03-14 11:22:25 -04:00 |
|
Rob Rix
|
b8a3bd72f0
|
And some more type parameters.
|
2018-03-14 11:21:35 -04:00 |
|
Rob Rix
|
601c3b97d8
|
Rename some more type parameters.
|
2018-03-14 11:20:37 -04:00 |
|
Rob Rix
|
9ef31e03ec
|
We don’t actually need the functional dependency here.
|
2018-03-14 11:19:19 -04:00 |
|
Rob Rix
|
34f2f04931
|
Clean up some language extensions.
|
2018-03-14 11:19:00 -04:00 |
|
Rob Rix
|
9b53187b8e
|
Define Cell as an associated type family.
|
2018-03-14 11:16:23 -04:00 |
|
Rob Rix
|
6dd03c72d5
|
Define Cell as an open type family.
|
2018-03-14 11:15:23 -04:00 |
|
Rob Rix
|
8ac251c45b
|
Rename a bunch more type parameters.
|
2018-03-14 11:12:44 -04:00 |
|
Rob Rix
|
e8df177ed4
|
Rename a bunch of type parameters.
|
2018-03-14 11:11:39 -04:00 |
|
Rob Rix
|
50f57fcf6f
|
Generalize Environment over the address type.
|
2018-03-14 11:10:47 -04:00 |
|
Rob Rix
|
9d9b0abd67
|
Use EnvironmentFor to abbreviate lookupOrAlloc(').
|
2018-03-14 11:10:08 -04:00 |
|
Rob Rix
|
f105ecbdaa
|
Align Configuration fields.
|
2018-03-14 11:09:20 -04:00 |
|
Rob Rix
|
12824b018a
|
Sort imports.
|
2018-03-14 11:09:14 -04:00 |
|
Patrick Thomson
|
3b9b3703f6
|
Merge pull request #1557 from github/symbol-eval
Evaluatable instance for symbols.
|
2018-03-14 10:58:34 -04:00 |
|
Rob Rix
|
971ca6e5ad
|
Define an AbstractValue typeclass with instances for Value & Type.
|
2018-03-14 10:58:08 -04:00 |
|