From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Ekaitz Zarraga Newsgroups: gmane.lisp.guile.bugs Subject: bug#73188: PEG parser does not support full PEG grammar Date: Sat, 28 Dec 2024 21:44:02 +0100 Message-ID: <64fc6632-03b8-444d-ad50-c98b2c80f174@elenq.tech> References: <78a81bc5-cd0d-0506-185b-c733c66e96ae@elenq.tech> <20241222200128.13782-1-ekaitz@elenq.tech> <87seqffm66.fsf_-_@gnu.org> <30f0bc78-51b7-4149-9943-d2550f531189@elenq.tech> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="20886"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 73188@debbugs.gnu.org To: bokr@bokr.com Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Sat Dec 28 21:45:20 2024 Return-path: Envelope-to: guile-bugs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1tRdgV-0005GE-Va for guile-bugs@m.gmane-mx.org; Sat, 28 Dec 2024 21:45:20 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tRdgG-000824-HL; Sat, 28 Dec 2024 15:45:04 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tRdgE-0007zE-9a for bug-guile@gnu.org; Sat, 28 Dec 2024 15:45:02 -0500 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1tRdgD-0004IR-T3 for bug-guile@gnu.org; Sat, 28 Dec 2024 15:45:01 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=In-Reply-To:From:References:MIME-Version:Date:To:Subject; bh=1KdA6FZQrpx4L/i4TMHixzCNF57YTVbNJtoJyDqbggw=; b=NLSo3jS87ToCMx5JdsE63PUyh4Q3L+AW6c8zFnB5vr9GuRXfPqGDHrzMb94OPPqk8HWFw1exKgKWB9pI4EGG8ab+85j1s7A6DEhSRCmXeFr7WfSj+LCJTAs7FSo/piL1AIacDyHOWh3KZszRNN1a0S6Zrx4q+hZPTt46HJZZiO1vFJEXhSL3wGlcGlIWN+iC3NJgvyZJBOvP81MEarT2j582NkRaM3omkTnmqakcN8FqV9uT9QtSE3Vur1TuOfwPAInQSID+MlSpyg8lt/JS37jVJSU5ZthewStC/JSKseIHSf0U5Qv01WenbKr8eHGkio+RhJhybrqeR+tVYu7oDw==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1tRdgD-00008x-Mv for bug-guile@gnu.org; Sat, 28 Dec 2024 15:45:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Ekaitz Zarraga Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Sat, 28 Dec 2024 20:45:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73188 X-GNU-PR-Package: guile Original-Received: via spool by 73188-submit@debbugs.gnu.org id=B73188.1735418655476 (code B ref 73188); Sat, 28 Dec 2024 20:45:01 +0000 Original-Received: (at 73188) by debbugs.gnu.org; 28 Dec 2024 20:44:15 +0000 Original-Received: from localhost ([127.0.0.1]:52756 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tRdfS-00007c-AU for submit@debbugs.gnu.org; Sat, 28 Dec 2024 15:44:14 -0500 Original-Received: from dane.soverin.net ([185.233.34.21]:37021) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1tRdfP-00007K-0E for 73188@debbugs.gnu.org; Sat, 28 Dec 2024 15:44:12 -0500 Original-Received: from smtp.soverin.net (c04smtp-lb01.int.sover.in [10.10.4.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by dane.soverin.net (Postfix) with ESMTPS id 4YLDqR6NTbz38; Sat, 28 Dec 2024 20:44:03 +0000 (UTC) Original-Received: from smtp.soverin.net (smtp.soverin.net [10.10.4.100]) by soverin.net (Postfix) with ESMTPSA id 4YLDqR1Yd7zFh; Sat, 28 Dec 2024 20:44:03 +0000 (UTC) Authentication-Results: smtp.soverin.net; dkim=pass (2048-bit key; unprotected) header.d=elenq.tech header.i=@elenq.tech header.a=rsa-sha256 header.s=soverin1 header.b=hMpYimjy; dkim-atps=neutral DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=elenq.tech; s=soverin1; t=1735418643; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:autocrypt:autocrypt; bh=1KdA6FZQrpx4L/i4TMHixzCNF57YTVbNJtoJyDqbggw=; b=hMpYimjyo7e1IhV/OUODkYz/pde5y79kkkXIDb8oewlcrreDQzY1N8Eg/zGebOBTAtZF7D JvNVPYd69NFww/sjWtmJ1vaKyLx1ZgpYIOA39azkSCsNIVz4CVZ0Oafj5ewcvhvZCvqJhT nCVECpxEaAxAECHrH7XbhEBkpHWnp2cSbh6RWrM/Uyybffh6JcXcqFjbx/vQPJWmxGIPOl d4nEakRltlyzj+uuuF5YWlPkWPNQvxYaxdCbklcsyh1a0DOf5tKJNrMaicQl+eg2Ac7PI9 JEXtrUcXApCG8NT2+6e6PcH88qy2odWsTcD3pNQoe1ZlA6JQHfVQ+2+UdpLi3g== X-CM-Envelope: MS4xfOsC4LQBYRDeKKQRZ4fOKVOkNDVBX2X9B/VbFTqpH0Gzlh7V0hV1c0MRaLVoUEQ2vNfAE6jGBl/raMZokt7A4YuBj4QwzymH+n1kUMSByp7bH9cp9/Bo m4YLNc/4NpUCP6zqz6xsKV6Ry8sM+t8VZQ+ORk8h5Hd4C3LnyTF2vLc2ec0oLEFJSGB4t6y6xfLRvx+iRespuNEl9z0uROOzT7A= X-CM-Analysis: v=2.4 cv=UsCZN/wB c=1 sm=1 tr=0 ts=67706313 a=boG0PpFrEpR1SC5N/ZD5Tw==:117 a=boG0PpFrEpR1SC5N/ZD5Tw==:17 a=IkcTkHD0fZMA:10 a=MKtGQD3n3ToA:10 a=1oJP67jkp3AA:10 a=sqvopF12AAAA:8 a=p0WdMEafAAAA:8 a=B84WOgZkAAAA:8 a=E7UFItEdnGTWXStRQXsA:9 a=3ZKOabzyN94A:10 a=QEXdDO2ut3YA:10 a=-FEs8UIgK8oA:10 a=ICY-iCztITyJdCZgv5ou:22 a=rfp43BCc0AMJ3lTcakeD:22 a=yPy0HX4kI4LsAlP3oO-2:22 Content-Language: en-US, es-ES, eu Autocrypt: addr=ekaitz@elenq.tech; keydata= xsFNBGcvh/QBEACePF16wEeQaqfJNgeaSQB6ty6PzLaYtl8UVApPSCF1PYNEhDtxQOOpBXeu k6h68cjhRX7hmug8mAraXotw4aG4Z3kbUro4fzXOYW3rCi/mAm5NFXLUmBX3E1AV1pcD8hDA 5s3LeGzfTo4xRGTW4zTzxGEyrvbChkVib7wTSk52a/WkFas6l3sXnepF8HmIEOWkwQcYdcuo gaNDFP1kjZYvqfKJXmCZnY+lC8Zfe/vlD/x8FZQYBQ5xgXIfbSR0xlRz/XIHfJv6j+3myUUr 2UKMku1dkjlkhNkyfw+RypQzmbJ0oJ4bk76/ju0nnlN65/LvyeTVUh/2O2VnPnZ49keL8sqr APXF4di4pWT+/mPxfoEtiSDtjyzbr8+ajcwLa4SSKLlexqjZj8X6R4tt31Rf/Pliwe4TdPmd 2leE3BIJl9bAuslEvd5tqZ1oa3Zfb62tvpaJCRYMtOEWuGkYdyrwTW7UXJPQpam4X7WoW2jW c5aTpAnpnqIPzaWJmua1lGQjEXgt4xvVdhVmZq32fkTy/rXw9l5a+XU7N4/Zz8AR/0xO+UBc Q1J+wHADjL8Q0v0tZLEaiWL72AsxN3GMWNPXWAplaTPUNPUlNK0JPHwhTX/cQVkIc9avSKc3 BeUofC96d13I7QmRjQ0gcBaLtV9lMOuYwbC+6tb70x2fQsI3bwARAQABzSJFa2FpdHogWmFy cmFnYSA8ZWthaXR6QGVsZW5xLnRlY2g+wsGUBBMBCAA+FiEEXb4j05BTZSZ/jMdq/blSvT9z VtYFAmcvh/QCGwMFCQPCZwAFCwkIBwIGFQoJCAsCB In-Reply-To: X-Spampanel-Class: ham X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.bugs:11147 Archived-At: I'll continue with the thread privately. On 2024-12-28 9:30 PM, Bengt Richter wrote: > Hi Ekaitz and anyone interested, > > Sorry for misunderstandings ;-/ > > I thought you have made changes which make the MIT PEG standard [1] available in full, > and I would like to use that full standard PEG syntax for defining something I have in mind. > > I realize that guile's underlying VM has a bytecode interpretation loop that is dynamically > jit-optimized, and that this is orthogonal to whether the host system is RISCV or whatever, > as far as using guile and guix as tools is concerned. (BTW UIAM you have contributed a lot to > making this bug-free and clean, for which thanks! ) > > My interest in RISCV however is as a *target* output language for a compiler I'd like to define > with PEG for transforming my peculiar DSL source to output RISCV source, then compile it > to an image for execution by RISCV hardware or the quivalent qemu virtual hardware. > > I'd like to make a tool that can transform any source written in my peculiar ascii/utf8 DSL-syntax > to a minimal self-contained bootable-in-RISCV-VM-or-HW ELF file. > > I can use the current PEG machinery for testing, but I'd like to avoid debugging things you have fixed :) > Hence my interest in cloning your repo, so I can start using the MIT syntax [1] and be sure bugs > I encounter will be *my* bugs and typos and design/coding mistakes ;-) > > Also, if I write do-what-i-want.scm using the peg accessible with guile3, > the executable will not be a minimal ELF :) > > Thus my interest in the jit code would be to look for code snippets that I might be able to use > for AHOT compilation. Probably someone is already working on something like that. > (Anything I think of seems to be WIP somewhere on the internet already :) > > You write about committing your patches, so I was wondering what git repo you are committing into. > I assume you have a private one on your laptop or otherwise near at hand, but are you pushing to > some place that I could clone, and then use one of Ludo's magic pre-install incantations to access > with use-module in a package definition of mine? > > BTW, re guix/guile development funding -- > I am expecting ARM SOCs with RISCV cores to become important in the hacker/maker embedded world. > > Could guix/guile earn extra funding by having an investment coop llc that designs actual FLOSS HW/SW/FW > and contracts to produce cool devices for profit? (Independent of FSF, and other benevolent sources, > but allowing non-controlling investment from them). > > Sorry to hi-jack this thread. Please start a new one if interested in exploring anything here :) > > [1] > -- > Regards, > Bengt Richter > > On +2024-12-23 23:13:57 +0100, Ekaitz Zarraga wrote: >> Hi, >> >> >> On 2024-12-23 23:04, bokr@bokr.com wrote: >>> • Late kudos to Ekaitz for this great PEG contribution, especially RISCV, >>> which will IMO play a key part in the future of human secure control over machines 🙂 >> >> I think I didn't understand your message very well, but just as a >> clarification: the PEG work and RISC-V work are completely independent, one >> doesn't have anything to do with the other, and the RISC-V work is not >> merged in Guile yet. >> >> The RISC-V work for the Guile JIT (guile already works in riscv without it) >> is in here: >> https://gitlab.com/wingo/lightening/-/merge_requests/14 >> >> Hope this clarifies things.