[erlang-bugs] More compiler errors

Jesper Louis Andersen jesper.louis.andersen@REDACTED
Sat Mar 1 14:11:14 CET 2014


On Fri, Feb 28, 2014 at 11:36 PM, Kostis Sagonas <kostis@REDACTED> wrote:

> For example, the first two programs I would not expect any sensible
> programmer to write, and IMO these Erlang programs should be burned in hell.


I don't think I agree. The purpose of a compiler is to produce correct
code. If I can provoke the compiler to generate internal errors, it is
often a latent problem with the compiler itself. At least disallowing the
programs would be a start because it would encode what invariants (static
semantics) I expect of well-formed programs.


-- 
J.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-bugs/attachments/20140301/1c264127/attachment.htm>


More information about the erlang-bugs mailing list