From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Mark H Weaver Newsgroups: gmane.lisp.guile.bugs Subject: bug#16363: interactive use subject to compiler limitations Date: Wed, 15 Jan 2014 15:03:29 -0500 Message-ID: <87ppntt3la.fsf@netris.org> References: <20140105231759.GH30283@fysh.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1389816374 16647 80.91.229.3 (15 Jan 2014 20:06:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 15 Jan 2014 20:06:14 +0000 (UTC) Cc: 16363@debbugs.gnu.org, request@debbugs.gnu.org To: Zefram Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Wed Jan 15 21:06:20 2014 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1W3WjC-0006xZ-Hx for guile-bugs@m.gmane.org; Wed, 15 Jan 2014 21:06:18 +0100 Original-Received: from localhost ([::1]:56977 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W3WjC-00015i-2Z for guile-bugs@m.gmane.org; Wed, 15 Jan 2014 15:06:18 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46298) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W3Wj2-0000yY-HN for bug-guile@gnu.org; Wed, 15 Jan 2014 15:06:14 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W3Wiw-0005RH-8a for bug-guile@gnu.org; Wed, 15 Jan 2014 15:06:08 -0500 Original-Received: from debbugs.gnu.org ([140.186.70.43]:38365) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W3Wiw-0005RD-5Z for bug-guile@gnu.org; Wed, 15 Jan 2014 15:06:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1W3Wiv-00050W-Nx for bug-guile@gnu.org; Wed, 15 Jan 2014 15:06:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Mark H Weaver Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Wed, 15 Jan 2014 20:06:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 16363 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 16363-submit@debbugs.gnu.org id=B16363.138981635319231 (code B ref 16363); Wed, 15 Jan 2014 20:06:01 +0000 Original-Received: (at 16363) by debbugs.gnu.org; 15 Jan 2014 20:05:53 +0000 Original-Received: from localhost ([127.0.0.1]:52384 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W3Win-000502-8x for submit@debbugs.gnu.org; Wed, 15 Jan 2014 15:05:53 -0500 Original-Received: from world.peace.net ([96.39.62.75]:50083) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1W3Wil-0004zo-Ik; Wed, 15 Jan 2014 15:05:51 -0500 Original-Received: from 209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com ([209.6.91.212] helo=yeeloong) by world.peace.net with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1W3Wif-0004Hi-FB; Wed, 15 Jan 2014 15:05:45 -0500 In-Reply-To: <20140105231759.GH30283@fysh.org> (zefram@fysh.org's message of "Sun, 5 Jan 2014 23:17:59 +0000") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 140.186.70.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:7383 Archived-At: tags 16363 notabug thanks Zefram writes: > guile-2.0.9's compiler has some inconvenient restrictions, relative to > its interpreter. Where the compiler is automatically applied to scripts, > the restrictions aren't a serious problem, because if compilation fails > then guile falls back to interpreting the script. But in an interactive > REPL session, by default each form entered by the user is passed through > the compiler, and if compilation fails then the error is signalled, > with no fallback to interpretation. > > As a test case, consider a form in which a procedure object appears. > The compiler can't handle forms that directly reference a wide variety of > object types, including procedures (both primitive and user-defined) and > GOOPS objects. In the interpreter these objects simply self-evaluate, > and it can be useful to reference them without the usual indirection > through a named variable. Scheme does not allow arbitrary user objects to be embedded directly into the source code. It worked by accident in Guile 1.8, but in a system with ahead-of-time compilation to object files, which requires that all code and literals be serialized, there's no sane way to support the semantics you seem to want. Regards, Mark