From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Nala Ginrut Newsgroups: gmane.lisp.guile.devel Subject: Re: compilation pragmas? Date: Thu, 30 May 2019 00:16:28 +0800 Message-ID: References: <1B2ADD73-2026-4707-A0AF-EB6A7EA7297C@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="118607"; mail-complaints-to="usenet@blaine.gmane.org" Cc: guile-devel To: Massimiliano Gubinelli Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Wed May 29 18:17:53 2019 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1hW1Gz-000UiV-Bp for guile-devel@m.gmane.org; Wed, 29 May 2019 18:17:53 +0200 Original-Received: from localhost ([127.0.0.1]:57521 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hW1Gy-0003Gb-0m for guile-devel@m.gmane.org; Wed, 29 May 2019 12:17:52 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:34902) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hW1GS-0003GF-1m for guile-devel@gnu.org; Wed, 29 May 2019 12:17:20 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hW1GQ-0006Dr-VF for guile-devel@gnu.org; Wed, 29 May 2019 12:17:20 -0400 Original-Received: from mail-yb1-xb33.google.com ([2607:f8b0:4864:20::b33]:38047) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hW1GQ-0006CO-AA for guile-devel@gnu.org; Wed, 29 May 2019 12:17:18 -0400 Original-Received: by mail-yb1-xb33.google.com with SMTP id x7so1004272ybg.5 for ; Wed, 29 May 2019 09:17:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc:content-transfer-encoding; bh=Qkcl9KL9mfVRgcVcIzX0ygZLSjaixZlAKlUZQFgZm1M=; b=bgL/PRjejcJeOudgQSboZsuHcRqpKFcJQd6qTPSE4PuIxp+SYOG2UyPIcPs+5ojzV1 xEHm2HOjN6oeOE62bMYNywWU8xL0cimdat0QXfVKQ2vmZq4ykbAZKP33OkCaTnNaPqvn fTYRecqylDICKhhJZnDDeXdMJMYYoQzF9XNPQjwO4ArMSL5fxnvaCttMJ0WVz9nkxE// xlTJCPS8R7BO7pp2m0DcedTxgzUp4b32gw9Zy/MaDhVt4Ibkoa4OQJfnJyVMBzOELH5/ 5Y2s4dsHYApj0zsICOmsdF7dxYs7sHXLjEDNYRljUW/Rio4Mr5tUJg6m/Mq4+fiOw1BV fwLg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=Qkcl9KL9mfVRgcVcIzX0ygZLSjaixZlAKlUZQFgZm1M=; b=VPszR6w3msl2uRIy+YAe0lRgoNpg09zOfByo9+nGKeem4Opohcy2I4WdYp2ZQFO9Pl 0Nv9WrR3dsNHp14E04yOXYDumOcATRSH+6M3HSD98xD91Fv8X5Heg6geAjLzLdeaNsVE q6SBTYBd7wNeNc/alYjaaa5KcwJ1MulRb007pgqv7egU37Qv6JY4Ptp/cC0VQ0lmmMoI sDORGRY+byyjhNWEvDNtWSrI/2mp5CTd6NPt4obrfxHizV3yk+GmGlfw0TKzUJxeXr1i /7cOQp6sqWpJgeSGz0HOCLU1Sfy/BKk9kjwtqaLATLcWeJB7Gt9lbRbbU2YaI/sjU/qF SLxw== X-Gm-Message-State: APjAAAWMyFHJykcuF6rsbahQm0pQpCpCFNTmfxsnmui9fY5faq2CnVHm iMCLgigMdRVK8D+ibeBAtg6o9nBNWPFXfdTtlSE= X-Google-Smtp-Source: APXvYqxS0J+v7srPCJLKWCLsgsWc1uPYUFbi+wqtw3Rk1wFSeexqxi8s4bvUjBNFV1b+lVv2mHfI0buf/DP5KWL2RlQ= X-Received: by 2002:a25:9b86:: with SMTP id v6mr25778858ybo.342.1559146635762; Wed, 29 May 2019 09:17:15 -0700 (PDT) In-Reply-To: <1B2ADD73-2026-4707-A0AF-EB6A7EA7297C@gmail.com> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::b33 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: "guile-devel" Xref: news.gmane.org gmane.lisp.guile.devel:19934 Archived-At: Hi Massimiliano! Could you show some code to elaborate on your idea? It's too vague to understand by a pure text description. Thanks! On Wed, May 29, 2019 at 8:43 PM Massimiliano Gubinelli wrote: > > Hello, > I noticed that the Tree IL compiler uses an ad-hoc code to check if some= symbol is dynamically defined by GOOPS, intercepting calls to the toplevel= -define! function which introduces just a new definition in the current mod= ule. In TeXmacs we need some similar dynamics definition mechanism and I ge= t a lot of compiler warnings since the Tree IL analyser does not recognise = my definitions. Of course I have the option to redefine toplevel-define! l= ike GOOPS does, but I=E2=80=99m worried of possible name clashes. Another p= ossibility would be to introduce some =E2=80=9Ccompiler pragma=E2=80=9D sup= port in the Tree IL compiler so that it can have annotations which can then= be ignored when producing more lower lever code. In this way one could mak= e the mechanism of suppressing particular warnings (e.g. possibly undefined= symbols) independent of hacks specific only to certain libraries and provi= de more orthogonal features. Does it sounds reasonable? I could try to hack= it down but I would like to discuss first possible design issues, I=E2=80= =99m new to guile compiler. > > Best regards, > Massimiliano Gubinelli > >