Re: [racket-users] What's the point of make-continuation-mark-key?

We created the continuation-mark-key data type in ~2011 to support Typed Racket. At that point, Racket had continuation mark support for more than a decade using other values as keys. Sam On Sat, Jan 11, 2020, 11:37 PM Jack Firth wrote: > That makes sense. I think the thing that seems most

Re: [racket-users] What's the point of make-continuation-mark-key?

That makes sense. I think the thing that seems most confusing to me is that using the continuation-mark-key data type is *optional*. Why bother allowing arbitrary kinds of keys? On Saturday, January 11, 2020 at 8:02:44 PM UTC-8, Matthew Flatt wrote: > > It would be reasonable to generalize

Re: [racket-users] What's the point of make-continuation-mark-key?

It would be reasonable to generalize `chaperone-continuation-mark-key` to apply in cases where `chaperone-struct` could work, with similar sorts of evidence that chaperoning is allowed provided by a caller of `chaperone-continuation-mark-key`. I guess we just didn't think about it that way when

[racket-users] What's the point of make-continuation-mark-key?

Based on my reading of Continuation Frames and Marks , any value at all can be used as a key for a continuation mark. So why does make-continuation-mark-key