[ghc-steering-committee] Please review #313: Delimited continuation primops, Shepherd: Simon Marlow

Joachim Breitner mail at joachim-breitner.de
Tue Dec 1 18:21:34 UTC 2020


Am Dienstag, den 01.12.2020, 17:35 +0000 schrieb Simon Marlow:
> The issue with unsafePerformIO is really just that the proposal says
> that it's illegal to use the primops with unsafePerformIO. I don't
> think it's possible to make it "illegal" in any meaningful sense,
> probably a better way to say it would be "undefined" or "unsupported"
> or somesuch.

what is the impact of this? Naive question (I should probably study the
proposal more):

Is it the case that delimited continuations will be deeply buried in
some libraries; unsafePerformIO is deeply buried in some other library?
If so, is there even a chance to make these libraries safe, so that the
undefined behavior doesn’t hit?

Joachim Breitner
  mail at joachim-breitner.de

More information about the ghc-steering-committee mailing list