27 Oct
2015
27 Oct
'15
10:28 a.m.
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