Segfault in a CoreLinted program (and a GHC-generated Core question)
eir at cis.upenn.edu
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 joachim-breitner.de> 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...
> Joachim “nomeata” Breitner
> mail at joachim-breitner.de • http://www.joachim-breitner.de/
> Jabber: nomeata at joachim-breitner.de • GPG-Key: 0xF0FBF51F
> Debian Developer: nomeata at debian.org
> ghc-devs mailing list
> ghc-devs at haskell.org
More information about the ghc-devs