Abstraction for Kon.

[davdar]

I haven't abstracted Kon in the semantics yet. Or rather, I haven't replaced Kon with Kon* (a pointer) and heap allocated continuation frames yet. I'd like input for the cleanest way to do this.

Option 1) Make Kon an Addr and heap-allocate continuations. This means Val will be (Int + Clo + Frame).

Option 2) Make Kon an Addr and split continuations into a separate Kon heap. Val will be (Int + Clo) and KStore will map Addr -> Frame. This state space is more amenable to a pushdown abstract (with separate heaps for values and continuations), but I don't plan on adding pushdown to this.

Ideas?

[davdar]

Verdict from the Skype call:

Use 2 since it's morally correct. (Conveniently, it's also easier to bring up as a post-facto alteration of the semantics.)