From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Stefan Israelsson Tampe Newsgroups: gmane.lisp.guile.devel Subject: Re: Fault in guile 2.9 Date: Sat, 10 Nov 2018 15:17:14 +0100 Message-ID: References: NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="00000000000093318a057a502018" X-Trace: blaine.gmane.org 1541859542 9951 195.159.176.226 (10 Nov 2018 14:19:02 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 10 Nov 2018 14:19:02 +0000 (UTC) To: guile-devel Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sat Nov 10 15:18:58 2018 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gLU6D-0002S5-Sy for guile-devel@m.gmane.org; Sat, 10 Nov 2018 15:18:58 +0100 Original-Received: from localhost ([::1]:38625 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gLU8K-0006LV-2W for guile-devel@m.gmane.org; Sat, 10 Nov 2018 09:21:08 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:45308) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1gLU8A-0006GG-Jg for guile-devel@gnu.org; Sat, 10 Nov 2018 09:20:59 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1gLU4l-0005ki-Oi for guile-devel@gnu.org; Sat, 10 Nov 2018 09:17:30 -0500 Original-Received: from mail-vk1-xa31.google.com ([2607:f8b0:4864:20::a31]:45033) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1gLU4k-0005ju-Sp for guile-devel@gnu.org; Sat, 10 Nov 2018 09:17:27 -0500 Original-Received: by mail-vk1-xa31.google.com with SMTP id h128so1054081vkg.11 for ; Sat, 10 Nov 2018 06:17:26 -0800 (PST) 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; bh=3flDfn3KfE28BCSc14jB96VgT1BHzYwFT9W/Zg0x40o=; b=m6287Ns8jQ8DYTcQ2y024m0ccvdMBXb/V+SsqD/c81kLP7KDlAOxn6UBeataeeKZnD tFUn3KEIAQf4mZjFn+/Y4cOdY77UIFKxErGrkFhqtpahsT5OpZ0sDuyxBjMEIgIvakLu S3Fnv+h/MeKrM+vDey/gb53hd8DV1e8saRSICBiOZZKefzaoyYdmHrGrl3Lt+1WQ9mFD ys3fltSuQkI8hv9H3miQe8rsre6xNsC6eaOHwLbw9ebC68LnH6OGOUKgfV91F0yK1y4d k+yPIPFwXATgibTojaMb1ojYN/pkP6GRn0QC85hPJI2KQOreatdAudAzzbLttVUsYCd9 ICtw== 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; bh=3flDfn3KfE28BCSc14jB96VgT1BHzYwFT9W/Zg0x40o=; b=UPmAv8w4gd8BO0r1dEr7vQyIEMY7/FDXTfQyrUP4Jg53qhhD3BgTQe/zoYjuI9VhOY FGXh7CthSoiwA00x5KLhSn9OCj3/5HV+jN2Iaq/217XG65GjRVCu7dM9aC1pPjVv7k1q Gmvv0+eCYzq1yMuJIpos7NQmFWc6IH+HW632sFwMPWQm9+1VMnjxhqcvXItC3fNmLh7+ RTdaOsFsrQ/7yH+1yx8dPL2lK9IJC+XDkcvHaMn/xUmhMG0iwjV4XA2aZPR3lAxvfi8/ 8VAnZZUFvmavqXd5Ic4KUCBGPlnG09KgB8FyOpMVKXh0LE45wXBLQulv8udMcl+OHqFs bNDA== X-Gm-Message-State: AGRZ1gIFcSSi+HX9QqsbWVJwqRjYhkiYzcsW6jw/WD3oPnyhARaTOXYG pXyG1qPNdkMZ6qN4IDHxiGn5gL0/sdVu/EcRdexDhA== X-Google-Smtp-Source: AJdET5eXFiE7SgR5jLjqkNYI4nVu09W/kFqAHRqM3yw0DvdxG/yrnpbAcdDuk/CGmRSGUVlGoY49rzTMf5Mn4Gs9ZqI= X-Received: by 2002:a1f:97d1:: with SMTP id z200mr5588907vkd.15.1541859446041; Sat, 10 Nov 2018 06:17:26 -0800 (PST) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::a31 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:19721 Archived-At: --00000000000093318a057a502018 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi, Turns out that this is the error you get when you put a procedure as a faulty syntax value. We should catch this earlier I think, with a helpful error message and a stacktrace. Regards Stefan On Sat, Nov 10, 2018 at 12:27 AM Stefan Israelsson Tampe < stefan.itampe@gmail.com> wrote: > Stack trace: > > Backtrace: > In ice-9/boot-9.scm: > 838:4 19 (with-throw-handler _ _ _) > In system/base/compile.scm: > 59:11 18 (_) > 155:11 17 (_ #) > 224:14 16 (read-and-compile _ #:from _ #:to _ #:env _ #:opts _) > 255:6 15 (compile _ #:from _ #:to _ #:env _ #:opts _) > 183:32 14 (compile-fold _ _ _ (#:to-file? #t #:warnings (# # # =E2=80= =A6))) > In language/cps/compile-bytecode.scm: > 683:12 13 (compile-bytecode _ # =E2=80=A6) > 675:12 12 (lower-cps _ (#:to-file? #t #:warnings (format # # #))) > In language/cps/optimize.scm: > 84:0 11 (optimize-higher-order-cps _ _) > In language/cps/dce.scm: > 402:33 10 (eliminate-dead-code _) > 110:18 9 (compute-live-code #) > In language/cps/intmap.scm: > 519:5 8 (visit-branch #(#(#(#(# =E2=80= =A6) =E2=80=A6) =E2=80=A6) =E2=80=A6) =E2=80=A6) > 519:5 7 (visit-branch #(#(#(# =E2= =80=A6) =E2=80=A6) =E2=80=A6) =E2=80=A6) > 519:5 6 (visit-branch #(#(# = =E2=80=A6) =E2=80=A6) =E2=80=A6) > 519:5 5 (visit-branch #(#= =E2=80=A6) =E2=80=A6) > In language/cps/type-checks.scm: > 41:15 4 (elide-type-checks # 33263 #) > In language/cps/types.scm: > 1758:5 3 (worklist-fold* # _ _) > 1899:26 2 (visit-cont 33278 #) > 381:4 1 (constant-type _) > In ice-9/boot-9.scm: > 749:25 0 (dispatch-exception 0 misc-error (#f "unhandled cons=E2=80=A6= " =E2=80=A6)) > > ice-9/boot-9.scm:749:25: In procedure dispatch-exception: > unhandled constant # > > > > On Sat, Nov 10, 2018 at 12:25 AM Stefan Israelsson Tampe < > stefan.itampe@gmail.com> wrote: > >> Hi, >> >> I got this error, >> >> what's this error message? unhandled constant # >> >> So a with got a src meta informatoin in it's field somehow, a bu= g >> in guile's compiler >> for sure. This is for a real stress test, a compile of a huge file that >> used to take 10minutes to compile. So I ill not be able to track this do= wn >> and make a bugreport But now you know, there >> exist a bug! >> >> Regards >> Stefan >> > --00000000000093318a057a502018 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

Turns out that this is the er= ror you get when you put a procedure as a faulty syntax value.
We shoul= d catch this earlier I think, with a helpful error message and a stacktrace= .

Regards
Stefan

On Sat, Nov 10, 2018 at 12:27 AM Stefan= Israelsson Tampe <stefan.ita= mpe@gmail.com> wrote:
Stack trace:

Backtrace:
In ice-9/boot-9.scm:
=C2=A0=C2=A0=C2=A0838:4 19 (with-throw-handler _ _ _)
In system/base/compile.scm:
=C2=A0=C2=A0=C2=A059:11 18 (_)
=C2=A0=C2=A0155:11 17 (_ #<closed: file 565113183230>)
=C2=A0=C2=A0224:14 16 (read-and-compile _ #:from _ #:to _ #:env _ #:op= ts _)
=C2=A0=C2=A0=C2=A0255:6 15 (compile _ #:from _ #:to _ #:env _ #:opts _= )
=C2=A0=C2=A0183:32 14 (compile-fold _ _ _ (#:to-file? #t #:warnings (#= # # =E2=80=A6)))
In language/cps/compile-bytecode.scm:
=C2=A0=C2=A0683:12 13 (compile-bytecode _ #<directory (language pro= log modul=E2=80=A6> =E2=80=A6)
=C2=A0=C2=A0675:12 12 (lower-cps _ (#:to-file? #t #:warnings (format #= # #)))
In language/cps/optimize.scm:
=C2=A0=C2=A0=C2=A0=C2=A084:0 11 (optimize-higher-order-cps _ _)
In language/cps/dce.scm:
=C2=A0=C2=A0402:33 10 (eliminate-dead-code _)
=C2=A0=C2=A0110:18 =C2=A09 (compute-live-code #<intmap 0-462173>= )
In language/cps/intmap.scm:
=C2=A0=C2=A0=C2=A0519:5 =C2=A08 (visit-branch #(#(#(#(#<cps (kfun (= ) 0 329=E2=80=A6> =E2=80=A6) =E2=80=A6) =E2=80=A6) =E2=80=A6) =E2=80=A6)
=C2=A0=C2=A0=C2=A0519:5 =C2=A07 (visit-branch #(#(#(#<cps (kargs (a= rg) (23580=E2=80=A6> =E2=80=A6) =E2=80=A6) =E2=80=A6) =E2=80=A6)
=C2=A0=C2=A0=C2=A0519:5 =C2=A06 (visit-branch #(#(#<cps (kargs (arg= ) (23580) (co=E2=80=A6> =E2=80=A6) =E2=80=A6) =E2=80=A6)
=C2=A0=C2=A0=C2=A0519:5 =C2=A05 (visit-branch #(#<cps (kargs (arg) = (23825) (continu=E2=80=A6> =E2=80=A6) =E2=80=A6)
In language/cps/type-checks.scm:
=C2=A0=C2=A0=C2=A041:15 =C2=A04 (elide-type-checks #<intmap 0-46217= 3> 33263 #<intmap 0-=E2=80=A6>)
In language/cps/types.scm:
=C2=A0=C2=A01758:5 =C2=A03 (worklist-fold* #<procedure visit-cont (= label typev)> _ _)
=C2=A01899:26 =C2=A02 (visit-cont 33278 #<intmap 33263+0-15>)
=C2=A0=C2=A0=C2=A0381:4 =C2=A01 (constant-type _)
In ice-9/boot-9.scm:
=C2=A0=C2=A0749:25 =C2=A00 (dispatch-exception 0 misc-error (#f "= unhandled cons=E2=80=A6" =E2=80=A6))

ice-9/boot-9.scm:749:25: In procedure dispatch-exception:
unhandled constant #<procedure src (lam u)>



On Sat, Nov 10, 2018 at 12:25 AM Stefan Israelsson Tampe <stefan.itampe@gma= il.com> wrote:
Hi,

I got this error,
what's this error message? unhandled constant #<procedur= e src (lam u)>

So a <const> with got = a src meta informatoin in it's field somehow, a bug in guile's comp= iler=C2=A0
for sure. This is for a real stress test, a compile of= a huge file that used to take 10minutes to compile. So I ill not be able t= o track this down and make a bugreport But now you know, there=C2=A0
<= div>exist a bug!

Regards
Stefan
--00000000000093318a057a502018--