[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-mes] MesCC should optimize ease of convincing us of its correct
From: |
Danny Milosavljevic |
Subject: |
Re: [bug-mes] MesCC should optimize ease of convincing us of its correctness |
Date: |
Fri, 19 Jul 2019 12:39:46 +0200 |
Hi Mark,
On Thu, 18 Jul 2019 21:10:14 -0400
Mark H Weaver <address@hidden> wrote:
> Earlier, I wrote:
> > It seems that MesCC has been designed to make it as simple as possible
> > to understand. Toward that end, you have chosen to implement a language
> > that is not quite C.
>
> I somehow failed to notice (or remember) that Danny had already written:
> > Oh, we don't intentionally violate C semantics.
>
> I'm glad to hear it. Apologies for the straw man argument.
I think it was good to bring it up regardless.
We can always add more stuff we are missing, but I agree that we should
implement the C abstract machine (at least the parts we need) and
also fail loudly if any part we don't implement is used.
I still hope that this project raises awareness among upstream people that
they have a responsibility to make their software bootstrappable, otherwise
there's no way to trust their software--even if full source is available.
(That's really the problem--although we could frame it nicer)
If they agreed, *they* would make sure not to use weird stuff in their source
code.
pgpIHMw2JbtRL.pgp
Description: OpenPGP digital signature