Segfault in a CoreLinted program (and a GHC-generated Core question)

Richard Eisenberg eir at
Tue Oct 27 14:41:19 UTC 2015

Didn't you know? Once the core-to-core passes are complete, a binary appears on disk by sheer magic. And magic is never wrong.


On Oct 27, 2015, at 10:28 AM, Joachim Breitner <mail at> wrote:

> Am Dienstag, den 27.10.2015, 09:44 -0400 schrieb Richard Eisenberg:
>> Phew. This was an alarming email! If a core-linted program segfaults,
>> there's either a bug in CoreLint or a bug in the theory behind GHC.
>> If it's the latter, someone will have an interesting paper to
>> write... :)
> ... or in the translation to STG, or in a STG to STG pass, or in the
> translation to C--, or in a C-- to C-- pass, or in the code generator,
> or in the linker, or in...
> Greetings,
> Joachim
> -- 
> Joachim “nomeata” Breitner
>  mail at joachim-breitner.de
>  Jabber: nomeata at  • GPG-Key: 0xF0FBF51F
>  Debian Developer: nomeata at
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at

More information about the ghc-devs mailing list