From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.devel Subject: Re: A big hole where the evaluator used to be... Date: Fri, 11 Dec 2009 20:18:31 +0100 Message-ID: References: <87hbs7q3je.fsf@ossau.uklinux.net> <87iqcdlaj9.fsf@ossau.uklinux.net> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1260559700 3861 80.91.229.12 (11 Dec 2009 19:28:20 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 11 Dec 2009 19:28:20 +0000 (UTC) Cc: Guile Development To: Neil Jerram Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Fri Dec 11 20:28:13 2009 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1NJB9r-0007tI-WD for guile-devel@m.gmane.org; Fri, 11 Dec 2009 20:28:08 +0100 Original-Received: from localhost ([127.0.0.1]:45068 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NJB9r-0000Mt-82 for guile-devel@m.gmane.org; Fri, 11 Dec 2009 14:28:07 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1NJAzv-0004LF-KU for guile-devel@gnu.org; Fri, 11 Dec 2009 14:17:51 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1NJAzq-0004EO-QZ for guile-devel@gnu.org; Fri, 11 Dec 2009 14:17:51 -0500 Original-Received: from [199.232.76.173] (port=53240 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1NJAzq-0004EB-KK for guile-devel@gnu.org; Fri, 11 Dec 2009 14:17:46 -0500 Original-Received: from a-pb-sasl-sd.pobox.com ([64.74.157.62]:55095 helo=sasl.smtp.pobox.com) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1NJAzq-0002NC-Ai for guile-devel@gnu.org; Fri, 11 Dec 2009 14:17:46 -0500 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 80D46A57EC; Fri, 11 Dec 2009 14:17:42 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=LUfSTBO7OywO3xD9SvUIz59+uc8=; b=kXlalz iKYAJlloBX9GwnOawpaosIOgZ79IPNycNL9mwkJ7o6IlxeBq2ULQ2UhiNOxh8BRy A0CMKuoIoytPCAKJHqmDazTLdIkt/TSOcPHhdib8mIknVo8iBpOx+IF15++uL5VB LRSqjnBgDyJAdhupzGbo1SqAEutzRzq3oBzdM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=PjJuRXrpLUC9VJmXTC/jLXv336xM+uar inqxnYMYz3bw24iuNa08rYtAA2jHbp/kxe3c+/k6/vAozCkO5OTQzWKOU4XdxrE7 Sx0udB6pefl3XXhht8y+BYgIG68mG3gglNdizRmHkHk1xdbFE7RX/WQWm89g0/6T WatuBiCdTSQ= Original-Received: from a-pb-sasl-sd.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id 6EC4BA57EA; Fri, 11 Dec 2009 14:17:41 -0500 (EST) Original-Received: from unquote (unknown [79.156.147.76]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id 8A46CA57E8; Fri, 11 Dec 2009 14:17:39 -0500 (EST) In-Reply-To: <87iqcdlaj9.fsf@ossau.uklinux.net> (Neil Jerram's message of "Fri, 11 Dec 2009 16:50:50 +0000") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.92 (gnu/linux) X-Pobox-Relay-ID: DA3E2C1A-E689-11DE-A975-B34DBBB5EC2E-02397024!a-pb-sasl-sd.pobox.com X-detected-operating-system: by monty-python.gnu.org: Solaris 10 (beta) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:9759 Archived-At: On Fri 11 Dec 2009 17:50, Neil Jerram writes: > Andy Wingo writes: > >> Thanks! I finally had time to write up some of this here: >> >> http://wingolog.org/archives/2009/12/09/in-which-our-protagonist-forgoes-modesty > > Nice. But I didn't understand where you said that all the unit tests go > through the evaluator. Apart from those that use eval explicitly, don't > they all just get compiled and VM'd? They don't, actually. They are all run with the evaluator. See 609edba7eaa2bb30df90a09541a48d97ab4a3bf8. We should probably enable it again now. >> Another side of this is compile-time speed; psyntax-pp.scm takes forever >> to compile now, like 4 or 8 minutes. > > And much longer than that (~30 mins?) on my ancient P3 laptop! (But > it's still worth it!) Uf, 30 minutes. Way too long, eh. I agree it's worth it but that we need to profile things and see what improvements we can get. Also, we could focus on compiler improvements that would help the evaluator -- computed goto might be a good one, so that our memoized-expression-case could compile to something that looks more like the compilation of `case'. Peace, Andy -- http://wingolog.org/