Hi, 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? Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/