bug-mes
[Top][All Lists]
Advanced

[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.

Attachment: pgpIHMw2JbtRL.pgp
Description: OpenPGP digital signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]