Mon Jan 13 13:42:41 CET 2020
forking lexical contexts
I've removed most continuation compiler notes from csp_test.c
- computed goto is a good compiler target, unifying control structures
(implemented as plain goto) and suspension (computed goto).
- the next step is to resolve the "forking stack struct" problem.
e.g. how to bridge between C-style "flat struct" state approach, and
a real continuation compiler which has a separate continuation type
for each resume point. there is a lot of overlap but this is
entirely coincidental. how to make that explicit?