From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Massimiliano Gubinelli Newsgroups: gmane.lisp.guile.devel Subject: compilation pragmas? Date: Wed, 29 May 2019 09:53:46 +0200 Message-ID: <1B2ADD73-2026-4707-A0AF-EB6A7EA7297C@gmail.com> Mime-Version: 1.0 (Mac OS X Mail 12.4 \(3445.104.8\)) 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="175364"; mail-complaints-to="usenet@blaine.gmane.org" To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Wed May 29 14:43:17 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 1hVxvJ-000jX4-Hj for guile-devel@m.gmane.org; Wed, 29 May 2019 14:43:17 +0200 Original-Received: from localhost ([127.0.0.1]:53655 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hVxvI-00029m-EG for guile-devel@m.gmane.org; Wed, 29 May 2019 08:43:16 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:35685) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hVtPC-0000mG-Nf for guile-devel@gnu.org; Wed, 29 May 2019 03:53:51 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hVtPB-0008Tn-TJ for guile-devel@gnu.org; Wed, 29 May 2019 03:53:50 -0400 Original-Received: from mail-wr1-x42a.google.com ([2a00:1450:4864:20::42a]:44720) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hVtPB-0008TB-Nt for guile-devel@gnu.org; Wed, 29 May 2019 03:53:49 -0400 Original-Received: by mail-wr1-x42a.google.com with SMTP id w13so921887wru.11 for ; Wed, 29 May 2019 00:53:49 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:content-transfer-encoding:mime-version:subject:message-id:date :to; bh=rYe9AJbbqzvQ9nHRwWY3u8V74jiTk9AU4TmYiw/rbCY=; b=lNG6qCI+Z6ZTTE//rS1yJffiHwVbUysC+G9VOuq/xPvxjmcJ+Fx9RvbdTjwlho0Fyp gnu9YwVW60V5R/0OdTUEm4LSVcaj85ml1m8yGsy2RbhLRBBdyjgtWSrmsuYWOk7aCHVF IIk/zyVBNs8C/tSKUDAn01BdHBQJ9ho8ChW8Rw05eat5jaCmBPcJrzTuCsKDELplArf+ VS9211z2GdUqtxTYGLPfbg9u4GZrtWQAhsxFQ/5ogF3VP5QQejq939bf0bINCy+lRn1c al1ahUIJNUkSLhe214DBEGZQpwHcu/Odv520bRSOP5tjTFX0WJeJsKzbZ5HU56LCXM72 mxUA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:content-transfer-encoding:mime-version :subject:message-id:date:to; bh=rYe9AJbbqzvQ9nHRwWY3u8V74jiTk9AU4TmYiw/rbCY=; b=BWXytHJgV+LzkhS6C7ql4VzCKqrAtKsTakXCPfH4YJ2yoys84aJWIZjIaPynYwjakx qx9mG8DPQPYGXh4zr5kOAk6m5GOgTYVvNTSVJxn+qsSJtePV2jo+chAK2radogjdwpqp y9gMSThHA5MUOpr6uwVUjaQn38NqQI43yhwAuTgnUgrXauQNeki4VPYff5Lf3vrscGP7 1f8/p+/+dfPWpZUZJeASPi73/VxHWYDlAc5L9LxrR4rNeJD3yufP6Z7deFq3UdmOruAF vhV1YvKqJKHePHHdWvOF3rzkO8Ui1iQsEtMMOOJhZy2857S4RXlqJ2Gg6+scRGfhmYe7 3ajw== X-Gm-Message-State: APjAAAVr3wlbuKy4BemUHcW0zkF66MyThj85LQVMpH6OMRcjLanoOHqm 6pycnyvkslxrFFUlt/KBwXvXC9ss9mMC1w== X-Google-Smtp-Source: APXvYqztHEdhmBd9dy7drD63P6i4No3qHV2xJEJOGjBEe/swabRjOxJcpB86fbqhEF496LkNsePfow== X-Received: by 2002:adf:e945:: with SMTP id m5mr7532485wrn.90.1559116427954; Wed, 29 May 2019 00:53:47 -0700 (PDT) Original-Received: from [192.168.5.221] (ir-iam-vb1.rhrz.uni-bonn.de. [131.220.115.241]) by smtp.gmail.com with ESMTPSA id l8sm12991853wrw.56.2019.05.29.00.53.47 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 29 May 2019 00:53:47 -0700 (PDT) X-Mailer: Apple Mail (2.3445.104.8) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2a00:1450:4864:20::42a X-Mailman-Approved-At: Wed, 29 May 2019 08:40:43 -0400 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:19933 Archived-At: 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 module. In TeXmacs we need some similar dynamics definition = mechanism and I get 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! like GOOPS does, but I=E2=80=99m worried = of possible name clashes. Another possibility would be to introduce some = =E2=80=9Ccompiler pragma=E2=80=9D support 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 make the mechanism of = suppressing particular warnings (e.g. possibly undefined symbols) = independent of hacks specific only to certain libraries and provide 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