From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= Newsgroups: gmane.lisp.guile.bugs Subject: bug#31594: Code causes guild compile to hang Date: Fri, 25 May 2018 18:32:24 +0300 Message-ID: NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000896d3f056d097967" X-Trace: blaine.gmane.org 1527262304 16715 195.159.176.226 (25 May 2018 15:31:44 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 25 May 2018 15:31:44 +0000 (UTC) To: 31594@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Fri May 25 17:31:39 2018 Return-path: Envelope-to: guile-bugs@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 1fMEgt-0004Dt-63 for guile-bugs@m.gmane.org; Fri, 25 May 2018 17:31:39 +0200 Original-Received: from localhost ([::1]:44669 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fMEj0-0001Bv-Dp for guile-bugs@m.gmane.org; Fri, 25 May 2018 11:33:50 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:59733) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fMEiF-0000q7-DQ for bug-guile@gnu.org; Fri, 25 May 2018 11:33:04 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fMEiE-0001px-8V for bug-guile@gnu.org; Fri, 25 May 2018 11:33:03 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:40671) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fMEiE-0001pj-4E for bug-guile@gnu.org; Fri, 25 May 2018 11:33:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1fMEiD-0007ts-U5 for bug-guile@gnu.org; Fri, 25 May 2018 11:33:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Tommi =?UTF-8?Q?H=C3=B6yn=C3=A4l=C3=A4nmaa?= Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Fri, 25 May 2018 15:33:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 31594 X-GNU-PR-Package: guile X-GNU-PR-Keywords: X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.152726235530328 (code B ref -1); Fri, 25 May 2018 15:33:01 +0000 Original-Received: (at submit) by debbugs.gnu.org; 25 May 2018 15:32:35 +0000 Original-Received: from localhost ([127.0.0.1]:48568 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fMEhn-0007t6-7f for submit@debbugs.gnu.org; Fri, 25 May 2018 11:32:35 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:40396) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fMEhm-0007su-Ly for submit@debbugs.gnu.org; Fri, 25 May 2018 11:32:34 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fMEhg-0001QB-FE for submit@debbugs.gnu.org; Fri, 25 May 2018 11:32:29 -0400 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:53300) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1fMEhg-0001Py-Bz for submit@debbugs.gnu.org; Fri, 25 May 2018 11:32:28 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:59586) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fMEhe-0000U5-Tj for bug-guile@gnu.org; Fri, 25 May 2018 11:32:28 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fMEhd-0001Nb-OT for bug-guile@gnu.org; Fri, 25 May 2018 11:32:26 -0400 Original-Received: from mail-it0-x234.google.com ([2607:f8b0:4001:c0b::234]:54645) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fMEhd-0001Mw-Is for bug-guile@gnu.org; Fri, 25 May 2018 11:32:25 -0400 Original-Received: by mail-it0-x234.google.com with SMTP id z6-v6so7297377iti.4 for ; Fri, 25 May 2018 08:32:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=DBhemOg4OjOn6cNuZHdHF48RFUIeeFrWMuk/o8hEur4=; b=nNGysVGCEw94LYyhPVA1fTilFgdhqPlj4K+DJ2vVxd6YqLDzSmGakaNa3kzBla8fU7 6w8V/fMm1r4jcgRKVZn/YNIgNAV+6Kny8x9C6BTqEk6rekIC+MV8/Qg13adJyL5qE2fO NGUbo/il8CrRw1lA/9tns5JVhuWg2Aj+YoZLYeI+pPfcnqJX8bQiU+s82AQYoFv1Q/9N 8MPwoA39GAQxsS6iUPmB4+NqVbRJfTmTXNaIJuOdeYmB5XNs6gAoT8w5dnO4V00L8MTB d6uuhOdZDh0p7aAaPH9imcOL302YmOW4Jp5a7I7WmS4HOLwGBMKCsuL241u+wgR2nQhL JfHw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=DBhemOg4OjOn6cNuZHdHF48RFUIeeFrWMuk/o8hEur4=; b=MMPQVM7o8OD+137G4N8OTnApuH8wEsbOUxC5MfROHAYPhlngtghLKeiWPcJAVGAIna 9kTLifeojeVU5UzaTQrNYIFvcyPbaTxELO9Wjw/0rCyGtiJj9tke5WJmGFG/n6nxGyVF YKe8Uwsr6X9uinPovXQBmXjJoNOQUVD9bwwEArz49XXs/mKll+AtCmGEq83L6MUPWGxh NA67jfcEKxc4nMi/rMsc4U8iacj0Z+cxAVGIu9G8FsriZszwdn6C6o2AT+fjMNTtvQ4y +IEi8Y85fNU8l/sl0l5FiJuCo2ARUpgLqpOWwS3DYH7jIAKclECFVmE0tmOH35BJ5/cf I5Lw== X-Gm-Message-State: ALKqPweSIJn4KVgdKVM01jTRMrb92T15dj34dSGv2NVnFl3hQ2/taSlO ORuyXErOjd/M0QXTN8Njk0NAjlxDYMgvXZAF1Mrk X-Google-Smtp-Source: ADUXVKKWcXofza/9aJKqKiKPwNG/C5wPBvwzgq8RD4/qk/fkLeqoyvIC+1+wowc8fTxiBtdzCBQ/TgeEAKMQXLC5hQQ= X-Received: by 2002:a24:42c6:: with SMTP id i189-v6mr2494672itb.73.1527262344734; Fri, 25 May 2018 08:32:24 -0700 (PDT) Original-Received: by 2002:a02:9008:0:0:0:0:0 with HTTP; Fri, 25 May 2018 08:32:24 -0700 (PDT) X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 208.118.235.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" Xref: news.gmane.org gmane.lisp.guile.bugs:9045 Archived-At: --000000000000896d3f056d097967 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The following code causes command "guild compile" to hang: ---cut here--- (define (select-nearest-methods binder index v-fixed-args v-rest-arg vb-included) (dwl4 "select-nearest-methods") (assert (is-binder? binder)) (let ((n (vector-length vb-included))) (do ((i 0 (+ i 1))) ((>=3D i n)) (if (vector-ref vb-included i) (let ((t1 (get-item-at-index (vector-ref v-fixed-args i) (vector-ref v-rest-arg i) index))) (do ((j 0 (+ j 1))) ((>=3D j n)) (if (and (not (=3D i j)) (vector-ref vb-included j)) (let ((t2 (get-item-at-index (vector-ref v-fixed-args j) (vector-ref v-rest-arg j) index))) (if (is-t-subtype? binder t1 t2) ;; t2 is excluded (vector-set! vb-included j #f)))))))))) ---cut here--- However, the following code works fine: ---cut here--- (define (method-loop binder index v-fixed-args v-rest-arg vb-included t1 i n) (do ((j 0 (+ j 1))) ((>=3D j n)) (if (and (not (=3D i j)) (vector-ref vb-included j)) (let ((t2 (get-item-at-index (vector-ref v-fixed-args j) (vector-ref v-rest-arg j) index))) (if (is-t-subtype? binder t1 t2) ;; t2 is excluded (vector-set! vb-included j #f)))))) (define (select-nearest-methods binder index v-fixed-args v-rest-arg vb-included) (dwl4 "select-nearest-methods") (assert (is-binder? binder)) (let ((n (vector-length vb-included))) (do ((i 0 (+ i 1))) ((>=3D i n)) (if (vector-ref vb-included i) (let ((t1 (get-item-at-index (vector-ref v-fixed-args i) (vector-ref v-rest-arg i) index))) (method-loop binder index v-fixed-args v-rest-arg vb-included t1 i n)))))) ---cut here--- This problem occurs with guile 2.2.3. - Tommi H=C3=B6yn=C3=A4l=C3=A4nmaa --000000000000896d3f056d097967 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: base64 PGRpdiBkaXI9Imx0ciI+PGRpdj5UaGUgZm9sbG93aW5nIGNvZGUgY2F1c2VzIGNvbW1hbmQgJnF1 b3Q7Z3VpbGQgY29tcGlsZSZxdW90OyB0byBoYW5nOjwvZGl2PjxkaXY+LS0tY3V0IGhlcmUtLS08 L2Rpdj48ZGl2PihkZWZpbmUgKHNlbGVjdC1uZWFyZXN0LW1ldGhvZHMgYmluZGVyPGJyPsKgwqDC oCDCoMKgwqAgwqDCoMKgIMKgwqDCoCBpbmRleCB2LWZpeGVkLWFyZ3Mgdi1yZXN0LWFyZyB2Yi1p bmNsdWRlZCk8YnI+wqAgKGR3bDQgJnF1b3Q7c2VsZWN0LW5lYXJlc3QtbWV0aG9kcyZxdW90Oyk8 YnI+wqAgKGFzc2VydCAoaXMtYmluZGVyPyBiaW5kZXIpKTxicj7CoCAobGV0ICgobiAodmVjdG9y LWxlbmd0aCB2Yi1pbmNsdWRlZCkpKTxicj7CoMKgwqAgKGRvICgoaSAwICgrIGkgMSkpKSAoKCZn dDs9IGkgbikpPGJyPsKgwqDCoMKgwqAgKGlmICh2ZWN0b3ItcmVmIHZiLWluY2x1ZGVkIGkpPGJy PsKgwqDCoCDCoCAobGV0ICgodDEgKGdldC1pdGVtLWF0LWluZGV4PGJyPsKgwqDCoCDCoMKgwqAg wqDCoMKgwqAgKHZlY3Rvci1yZWYgdi1maXhlZC1hcmdzIGkpPGJyPsKgwqDCoCDCoMKgwqAgwqDC oMKgwqAgKHZlY3Rvci1yZWYgdi1yZXN0LWFyZyBpKTxicj7CoMKgwqAgwqDCoMKgIMKgwqDCoMKg IGluZGV4KSkpPGJyPsKgwqDCoCDCoMKgwqAgKGRvICgoaiAwICgrIGogMSkpKSAoKCZndDs9IGog bikpPGJyPsKgwqDCoCDCoMKgwqDCoMKgIChpZiAoYW5kIChub3QgKD0gaSBqKSk8YnI+wqDCoMKg IMKgwqDCoCDCoMKgwqDCoMKgwqAgKHZlY3Rvci1yZWYgdmItaW5jbHVkZWQgaikpPGJyPsKgwqDC oCDCoMKgwqAgwqAgKGxldCAoKHQyIChnZXQtaXRlbS1hdC1pbmRleDxicj7CoMKgwqAgwqDCoMKg IMKgwqDCoCDCoMKgwqDCoCAodmVjdG9yLXJlZiB2LWZpeGVkLWFyZ3Mgaik8YnI+wqDCoMKgIMKg wqDCoCDCoMKgwqAgwqDCoMKgwqAgKHZlY3Rvci1yZWYgdi1yZXN0LWFyZyBqKTxicj7CoMKgwqAg wqDCoMKgIMKgwqDCoCDCoMKgwqDCoCBpbmRleCkpKTxicj7CoMKgwqAgwqDCoMKgIMKgwqDCoCAo aWYgKGlzLXQtc3VidHlwZT8gYmluZGVyIHQxIHQyKTxicj7CoMKgwqAgwqDCoMKgIMKgwqDCoCA7 OyB0MiBpcyBleGNsdWRlZDxicj7CoMKgwqAgwqDCoMKgIMKgwqDCoCAodmVjdG9yLXNldCEgdmIt aW5jbHVkZWQgaiAjZikpKSkpKSkpKSk8YnI+PC9kaXY+PGRpdj4tLS1jdXQgaGVyZS0tLTwvZGl2 PjxkaXY+PGJyPjwvZGl2PjxkaXY+SG93ZXZlciwgdGhlIGZvbGxvd2luZyBjb2RlIHdvcmtzIGZp bmU6PC9kaXY+PGRpdj4tLS1jdXQgaGVyZS0tLTwvZGl2PjxkaXY+KGRlZmluZSAobWV0aG9kLWxv b3AgYmluZGVyPGJyPsKgwqDCoCDCoMKgwqAgwqDCoMKgwqAgaW5kZXggdi1maXhlZC1hcmdzIHYt cmVzdC1hcmcgdmItaW5jbHVkZWQgdDEgaSBuKTxicj7CoCAoZG8gKChqIDAgKCsgaiAxKSkpICgo Jmd0Oz0gaiBuKSk8YnI+wqDCoMKgIChpZiAoYW5kIChub3QgKD0gaSBqKSk8YnI+wqDCoMKgIMKg wqDCoMKgICh2ZWN0b3ItcmVmIHZiLWluY2x1ZGVkIGopKTxicj7CoMKgwqAgKGxldCAoKHQyIChn ZXQtaXRlbS1hdC1pbmRleDxicj7CoMKgwqAgwqDCoMKgIMKgwqAgKHZlY3Rvci1yZWYgdi1maXhl ZC1hcmdzIGopPGJyPsKgwqDCoCDCoMKgwqAgwqDCoCAodmVjdG9yLXJlZiB2LXJlc3QtYXJnIGop PGJyPsKgwqDCoCDCoMKgwqAgwqDCoCBpbmRleCkpKTxicj7CoMKgwqAgwqAgKGlmIChpcy10LXN1 YnR5cGU/IGJpbmRlciB0MSB0Mik8YnI+wqDCoMKgIMKgwqDCoMKgwqAgOzsgdDIgaXMgZXhjbHVk ZWQ8YnI+wqDCoMKgIMKgwqDCoMKgwqAgKHZlY3Rvci1zZXQhIHZiLWluY2x1ZGVkIGogI2YpKSkp KSk8YnI+PGJyPjxicj4oZGVmaW5lIChzZWxlY3QtbmVhcmVzdC1tZXRob2RzIGJpbmRlcjxicj7C oMKgwqAgwqDCoMKgIMKgwqDCoCDCoMKgwqAgaW5kZXggdi1maXhlZC1hcmdzIHYtcmVzdC1hcmcg dmItaW5jbHVkZWQpPGJyPsKgIChkd2w0ICZxdW90O3NlbGVjdC1uZWFyZXN0LW1ldGhvZHMmcXVv dDspPGJyPsKgIChhc3NlcnQgKGlzLWJpbmRlcj8gYmluZGVyKSk8YnI+wqAgKGxldCAoKG4gKHZl Y3Rvci1sZW5ndGggdmItaW5jbHVkZWQpKSk8YnI+wqDCoMKgIChkbyAoKGkgMCAoKyBpIDEpKSkg KCgmZ3Q7PSBpIG4pKTxicj7CoMKgwqDCoMKgIChpZiAodmVjdG9yLXJlZiB2Yi1pbmNsdWRlZCBp KTxicj7CoMKgwqAgwqAgKGxldCAoKHQxIChnZXQtaXRlbS1hdC1pbmRleDxicj7CoMKgwqAgwqDC oMKgIMKgwqDCoMKgICh2ZWN0b3ItcmVmIHYtZml4ZWQtYXJncyBpKTxicj7CoMKgwqAgwqDCoMKg IMKgwqDCoMKgICh2ZWN0b3ItcmVmIHYtcmVzdC1hcmcgaSk8YnI+wqDCoMKgIMKgwqDCoCDCoMKg wqDCoCBpbmRleCkpKTxicj7CoMKgwqAgwqDCoMKgIChtZXRob2QtbG9vcCBiaW5kZXIgaW5kZXgg di1maXhlZC1hcmdzIHYtcmVzdC1hcmcgdmItaW5jbHVkZWQ8YnI+wqDCoMKgIMKgwqDCoCDCoMKg wqAgwqB0MSBpIG4pKSkpKSk8YnI+PC9kaXY+PGRpdj4tLS1jdXQgaGVyZS0tLTwvZGl2PjxkaXY+ PGJyPjwvZGl2PjxkaXY+VGhpcyBwcm9ibGVtIG9jY3VycyB3aXRoIGd1aWxlIDIuMi4zLjwvZGl2 PjxkaXY+PGJyPjwvZGl2PjxkaXY+wqDCoMKgwqAgLSBUb21taSBIw7Z5bsOkbMOkbm1hYTwvZGl2 PjxkaXY+PGJyPjwvZGl2PjwvZGl2Pg0K --000000000000896d3f056d097967--