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

[Richard Eisenberg]

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.

Richard

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...
> 
> Greetings,
> Joachim
> 
> -- 
> 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
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs