Is Safe Haskell intended to allow segfaults?

Florian Weimer fw at
Fri Sep 16 23:02:48 UTC 2016

* Mikhail Glushenkov:

> Hi,
> On 9 August 2016 at 01:32, David Terei <davidterei at> wrote:
>> I imagine in Java, that I can construct an invalid pointer in foreign
>> code, and then cause segfaults without the Java code having any
>> issues. Just guessing at this, so very interested to know how it's
>> prevented if I can't.
> Yes, this can be done with JNI, see e.g. [1]. Additionally, by using
> sun.misc.Unsafe [2], one can cause segfaults even from pure Java.

You can also bring the JVM into an unstable state by triggering a
VirtualMachineError, basically an out-of-memory condition, a stack
overflow, or any other unrecoverable error.

You can also exhaust limited resources such as file descriptors pretty

More information about the ghc-devs mailing list