Is Safe Haskell intended to allow segfaults?

Mikhail Glushenkov mikhail.glushenkov at
Tue Aug 9 00:46:10 UTC 2016


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.


More information about the ghc-devs mailing list