[<<][sm][>>][..]
Mon Jan 13 13:42:41 CET 2020

forking lexical contexts

I've removed most continuation compiler notes from csp_test.c
A summary:

- 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?




[Reply][About]
[<<][sm][>>][..]