Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Tim Rentsch <tr.17687@z991.linuxsc.com>
Newsgroups: comp.lang.c
Subject: Re: transpiling to low level C
Date: Mon, 23 Dec 2024 13:18:24 -0800
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <86frmedrof.fsf@linuxsc.com>
References: <vjlh19$8j4k$1@dont-email.me> <vjn9g5$n0vl$1@raubtier-asyl.eternal-september.org> <vjnhsq$oh1f$1@dont-email.me> <vjnq5s$pubt$1@dont-email.me> <vjpn29$17jub$1@dont-email.me> <86ikrdg6yq.fsf@linuxsc.com> <vk78it$77aa$1@dont-email.me> <vk8a0e$l8sq$1@paganini.bofh.team> <vk9q1p$oucu$1@dont-email.me> <vkb81n$14frj$1@dont-email.me> <20241223134008.000058cf@yahoo.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Date: Mon, 23 Dec 2024 22:18:25 +0100 (CET)
Injection-Info: dont-email.me; posting-host="175d13363d069c69169282e3d646d5d4";
	logging-data="1455163"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+fccupUPkoc5YBnZurlAQXoFLSVOiAeF0="
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux)
Cancel-Lock: sha1:DQdH9u7Ig9JhA0EZQaoxCtmuvxk=
	sha1:NmYo7fw49Mhpr38ZsgM+rDHcu04=
Bytes: 2004

Michael S <already5chosen@yahoo.com> writes:

> On Mon, 23 Dec 2024 09:46:46 +0100
> David Brown <david.brown@hesbynett.no> wrote:
>
>> And Tim did not rule out using the standard library,
>
> Are you sure?

I explicitly called out setjmp and longjmp as being excluded.
Based on that, it's reasonable to infer the rest of the
standard library is allowed.

Furthermore I don't think it matters.  Except for a very small
set of functions -- eg, fopen, fgetc, fputc, malloc, free --
everything else in the standard library either isn't important
for Turing Completeness or can be synthesized from the base
set.  The functionality of fprintf(), for example, can be
implemented on top of fputc and non-library language features.