From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 126772 invoked by alias); 2 Jan 2017 23:30:43 -0000 Mailing-List: contact kawa-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: kawa-owner@sourceware.org Received: (qmail 126757 invoked by uid 89); 2 Jan 2017 23:30:42 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.0 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,RCVD_IN_SORBS_SPAM,SPF_PASS autolearn=ham version=3.3.2 spammy=threw, transformer, set!, sk:define X-HELO: mail-qk0-f174.google.com Received: from mail-qk0-f174.google.com (HELO mail-qk0-f174.google.com) (209.85.220.174) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 02 Jan 2017 23:30:41 +0000 Received: by mail-qk0-f174.google.com with SMTP id t184so361617488qkd.0 for ; Mon, 02 Jan 2017 15:30:41 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=DK8WRg2D6dD4D4+wYJM2HgGUSkDIk1PEX6gtlzICDh8=; b=aEPN40aJWJtKDpN5GINIcJyVAGrKKIUtn3SzY6JwWqUG6K5MPQJhd4MQvzVMz6K3zm 2VifZ4EK4r15SSaqJUCtWxB1RFfH5reVGoaJirsh1FxpBbxlg+Z760aO6SzV8Dfas2BM /vLQ3zx+mdgTRyNhncBzBk2iikW+URAqrn0ghbuEWGOVJ6gcZ237ps3ixc/4zMup8fbT FmQZju27rpok1jY2ifZ2Afol+abP6oB9mmFddT9w21fyOMYTkOiLAqlEV4sn8y/oqhZC 1qYfR6nDqxvA7hDW1iPCOz4AumCkW6Bej5J7w3T+ZeUu1Dz58fzNKNQ4rXq/57E8KxWa h5mg== X-Gm-Message-State: AIkVDXK/8GRG96AODPWHRBBTyEHXALR0Sy3PtlzUO9uLng0ATNchbUac42TZ3b6buQqBoEDOnMrnYkaZ+2+Ujg== X-Received: by 10.55.132.67 with SMTP id g64mr38304944qkd.153.1483399839675; Mon, 02 Jan 2017 15:30:39 -0800 (PST) MIME-Version: 1.0 Received: by 10.140.88.243 with HTTP; Mon, 2 Jan 2017 15:29:59 -0800 (PST) From: Duncan Mak Date: Mon, 02 Jan 2017 23:30:00 -0000 Message-ID: Subject: Using environment-bound? in macro definitions To: kawa mailing list Content-Type: text/plain; charset=UTF-8 X-IsSubscribed: yes X-SW-Source: 2017-q1/txt/msg00006.txt.bz2 Hello, Here's a stripped down version of two define-form macros that I'm working on: (require 'syntax-utils) (define-for-syntax known (list)) (define-syntax define-foo (lambda (stx) (syntax-case stx () ((define-foo a) (begin (set! known (cons #'a known)) #'(define a (list))))))) (define-syntax define-bar (lambda (stx) (syntax-case stx () ((define-bar a n) (if (environment-bound? (apply environment known) #'a) #'(set! a (cons n a)) #'(begin (define-foo a) (set! a (cons n a)))))))) ;; (1) should expand to (define x (list)) and store x in known (define-foo x) ;; (2) should expand to (set! x (cons 1 x)) since x was previously ;; defined (i.e. can be found in known) (define-bar x 1) ;; (3) should expand to (begin (define-foo y) (set! y (cons 2 y))) ;; because y is not previous defined (define-bar y 2) When I try to run it, I get test.scm:29:1: evaluating syntax transformer 'define-bar' threw gnu.text.SyntaxException: : unknown library (x) I must be doing something wrong, is this the right approach? Thanks! -- Duncan.