From mboxrd@z Thu Jan 1 00:00:00 1970 Path: main.gmane.org!not-for-mail From: Marius Vollmer Newsgroups: gmane.lisp.guile.devel Subject: Re: Smart variables, dumb variables Date: 14 Aug 2002 23:09:36 +0200 Sender: guile-devel-admin@gnu.org Message-ID: <871y91taen.fsf@zagadka.ping.de> References: <87y9bajzfp.fsf@zagadka.ping.de> <20020814080715.GA6068@www> <87fzxhteri.fsf@zagadka.ping.de> <20020814202831.GA7443@www> <877kittbdr.fsf@zagadka.ping.de> <20020814210634.GA7220@www> NNTP-Posting-Host: localhost.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: main.gmane.org 1029359377 12379 127.0.0.1 (14 Aug 2002 21:09:37 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Wed, 14 Aug 2002 21:09:37 +0000 (UTC) Cc: tomas@fabula.de, guile-devel@gnu.org Return-path: Original-Received: from monty-python.gnu.org ([199.232.76.173]) by main.gmane.org with esmtp (Exim 3.35 #1 (Debian)) id 17f5OY-0003DQ-00 for ; Wed, 14 Aug 2002 23:09:36 +0200 Original-Received: from localhost ([127.0.0.1] helo=monty-python.gnu.org) by monty-python.gnu.org with esmtp (Exim 4.10) id 17f5PR-0003IC-00; Wed, 14 Aug 2002 17:10:29 -0400 Original-Received: from list by monty-python.gnu.org with tmda-scanned (Exim 4.10) id 17f5Oi-00038E-00 for guile-devel@gnu.org; Wed, 14 Aug 2002 17:09:44 -0400 Original-Received: from mail by monty-python.gnu.org with spam-scanned (Exim 4.10) id 17f5Od-00036k-00 for guile-devel@gnu.org; Wed, 14 Aug 2002 17:09:43 -0400 Original-Received: from dialin.speedway42.dip157.dokom.de ([195.138.42.157] helo=zagadka.ping.de) by monty-python.gnu.org with smtp (Exim 4.10) id 17f5Ob-00036D-00 for guile-devel@gnu.org; Wed, 14 Aug 2002 17:09:37 -0400 Original-Received: (qmail 2874 invoked by uid 1000); 14 Aug 2002 21:09:36 -0000 Original-To: rm@fabula.de In-Reply-To: <20020814210634.GA7220@www> Original-Lines: 21 User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Errors-To: guile-devel-admin@gnu.org X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.0.11 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: Developers list for Guile, the GNU extensibility library List-Unsubscribe: , List-Archive: Xref: main.gmane.org gmane.lisp.guile.devel:1083 X-Report-Spam: http://spam.gmane.org/gmane.lisp.guile.devel:1083 rm@fabula.de writes: > > I had in mind that the compiler could use the bit to decide if it is > > allowed to inline some functions (such as '+', 'car', ...) but I no > > longer think that would be the right way. > > Wouldn't that imply that certain functions will never be 'generic' ? What do you mean with generic? The way I imagine it, is that you can put declarations on variables that the compiler is allowed to trust at compile-time, and one such declaration could be "this variable holds the R5RS primitive procedure '+' and will always hold it." This is a reasonable declaration to make. The compiler could then inline the fixnum part of '+' and call out-of-line code for the rest. So my next proposal is to add declarations to variables... :-) -- GPG: D5D4E405 - 2F9B BCCC 8527 692A 04E3 331E FAF8 226A D5D4 E405 _______________________________________________ Guile-devel mailing list Guile-devel@gnu.org http://mail.gnu.org/mailman/listinfo/guile-devel