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

[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 at joachim-breitner.de • http://www.joachim-breitner.de/
  Jabber: nomeata at joachim-breitner.de  • GPG-Key: 0xF0FBF51F
  Debian Developer: nomeata at debian.org

-------------- 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: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20151027/14664cec/attachment.sig>