Re: unsafePerformIO safety.

I wouldn't like if unsafePerformIO could never be inlined, sometimes you want it inlined for performance. And not all uses are hacky, it's just that when I use it, then burden is on me to convince myself that it is safe. On Mar 6, 2007, at 23:56 , Neil Mitchell wrote:

Hi

On 3/6/07, Lennart Augustsson wrote:

...

Yeah, you really need {-# NOINLINE var #-} to make it reasonable safe.

Couldn't GHC bake in knowledge about unsafePerformIO, and never inline it? It is a slightly hacky solution, but since unsafePerformIO is pretty much only used in hacks, I think its almost fitting.

Thanks

Neil