From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Neil Jerram Newsgroups: gmane.lisp.guile.user,gmane.comp.gnu.guix.devel Subject: Re: Mes 0.8 released Date: Mon, 26 Jun 2017 10:22:54 +0100 Message-ID: <20170626092254.5992527.92824.71003@ossau.homelinux.net> References: <87shio57y8.fsf@gnu.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1498469017 23358 195.159.176.226 (26 Jun 2017 09:23:37 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 26 Jun 2017 09:23:37 +0000 (UTC) Cc: guix-devel@gnu.org, epsilon-devel@gnu.org To: Jan Nieuwenhuizen , guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Mon Jun 26 11:23:32 2017 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dPQF0-0005ij-JI for guile-user@m.gmane.org; Mon, 26 Jun 2017 11:23:30 +0200 Original-Received: from localhost ([::1]:45500 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dPQF5-0007M0-R1 for guile-user@m.gmane.org; Mon, 26 Jun 2017 05:23:35 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:53003) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dPQEZ-0007KY-Fr for guile-user@gnu.org; Mon, 26 Jun 2017 05:23:04 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dPQEW-0006De-8c for guile-user@gnu.org; Mon, 26 Jun 2017 05:23:03 -0400 Original-Received: from smtp-out-3.talktalk.net ([62.24.135.67]:23568) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1dPQEW-0006C7-0O for guile-user@gnu.org; Mon, 26 Jun 2017 05:23:00 -0400 Original-Received: from arudy.520b.com ([2.96.192.194]) by smtp.talktalk.net with SMTP id PQERdoUC4xR4bPQERdY1t2; Mon, 26 Jun 2017 10:22:56 +0100 X-Originating-IP: [2.96.192.194] X-Spam: 0 X-OAuthority: v=2.2 cv=JNN5iICb c=1 sm=1 tr=0 a=L9r2or1llNJpkmWEAwxYbQ==:117 a=L9r2or1llNJpkmWEAwxYbQ==:17 a=L9H7d07YOLsA:10 a=9cW_t1CCXrUA:10 a=s5jvgZ67dGcA:10 a=LWSFodeU3zMA:10 a=mDV3o1hIAAAA:8 a=p0WdMEafAAAA:8 a=NEAV23lmAAAA:8 a=VPW9pYw8AAAA:8 a=69wJf7TsAAAA:8 a=Lw_jL5CHAAAA:8 a=Oy6kvveiAAAA:8 a=HGtKl_WrAAAA:8 a=2Ihx9G_sAAAA:8 a=MJ-Lw5-JRKhO3GfJ7XsA:9 a=QEXdDO2ut3YA:10 a=EagpsgLxuCoA:10 a=zVCB78loug0A:10 a=320jsAoxy5AA:10 a=gN4tvXSRZoAA:10 a=_FVE-zBwftR9WsbkzFJk:22 a=Jxx6eeSUHxtG8_PTGDpP:22 a=Fg1AiH1G6rFz08G2ETeA:22 a=JA99WpIsjAHPHkfRg9a9:22 a=dmclwBOJ3BR7boU0VpkY:22 a=YsXb0gVXWYZgU5r1gxW0:22 a=VxnC4SNV8raFVR_8Rser:22 Original-Received: from [127.0.0.1] (unknown [213.86.221.35]) by arudy.520b.com (Postfix) with ESMTPSA id 848B738084; Mon, 26 Jun 2017 10:13:44 +0100 (BST) X-Mailer: BlackBerry Email (10.3.2.2876) In-Reply-To: <87shio57y8.fsf@gnu.org> X-CMAE-Envelope: MS4wfCTwUzmMcqcUPmj5vVmBY0Mdnik4WC6L19Elslpm06en1vnGKgUpt7uBswKh+RTGnl9hNis7paE+5rkjMJQeOs+HTvgTlKAtnV3tKeoXcKrf2Tz4k5kM HIawl3Yn7DhBwkFPoWBrSKvvYT3eUpTG929SlXGW4+gI06EQ/8Hu6e1rVoAgnUjW0ZS38WHyeUUS5M/2ZhOLlWtx2oK7kwMClAopRnZz1xYZCC8XcfP9o5Mw wkf5sr8e0ZGNpvhsh/2XgHqTEo2MIXAoWLTmXsoeei8= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-Received-From: 62.24.135.67 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Original-Sender: "guile-user" Xref: news.gmane.org gmane.lisp.guile.user:13878 gmane.comp.gnu.guix.devel:38307 Archived-At: Hi Jan, In your bootstrap path, what is the step after Mes?=E2=80=8E I guess it wou= ld be using mescc to compile some C program - but if that is right, which p= rogram?=C2=A0 Regards - Neil=C2=A0 =C2=A0 Original Message =C2=A0 From: Jan Nieuwenhuizen Sent: Sunday, 25 June 2017 17:40 To: guile-user@gnu.org Cc: guix-devel@gnu.org; epsilon-devel@gnu.org Subject: Mes 0.8 released I am pleased to announce the release of Mes 0.8, representing 34 commits over 3 weeks. Mescc now produces object files in the hex2 ascii output format compatible with the stage0 linker. Special thanks to Jeremiah Orians for support with MESCC_Tools and hex2, more goodness to follow soon! * About Mes aims to create full source bootstrapping for GuixSD: an entirely source-based bootstrap path. The target is to [have GuixSD] boostrap from a minimal, easily inspectable binary --that should be readable as source-- into something close to R6RS Scheme. It currently consists of a mutual self-hosting [close to Guile-] Scheme interpreter prototype in C and a Nyacc-based C compiler in [Guile] Scheme. The Scheme interpreter prototype (mes.c) has a Garbage Collector, a library of loadable Scheme modules-- notably Dominique Boucher's LALR[1], Pre-R6RS portable syntax-case[2] with R7RS ellipsis, Matt Wette's Nyacc[3] Guile's PEG[4] --and test suite just barely enough to support a simple REPL (repl.mes) and simple C-compiler (mescc.mes) that can produce the second initial ELF binary from binary from mes.c, in only about 2h30'. Mes was inspired by The Maxwell Equations of Software: LISP-1.5[5] -- John McCarthy page 13, GNU Guix's[6] source/binary packaging transparency and Jeremiah Orians's stage0[7] bootstrap project. * Download git clone https://gitlab.com/janneke/mes wget https://gitlab.com/janneke/mes/repository/archive.tar.gz?ref=3Dv0.8 -O= mes-0.8.tar.gz Mes runs from the source tree and can also be built, packaged and installed in Guix[SD] by the usual guix package -f guix.scm * Changes in 0.8 since 0.7 ** Mescc *** Mescc now depends on the hex2 linker from MESCC_Tools[9]. Direct ELF output support has been removed. ELF symbol and string table creation has been removed. *** Mescc now has experimental annotation support for hex2. *** Mescc has experimental annotation support for hex2. *** Mescc has been simplified by leveraging use labels in hex2 output. *** Mescc now supports continue in loops. *** Mescc now compiles to hex2 object files. ** Language *** 1 new function list-index. Greetings, janneke [1] https://github.com/schemeway/lalr-scm [2] https://www.cs.indiana.edu/chezscheme/syntax-case/old-psyntax.html [3] https://www.nongnu.org/nyacc/ [4] https://www.gnu.org/software/guile/docs/master/guile.html/PEG-Parsing.h= tml [5] http://www.softwarepreservation.org/projects/LISP/book/LISP%25201.5%252= 0Programmers%2520Manual.pdf [6] https://www.gnu.org/software/guix/ [7] https://github.com/oriansj/stage0 [8] https://gitlab.com/janneke/tinycc [9] https://github.com/oriansj/MESCC_Tools --=20 Jan Nieuwenhuizen | GNU LilyPond http://lilypond.org Freelance IT http://JoyofSource.com | Avatar=C2=AE http://AvatarAcademy.com