[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