about summary refs log tree commit diff stats
path: root/sandbox/010-sandbox-trace.mu
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2017-08-30 21:32:54 -0700
committerKartik K. Agaram <vc@akkartik.com>2017-08-30 21:32:54 -0700
commit53930831c4185c5ccb56864c881acf6d67dd1bd1 (patch)
tree8826f80e35f7e168a1554176ad4108dca1c0fa42 /sandbox/010-sandbox-trace.mu
parentb74744cd5851e034a88d4a335b22a372ebb39237 (diff)
downloadmu-53930831c4185c5ccb56864c881acf6d67dd1bd1.tar.gz
3986 - bring back delimited continuations
They're back after a long hiatus: commit 2295 in Oct 2015.

I'm not convinced anymore that this is actually a correct implementation
of continuations. Issues on at least two fronts:

a) These aren't safe yet. Since continuations can be called multiple
times, we need to disable reclamation of locals inside a continuation.
There may be other type- or memory-safety issues. However, delimited
continuations at least seem possible to make safe. Undelimited
continuations (call/cc) though are permanently out.

b) They may not actually be as powerful as delimited continuations.
Let's see if I can build 'yield' out of these primitives.
Diffstat (limited to 'sandbox/010-sandbox-trace.mu')
0 files changed, 0 insertions, 0 deletions
edf13616f055d4f227d36'>b5d5e0d ^
d24e471 ^





b5d5e0d ^
1265d9c ^

b5d5e0d ^
d24e471 ^


b5d5e0d ^
d24e471 ^
6394e38 ^
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33