Do the “sharp edges” mentioned under Motivation not answer that?
My immediate motivation for this thread is me wanting to use top-level unsafePerformIO + NOINLINE at work, and hearing concerns about “we’ve seen it inlined in the past, so we don’t trust it”. To me, there’s nothing inherently unsafe about top-level IO, the distrust only comes about because of GHC’s mysterious optimization rules. I’d prefer there was a semantic way to do this that could be relied upon as a language construct, and not just a magic incantation GHC may or may not respect.
ha yeah, it is a bit amusing on the outside, but I’ve been mulling on this for years already. This was just a breaking point, I guess 