Rob Rix
|
84af53a4fa
|
📝 goto.
|
2018-03-15 10:12:31 -04:00 |
|
Rob Rix
|
6e68f0115a
|
📝 label.
|
2018-03-15 10:12:26 -04:00 |
|
Rob Rix
|
acd7051b34
|
📝 MonadControl.
|
2018-03-15 10:09:51 -04:00 |
|
Rob Rix
|
6764d31105
|
Note a TODO for Label.
|
2018-03-15 10:09:02 -04:00 |
|
Rob Rix
|
07ff06f2f0
|
📝 Label.
|
2018-03-15 10:08:57 -04:00 |
|
Rob Rix
|
5171020c70
|
Merge branch 'master' into jump-around,-jump-around
|
2018-03-15 10:05:42 -04:00 |
|
Rob Rix
|
f575c05257
|
🔥 Elaborating for now.
|
2018-03-15 10:01:23 -04:00 |
|
Rob Rix
|
6831bc2502
|
Simplify the language extensions.
|
2018-03-14 21:40:43 -04:00 |
|
Rob Rix
|
fcf44b5a37
|
Rename Store to Heap.
|
2018-03-14 20:42:59 -04:00 |
|
Rob Rix
|
f68da42754
|
Simplify the superclasses of MonadValue.
|
2018-03-14 20:30:26 -04:00 |
|
Rob Rix
|
8378c0aed3
|
Correct the docs for Closure.
|
2018-03-14 20:27:15 -04:00 |
|
Rob Rix
|
272f6ec68a
|
Remove the term parameter from MonadValue.
|
2018-03-14 20:10:14 -04:00 |
|
Rob Rix
|
d47f91968a
|
Remove the term parameter from Value.
|
2018-03-14 20:04:55 -04:00 |
|
Rob Rix
|
d987682a63
|
Closures wrap labels.
|
2018-03-14 19:58:30 -04:00 |
|
Rob Rix
|
d6fd75143f
|
Require MonadControl for MonadEvaluator.
|
2018-03-14 19:54:52 -04:00 |
|
Rob Rix
|
c6baf4d873
|
Derive MonadControl instances for the other analyses.
|
2018-03-14 19:54:39 -04:00 |
|
Rob Rix
|
dfebaf7911
|
Define MonadControl for Evaluating.
|
2018-03-14 19:54:21 -04:00 |
|
Rob Rix
|
f022d0202c
|
Define a MonadControl typeclass which allocates and performs gotos.
|
2018-03-14 19:54:06 -04:00 |
|
Rob Rix
|
3bba683093
|
Stub in a MonadValue instance for elaborated terms.
|
2018-03-14 16:56:17 -04:00 |
|
Rob Rix
|
c3ba46d82f
|
Define a MonadAnalysis instance.
|
2018-03-14 16:44:33 -04:00 |
|
Rob Rix
|
67c25c004a
|
Derive the evaluator instances.
|
2018-03-14 16:42:54 -04:00 |
|
Rob Rix
|
0c199987ca
|
Derive a bunch of instances.
|
2018-03-14 16:42:11 -04:00 |
|
Rob Rix
|
3ac59ce623
|
Define an elaborating analysis.
|
2018-03-14 16:39:58 -04:00 |
|
Rob Rix
|
e4b0d4c4a0
|
Merge pull request #1569 from github/fix-fix
Fix loop typechecking
|
2018-03-14 16:39:23 -04:00 |
|
Rob Rix
|
95c5a63b48
|
Merge branch 'master' into fix-fix
|
2018-03-14 16:31:34 -04:00 |
|
Timothy Clem
|
8e6a75ebad
|
Merge pull request #1548 from github/import-language-tour
Import language tour (with specs)
|
2018-03-14 13:25:04 -07:00 |
|
Timothy Clem
|
169af3a9f8
|
Remove commented out withExports
|
2018-03-14 12:55:27 -07:00 |
|
Rob Rix
|
6729a6ce58
|
We’ve already filtered out the bound variables.
|
2018-03-14 15:55:04 -04:00 |
|
Timothy Clem
|
b2c5b84e00
|
Merge remote-tracking branch 'origin/master' into import-language-tour
|
2018-03-14 12:53:48 -07:00 |
|
Rob Rix
|
4d1ff01231
|
Don’t close over bound variables.
|
2018-03-14 15:50:45 -04:00 |
|
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 |
|