From: Michael Schierl <schierlm@gmx.de>
To: guile-user@gnu.org, guix-devel@gnu.org, bootstrappable@freelists.org
Subject: Re: Can Guile be bootstrapped from source without psyntax-pp.scm?
Date: Sat, 13 Mar 2021 23:42:05 +0100 [thread overview]
Message-ID: <fd22b8a3-6089-994c-f22a-33159a91d825@gmx.de> (raw)
Hello,
Jan Nieuwenhuizen wrote to guile-user@gnu.org[1] on 07 Jul 2017:
> Mark H Weaver writes:
>
>>> Does this mean Guile is not bootstrappable from source only?
>>
>> That's correct. psyntax-pp.scm is not source code, and it is needed to
>> bootstrap Guile.
>
> I'm facing the same problem with Mes. I have an implemenation of
> syntax-rules that is just about 200 lines of define-macro source code,
> but not syntax case.
>> Having said this, I agree that it would be better if psyntax.scm were
>> written in such a way that it could be bootstrapped without the use of
>> itself. Maybe some day we'll rewrite it to make it so.
>
> That could be essential to our full source bootstrapping efforts so I'm
> very much interested!
For the record, I have written a psyntax implementation that can be used
by Guile (3.0.2) and does not require an expanded version of itself. It
is not ideal (not fully hygienic and does not support with-ellipsis),
but it works well enough to bootstrap a slightly patched version of
psyntax.scm, which then can be used to bootstrap "the real thing" and
then regenerate psyntax-pp.scm (resulting in a bit-for-bit identical
version if you run the bootstrap on 64-bit Linux).
The project is at
<https://github.com/schierlm/guile-psyntax-bootstrapping/>.
It may still contain some unnecessary code, and the patch for the
patched vesion is definitely not minimal, but for now I'm glad that it
works.
I may improve it later. Contributions are welcome as well.
Regards,
Michael
[1]: https://mail.gnu.org/archive/html/guile-user/2017-07/msg00011.html
next reply other threads:[~2021-03-13 22:42 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-03-13 22:42 Michael Schierl [this message]
2021-03-14 13:57 ` [bootstrappable] Re: Can Guile be bootstrapped from source without psyntax-pp.scm? Jan Nieuwenhuizen
2021-03-14 14:18 ` Michael Schierl
2021-03-15 17:09 ` Ludovic Courtès
2021-03-15 19:50 ` Michael Schierl
2021-03-16 8:59 ` Andy Wingo
2021-05-13 20:22 ` Michael Schierl
2021-03-17 17:25 ` Ludovic Courtès
-- strict thread matches above, loose matches on Subject: below --
2017-07-06 15:24 Alex Vong
2017-07-07 1:42 ` Mark H Weaver
2017-07-07 14:00 ` Alex Vong
2017-07-07 16:40 ` Mark H Weaver
2017-07-07 14:55 ` Jan Nieuwenhuizen
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/guile/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=fd22b8a3-6089-994c-f22a-33159a91d825@gmx.de \
--to=schierlm@gmx.de \
--cc=bootstrappable@freelists.org \
--cc=guile-user@gnu.org \
--cc=guix-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).