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
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@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nomeata@debian.org
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs