From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-ed1-x52c.google.com (mail-ed1-x52c.google.com [IPv6:2a00:1450:4864:20::52c]) by sourceware.org (Postfix) with ESMTPS id 4397C3857835 for ; Fri, 6 Oct 2023 22:01:23 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 4397C3857835 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-ed1-x52c.google.com with SMTP id 4fb4d7f45d1cf-538575a38ffso4365437a12.1 for ; Fri, 06 Oct 2023 15:01:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1696629681; x=1697234481; darn=sourceware.org; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=2UTTZHAiXnobcPvAc2bkoEmTCgURkf7x8Z6TOvvy1iA=; b=GdIuxXscX9K39CW1tjGQERxBdC+HlPh6bggl0wSsSD1fB3ESS7nV6kRDh0muKMjUh5 bojIfit1z+bJydcJ9lnUCr+p1ZPIH6cQGs9wpZGhe8te4BBJqqS7vKbuEqAKCcLdFgc2 jslrGmygnEZ8FhGKbOvZ5mplFws+IgcMfixPgllLszJiwljsuaPDFQExzUWGOBE1Jtvd Zmx9CnwODDBBekTOPkN5s0TlLsnNYC5gBqeXhRYYJNKmDjOuxzNrgtTaxFE4TVWH8Gao SvDWI4imtQjoA0ugP2NLWafHz37D8aU88wYLRoVe0+iMBzm4zt7a/He5bjbJq3q/ZiKn FKjg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1696629681; x=1697234481; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=2UTTZHAiXnobcPvAc2bkoEmTCgURkf7x8Z6TOvvy1iA=; b=aDLFXj4Z3lXT+pA5hUjSN2aujl6u5lGdvodos1K/woxFfvGrFV1oM8oHbt9t/tYC/A S7RmIqY50W/dy18KwS4y7KaYyXOptqpgOs2pvaPeuA6T/g+lOx+IFZ5LomiQDOHIsh7i zGQUvLyxCJP4adCuppf/feZqYmuo9SvwE1MP8RxBVV06W3khAQiiPJN240nLu9kA8QBH YsS+aBb2W5qNk5gS2jfV5nabt7GD2aq3ozn/Xldls8eQzNkydHYlsNpilkJt2XMWEWls Ita/2xofUFVHFsSBfb7AjOijQ5F6+DH2OUG0KN4PAs0DtTHgt070q7u5dSGKWZqz/teA FUqQ== X-Gm-Message-State: AOJu0YwOZJ0sVNk8pKvdQm5dCD80u2Mllr8kf30tqlzWNIvCc5qEWlfR unHnkS8TzUCuTyW5CylpU/ElNb5k6ELDh/sHVvUIAfoSZQc= X-Google-Smtp-Source: AGHT+IF3+5jt16WqzTwYvxTURiofTtpgTBcQkwG4cTqvSpJ15TNnLNv51yg81TEgCwpNgkOpbRc0IRb7gUVaf9drmWY= X-Received: by 2002:aa7:d515:0:b0:52b:db31:3c5c with SMTP id y21-20020aa7d515000000b0052bdb313c5cmr9055938edq.0.1696629681531; Fri, 06 Oct 2023 15:01:21 -0700 (PDT) MIME-Version: 1.0 From: Damien Mattei Date: Sat, 7 Oct 2023 00:01:10 +0200 Message-ID: Subject: macro error: ... follows template with no suitably-nested pattern variable To: kawa mailing list Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=-0.6 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: hello, this macro seems not valid for kawa but is right with Racket and Guile: (define-syntax <+ (syntax-rules () ((_ (var1 ...) expr) (begin (define-values (var1 ...) expr) (values var1 ...))) ;; (begin ;; (define var1 '()) ;; ... ;; ;;(display "<+ multiple") (newline) ;; (set!-values (var1 ...) expr))) ;; > {(x y z) <+ (u v w) <+ (a b c) <+ (values 2 4 5)} ;; 2 ;; 4 ;; 5 ;; > (list x y z u v w a b c) ;; '(2 4 5 2 4 5 2 4 5) ((_ (var10 ...) (var11 ...) ... expr) (begin ;; i do not do what the syntax says (assignation not in the good order) but it gives the same result (define-values (var10 ...) expr) (define-values (var11 ...) (values var10 ...)) ... (values var10 ...))) ((_ var expr) (begin (define var expr) var)) ;; > { y <+ z <+ 7 } ;; 7 ;; > z ;; 7 ;; > y ;; 7 ;; > { x <+ y <+ z <+ 7 } ;; 7 ;; > (list x y z) ;; '(7 7 7) ((_ var var1 ... expr) (begin ;; i do not do what the syntax says (assignation not in the good order) but it gives the same result (define var expr) (define var1 var) ... var)) )) error: ... follows template with no suitably-nested pattern variable the error is located on the second pattern: ((_ (var10 ...) (var11 ...) ... expr) (begin ;; i do not do what the syntax says (assignation not in the good order) but it gives the same result (define-values (var10 ...) expr) (define-values (var11 ...) (values var10 ...)) ... (values var10 ...))) i had a few doubt long ago about multiple ... use but it worked well with other scheme. Damien