[m-users.] determinism declaration of main as "erroneous"

Volker Wysk post at volker-wysk.de
Wed Oct 30 00:50:25 AEDT 2019


Am Mittwoch, den 30.10.2019, 00:02 +1100 schrieb Zoltan Somogyi:
> 
> On Tue, 29 Oct 2019 13:57:05 +0100, Volker Wysk <post at volker-wysk.de>
> wrote:
> > That's what I meant to say: the compiler should take into account
> > that
> > main/2 is a special case.
> 
> Why? To help people write programs that always abort? There is no
> point
> in doing that.

I wouldn't want an erroneous warning message, for aesthetical reasons.
Even if it can clearly be seen what's up.

But that's just me.

Volker



More information about the users mailing list