Rob Rix
461df79bad
Much simpler contexts.
2018-03-14 15:44:07 -04:00
Rob Rix
344bc6e407
🔥 a redundant import.
2018-03-14 15:43:32 -04:00
Rob Rix
43387984a9
Revert "Define LocationFor as an open type family."
...
This reverts commit 52620af45fd76d05fb8a7b2ca75390d979957068.
2018-03-14 15:42:57 -04:00
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
Patrick Thomson
c39a34010b
Merge remote-tracking branch 'origin/master' into array-literals
2018-03-14 15:04:28 -04:00
Timothy Clem
ddc7a0447f
Minor spacing and naming cleanup for readability
2018-03-14 12:03:14 -07:00
Rob Rix
c392b50037
Loosen the constraint on modifyGlobalEnv.
2018-03-14 15:02:00 -04:00
Timothy Clem
7204debb07
Merge remote-tracking branch 'origin/master' into import-language-tour
2018-03-14 11:38:49 -07: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
Patrick Thomson
9081f3effe
Initial, broken implementation of Evaluatable for Class.
2018-03-14 12:35:48 -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
Patrick Thomson
378b65631a
Evaluatable instance for Array literals.
...
Pretty much identical to the one for tuples.
2018-03-14 11:46:23 -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
Patrick Thomson
a6346525e6
Add Evaluatable instance for Bitwise operators.
...
Would have been nice to reuise liftNumeric and liftNumeric2, but it's
not clear what it means to take bitwise components of rational or
floating-point numbers.
2018-03-14 11:25:06 -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
