06:50
<Bakkot>
rbuckton: why do ecmarkup and grammarkdown pass around cancel tokens? the only async things I can see that they'd be doing are file IO.
06:52
<ljharb>
i was confused by that too, why is cancellation needed
06:56
<Bakkot>
I am going to maybe rip support for it out of them out of ecmarkup
06:59
<Bakkot>
no one is using it, that I can see, and if you want things to be cancelable it's pretty trivial to accomplish that by passing in a `fetch` function which throws when cancelled or when called after it has been cancelled
06:59
<Bakkot>
(where by "throws" I mean in the first place "causes the promise it has already returned to reject" and in the second place "returns a rejected promise", obviously, no zalgo here)