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

Joachim Breitner mail at
Tue Oct 27 14:28:25 UTC 2015

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...


Joachim “nomeata” Breitner
  mail at joachim-breitner.de
  Jabber: nomeata at  • GPG-Key: 0xF0FBF51F
  Debian Developer: nomeata at

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <>

More information about the ghc-devs mailing list