From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Jan Nieuwenhuizen Newsgroups: gmane.comp.gnu.guix.devel,gmane.lisp.guile.user Subject: Mes 0.11 released Date: Sat, 18 Nov 2017 17:15:09 +0100 Message-ID: <87tvxrk1gy.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 1511021762 6210 195.159.176.226 (18 Nov 2017 16:16:02 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 18 Nov 2017 16:16:02 +0000 (UTC) Cc: guix-devel@gnu.org, rb-general@lists.reproducible-builds.org, epsilon-devel@gnu.org, bootstrappable@freelists.org To: guile-user@gnu.org Original-X-From: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sat Nov 18 17:15:56 2017 Return-path: Envelope-to: gcggd-guix-devel@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 1eG5mb-0000uQ-1x for gcggd-guix-devel@m.gmane.org; Sat, 18 Nov 2017 17:15:53 +0100 Original-Received: from localhost ([::1]:50465 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eG5mg-00009b-Ql for gcggd-guix-devel@m.gmane.org; Sat, 18 Nov 2017 11:15:58 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:43658) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eG5mS-00008Q-Lh for guix-devel@gnu.org; Sat, 18 Nov 2017 11:15:45 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eG5mR-0000ZY-6i for guix-devel@gnu.org; Sat, 18 Nov 2017 11:15:44 -0500 Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:59017) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eG5lw-0000KY-6m; Sat, 18 Nov 2017 11:15:12 -0500 Original-Received: from peder.onsbrabantnet.nl ([88.159.206.46]:46244 helo=dundal.peder.onsbrabantnet.nl) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1eG5lv-0006dp-P1; Sat, 18 Nov 2017 11:15:12 -0500 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Original-Sender: "Guix-devel" Xref: news.gmane.org gmane.comp.gnu.guix.devel:40009 gmane.lisp.guile.user:14271 Archived-At: I am pleased to announce the release of Mes 0.11, representing 16 commits over 10 weeks. MesCC now compiles a less heavily patched TinyCC into a mes-tcc that in turn passes 41/69 of mescc's C tests. When mes-tcc passes all 69 tests, this almost-full-source-bootstrapped version of TinyCC should be able to compile itself. An unpatched, GNU Gcc-compiled tcc is known to compile GNU Gcc. * About Mes[0] aims to create full source bootstrapping for GuixSD[1] as part of the bootstrappable builds[2] project. 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. This C prototype will be rewritten in stage0[3] M1 assembly (or compiled by M2-Planet or stage2 slow-LISP, or ...). The Scheme interpreter prototype (mes.c) has a Garbage Collector, a library of loadable Scheme modules-- notably Dominique Boucher's LALR[4], Pre-R6RS portable syntax-case[5] with R7RS ellipsis, Matt Wette's Nyacc[6], Guile's PEG[7] --and test suite just barely enough to support a simple REPL (repl.mes) and simple C-compiler MesCC (mescc.mes). MesCC can compile a modified TinyCC[8] that is close to being self-hosting. A GNU Ccc-compiled tcc is known[9] to compile GCC. Mes is inspired by The Maxwell Equations of Software: LISP-1.5[10] -- John McCarthy page 13, GNU Guix's source/binary packaging transparency and Jeremiah Orians's stage0 ~300 byte self-hosting hex assembler. * Download git clone https://gitlab.com/janneke/mes wget https://gitlab.com/janneke/mes/repository/archive.tar.gz?ref=3Dv0.= 11 -O mes-0.11.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.11 since 0.10 ** MesCC *** MesCC now compiles a mes-tcc that passes 41/69 of mescc's C tests. *** MesCC's libc can now be compiled with tcc (syscall support: write). *** MesCC now compiles a less-patched tcc: -214/+458 lines [WAS: -333/+747= ]. *** MesCC now supports empty for. *** MesCC has been greatly refactored, 500/3000 lines have been removed. *** MesCC now supports complex [struct] by value assign foo.bar, foo->bar,= foo[bar]. *** MesCC now depends on Nyacc 0.82.4. Greetings, janneke [0] https://gitlab.com/janneke/mes [1] https://www.gnu.org/software/guix [2] http://bootstrappable.org [3] https://github.com/oriansj/stage0 [4] https://github.com/schemeway/lalr-scm [5] https://www.cs.indiana.edu/chezscheme/syntax-case/old-psyntax.html [6] https://www.nongnu.org/nyacc/ [7] https://www.gnu.org/software/guile/docs/master/guile.html/PEG-Parsing.h= tml [8] https://gitlab.com/janneke/tinycc [9] https://lists.gnu.org/archive/html/tinycc-devel/2017-05/msg00103.html [10] http://www.softwarepreservation.org/projects/LISP/book/LISP%25201.5%25= 20Programmers%2520Manual.pdf --=20 Jan Nieuwenhuizen | GNU LilyPond http://lilypond.org Freelance IT http://JoyofSource.com | Avatar=C2=AE http://AvatarAcademy.com