GNU bug report logs - #10651
compiling pattern matching for (or ...) takes forever

Previous Next

Full log

View this message in rfc822 format

From: Stefan Israelsson Tampe <stefan.itampe <at> gmail.com>
To: 10651 <at> debbugs.gnu.org, foof <at> synthcode.com
Subject: bug#10651: There should be a fix to this bug
Date: Mon, 21 May 2012 22:51:09 +0200

[Message part 1 (text/plain, inline)]

Hi,

In the compilation of the or pattern the sk is made a lambda
but not the fk hence the observed geometric explosion. I have a fix
for this that works but intend to talk with foof about it
to fix ithe upstream matcher. There is really no need to change the doc

The fix is easy (I beleve). Actually a small diff for it shows shows,

482,483c482
<      (let ((ffk (lambda () (match-gen-or-step v q g+s sk fk i))))
<        (match-one v p g+s sk (ffk) i)))
---
>      (match-one v p g+s sk (match-gen-or-step v q g+s sk fk i) i))

/Stefan

[Message part 2 (text/html, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.