From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Damien Mattei Newsgroups: gmane.lisp.guile.user Subject: Re: 2 macros in one expression Date: Fri, 14 Apr 2023 16:49:15 +0200 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="32481"; mail-complaints-to="usenet@ciao.gmane.io" To: guile-user Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Fri Apr 14 16:50:00 2023 Return-path: Envelope-to: guile-user@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 1pnKkR-0008Ic-VT for guile-user@m.gmane-mx.org; Fri, 14 Apr 2023 16:50:00 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pnKk2-00039p-Rs; Fri, 14 Apr 2023 10:49:34 -0400 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 1pnKk1-000396-Hi for guile-user@gnu.org; Fri, 14 Apr 2023 10:49:33 -0400 Original-Received: from mail-ej1-x62e.google.com ([2a00:1450:4864:20::62e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pnKjw-00087r-VV for guile-user@gnu.org; Fri, 14 Apr 2023 10:49:30 -0400 Original-Received: by mail-ej1-x62e.google.com with SMTP id a640c23a62f3a-94e53ef6815so188357866b.1 for ; Fri, 14 Apr 2023 07:49:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1681483767; x=1684075767; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :from:to:cc:subject:date:message-id:reply-to; bh=8VmPn0GBn/MzWoPawgNyBRoiNYUqdJ1z30jq6LTH6X4=; b=ZotynU1Bh6MnoesI5Hs9cV5r3xqJcu1uWESTcXaKAfaaAfLTq9a24yDMh6SFYyQ0Ni GgI6gwa2ahz84/EWbobZwHWNEplX2ou7y34dvysgKDZgh+Fvs4tMbcOwIeYD2wobmbNt NssKEYyC2iSutUSqR6ICY1uobtK9ePOMfOx6dzwXCfo1KDODBw/YgFp0ZU7q0zTd2/QP JLpliIWK9zl9zaPcF5s7DdTcyD/PMxjvhMfU4jWnk9hxJnnt1uHyuZJXnKCGBNXUCRWh pSEJx0zZUqsK7PWP1SYrXIypg+c+fZq4j5wObk0UyGXS+6p1qy3WWTfRTRDElX4LQgT7 9OpQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1681483767; x=1684075767; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=8VmPn0GBn/MzWoPawgNyBRoiNYUqdJ1z30jq6LTH6X4=; b=e7RdPbxRMiU+rMCUr48qVaNvJY7lA9BQyjFIl8TztQrIMBl0dpKx23gamRiQVKWHPl Kq5+8yUlPtWdsIxhFMGnnWsElobe7hrQbkPhNNfCglmkZpAAdGIWrJhXOzntCHTQHL0s izGFK59Gf4xuogB6oc5QEG79r+L2jJzNPt0Sjr0S0/2vFqvm5M/+kiNTvsLawY6oKN/m Ttf6n5YupYWZwl+40SLjYpd19XpIO1dFPDbQKLBen9Qk58UOAekDUAj3gmhuR8Ex8Lhv aFsTgDx5GYRKtf9G0u7ViHldrV41QKwDPAgQA5LyAkxt4Let7bBY09WPkgg24notJZSS 6diA== X-Gm-Message-State: AAQBX9fQLPPvRlmmmD3MaH4Xz5xIo/M5rhzR/RPhmAIXm4xoaMUcuh59 6W7eH4IW7odHegtmq1VMNSGTWlaMYyQ8tkoY6lcE45aleDM= X-Google-Smtp-Source: AKy350ZYfgzBLdo6jg+gp8mlxVzeEs06K/w9Z8Yyb/OBWm6oDtN2GNi9VCmCxc7VTDbarXZVejs498UVbdcPEnFdHmo= X-Received: by 2002:a50:bb6a:0:b0:504:8cf0:c3ec with SMTP id y97-20020a50bb6a000000b005048cf0c3ecmr3180715ede.8.1681483766900; Fri, 14 Apr 2023 07:49:26 -0700 (PDT) In-Reply-To: Received-SPF: pass client-ip=2a00:1450:4864:20::62e; envelope-from=damien.mattei@gmail.com; helo=mail-ej1-x62e.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Content-Filtered-By: Mailman/MimeDel 2.1.29 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.29 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-mx.org@gnu.org Original-Sender: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.user:18959 Archived-At: i have found that the error is related with this : (define-syntax $nfx$ (syntax-rules () ((_ ident opspecial term1 op term2) (cond ((or (equal? (quote opspecial) (quote <-)) (equal? (quote opspecial) (quote =E2=86=90))) (begin (display "$nfx$") (newline) (opspecial ident (op term1 term2)))) ;; {ident <- term1 op term2} ((or (equal? (quote op) (quote ->)) (equal? (quote op) (quote =E2=86= =92))) (op term2 (opspecial ident term1))) ;; Warning: argument names of macro do not reprensent the values contained in this case (else (! ident (quote opspecial) term1 op term2)))) this code works: scheme@(guile-user)> (define i 2) scheme@(guile-user)> {i <- i + 1} $nfx$ 3 but if i change the last line of the else clause by removing the quote of opspecial: (else (! ident opspecial term1 op term2)))) it will fail: scheme@(guile-user)> {i <- i + 1} While compiling expression: Syntax error: unknown location: source expression failed to match any pattern in form <- i understand the problem is with opspecial equal in this example to the special form <- but what i do not understand is why the code is then going to the else clause as i know that previously it was on the same example evaluating the first clause: (begin (display "$nfx$") (newline) (opspecial ident (op term1 term2)))) ;; {ident <- term1 op term2} ??? On Fri, Apr 14, 2023 at 1:02=E2=80=AFPM Damien Mattei wrote: > hello, > > i have 2 macros used in one expression like this: > scheme@(guile-user)> (define i 2) > scheme@(guile-user)> {i <- i + 1} > and i got this error: > While compiling expression: > Syntax error: > unknown location: source expression failed to match any pattern in form <= - > > i use SRFI-105 so : > '{i <- i + 1} expand in: > ($nfx$ i <- i + 1) > > and i'm expecting $nfx$ to be called but none of this happens: > scheme@(guile-user)> ($nfx$ i <- i + 1) > While compiling expression: > Syntax error: > unknown location: source expression failed to match any pattern in form <= - > > it seems to be the <- macro and i do not understand why? > > any idea? > > macros are defined like this for the beginning: > ;; from file assignment.scm > (define-syntax <- > > (syntax-rules () > ;; special form like : (<- ($bracket-apply$ T 3) ($bracket-apply$ T > 4)) > > ;; one dimension array, example: {a[4] <- 7} > ;; $bracket-apply$ is from SRFI 105 bracket-apply is an argument of > the macro > ((_ (bracket-apply container index) expr) > > .... > > ;; from file scheme-infix.scm > (define-syntax $nfx$ > (syntax-rules () > > ((_ ident opspecial term1 op term2) (cond ((or (equal? (quote > opspecial) (quote <-)) (equal? (quote opspecial) (quote =E2=86=90))) > (begin > (display "$nfx$") (newline) > (opspecial ident (op term1 term2)))) ;; {ident <- {term1 op term2}} > > ... > > > it is in a module like this: > > (define-module (Scheme+) > > #:use-module (growable-vector) > #:use-module (srfi srfi-69) ;; Basic hash tables > #:use-module (srfi srfi-31) ;; rec > #:export ($nfx$ def $bracket-apply$ <- =E2=86=90 -> =E2=86=92 <+ =E2=A5= =86 +> =E2=A5=85 declare $ & > condx <> =E2=89=A0 ** =E2=87=9C =E2=87=9D repeat) > #:replace (do when unless)) > > > > (include-from-path "def.scm") > (include-from-path "array.scm") > (include-from-path "set-values-plus.scm") > (include-from-path "apply-square-brackets.scm") > (include-from-path "assignment.scm") > (include-from-path "declare.scm") > (include-from-path "condx.scm") > (include-from-path "block.scm") > (include-from-path "not-equal.scm") > (include-from-path "exponential.scm") > (include-from-path "while-do-when-unless.scm") > (include-from-path "repeat-until.scm") > (include-from-path "scheme-infix.scm") > > if it can help. > > Regards, > Damien >