GNU bug report logs - #16008
semantic/grammar-wy.el cannot be bootstrapped

Message received at 16008 <at> debbugs.gnu.org:

Received: (at 16008) by debbugs.gnu.org; 30 Nov 2013 10:00:59 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Nov 30 05:00:59 2013
Received: from localhost ([127.0.0.1]:51162 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.80)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1VmhM9-0005zk-5R
	for submit <at> debbugs.gnu.org; Sat, 30 Nov 2013 05:00:57 -0500
Received: from randomsample.de ([5.45.97.173]:52300)
 by debbugs.gnu.org with esmtp (Exim 4.80)
 (envelope-from <deng@HIDDEN>) id 1VmhM6-0005zX-3z
 for 16008 <at> debbugs.gnu.org; Sat, 30 Nov 2013 05:00:55 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed;
 d=randomsample.de; s=a; 
 h=Content-Type:MIME-Version:Message-ID:Date:References:In-Reply-To:Subject:Cc:To:From;
 bh=5Aj3Dvam0pd5cG2PQOplTGYxJrdvxhxwd3WNmxE4Ff0=; 
 b=aowwElrD18eqrpeOfyK7jqUaF8dFRueqA11m3MpHtWwqjskCDmKu1xtL3FZV9O4yF/uf5CabmYxthrpRjr31tvveDb/QClJxoDTRyuCdeMc8L2vkLvJTbsRpjf5Q4tXy;
Received: from dslc-082-083-033-059.pools.arcor-ip.net ([82.83.33.59]
 helo=spaten)
 by randomsample.de with esmtpsa (TLS1.2:DHE_RSA_AES_128_CBC_SHA1:128)
 (Exim 4.80) (envelope-from <deng@HIDDEN>)
 id 1VmhM4-0006ER-2b; Sat, 30 Nov 2013 11:00:52 +0100
From: David Engster <deng@HIDDEN>
To: Glenn Morris <rgm@HIDDEN>
Subject: Re: bug#16008: semantic/grammar-wy.el cannot be bootstrapped
In-Reply-To: <677gbqhcbh.fsf@HIDDEN> (Glenn Morris's message of
 "Fri, 29 Nov 2013 21:07:30 -0500")
References: <677gbqhcbh.fsf@HIDDEN>
User-Agent: Gnus/5.130008 (Ma Gnus v0.8) Emacs/24.3 (gnu/linux)
Mail-Copies-To: never
Mail-Followup-To: Glenn Morris <rgm@HIDDEN>, 16008 <at> debbugs.gnu.org,
 cedet-devel@HIDDEN
Date: Sat, 30 Nov 2013 11:00:47 +0100
Message-ID: <8738me5hv4.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 16008
Cc: 16008 <at> debbugs.gnu.org, cedet-devel@HIDDEN
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 0.0 (/)

Glenn Morris writes:
> semantic/grammar-wy.el is a generated file and therefore ideally should
> not be kept in the Emacs VCS.

That's true for all parsers. However, grammar-wy.el is special, as
you've noticed.

> It is generated by semantic/grammar.el.
> semantic/grammar.el requires semantic/grammar-wy.el, therefore
> it is not possible to bootstrap without semantic/grammar-wy.el already
> present.

Yes, it has a circular dependency, because the parser grammar-wy.el
parses grammar files, including itself. In upstream, we have a fallback
parser for this, which is used when grammar-wy.el is not present
yet. Needless to say, you'll soon face chicken/egg problems when you do
changes in grammar.wy, which IMHO cause more pain in the rear than
having generated files under version control. In fact, every time I
worked on grammar.wy, I thought about getting rid of bootstrapping at
compile time and just put all parsers under version control.

> I should also note that the version of semantic/grammar-wy.el in the
> Emacs trunk does not match up with its sources.
>
> It contains:
>
>   (require 'semantic)
>
> Yet if you regenerate it, it contains:
>
>   (require 'semantic/lex)
>   (eval-when-compile (require 'semantic/bovine))

Yes, there may be small differences w.r.t. to requires and such. The
generated parsers should never differ, though.

Problem is: the freeze is near, and I have to do another sync with
upstream, and I'd also really like to get a few things fixed before
that.

-David

Message received at 16008 <at> debbugs.gnu.org:

Received: (at 16008) by debbugs.gnu.org; 30 Nov 2013 02:22:46 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Nov 29 21:22:46 2013
Received: from localhost ([127.0.0.1]:50910 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.80)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1VmaCk-00035z-76
	for submit <at> debbugs.gnu.org; Fri, 29 Nov 2013 21:22:46 -0500
Received: from fencepost.gnu.org ([208.118.235.10]:58759 ident=Debian-exim)
 by debbugs.gnu.org with esmtp (Exim 4.80)
 (envelope-from <rgm@HIDDEN>) id 1VmaCi-00035s-Vt
 for 16008 <at> debbugs.gnu.org; Fri, 29 Nov 2013 21:22:45 -0500
Received: from rgm by fencepost.gnu.org with local (Exim 4.71)
 (envelope-from <rgm@HIDDEN>)
 id 1VmaCi-0002nY-8o; Fri, 29 Nov 2013 21:22:44 -0500
From: Glenn Morris <rgm@HIDDEN>
To: 16008 <at> debbugs.gnu.org
Subject: Re: bug#16008: semantic/grammar-wy.el cannot be bootstrapped
References: <677gbqhcbh.fsf@HIDDEN>
X-Spook: Indigo Semtex cracking Nazi cypherpunk Cohiba New World
X-Ran: p=e_=b.Ne*DB}VxXsQXQy^09N",yEvB)DpkqWn]\I}"^Ic&"FG6wjUmSolJ8#^hRSA5V!H
X-Hue: green
X-Debbugs-No-Ack: yes
X-Attribution: GM
Date: Fri, 29 Nov 2013 21:22:44 -0500
In-Reply-To: <677gbqhcbh.fsf@HIDDEN> (Glenn Morris's message of
 "Fri, 29 Nov 2013 21:07:30 -0500")
Message-ID: <1bsiue4oi3.fsf@HIDDEN>
User-Agent: Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Spam-Score: -5.0 (-----)
X-Debbugs-Envelope-To: 16008
Cc: cedet-devel@HIDDEN
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -5.0 (-----)

Glenn Morris wrote:

> It is generated by semantic/grammar.el.
> semantic/grammar.el requires semantic/grammar-wy.el, therefore
> it is not possible to bootstrap without semantic/grammar-wy.el already
> present.

I should have said: it is generated by wisent/grammar.el, which requires
semantic/grammar.el, which requires semantic/grammar-wy.el.

Message received at submit <at> debbugs.gnu.org:

Received: (at submit) by debbugs.gnu.org; 30 Nov 2013 02:07:33 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Nov 29 21:07:33 2013
Received: from localhost ([127.0.0.1]:50902 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.80)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1VmZy0-0002iR-PJ
	for submit <at> debbugs.gnu.org; Fri, 29 Nov 2013 21:07:33 -0500
Received: from fencepost.gnu.org ([208.118.235.10]:58650 ident=Debian-exim)
 by debbugs.gnu.org with esmtp (Exim 4.80)
 (envelope-from <rgm@HIDDEN>) id 1VmZxz-0002iK-Dz
 for submit <at> debbugs.gnu.org; Fri, 29 Nov 2013 21:07:31 -0500
Received: from rgm by fencepost.gnu.org with local (Exim 4.71)
 (envelope-from <rgm@HIDDEN>)
 id 1VmZxy-0001R7-Sr; Fri, 29 Nov 2013 21:07:30 -0500
From: Glenn Morris <rgm@HIDDEN>
To: submit <at> debbugs.gnu.org
Subject: semantic/grammar-wy.el cannot be bootstrapped
X-Spook: security bootleg underground SAPO subversive beanpole
X-Ran: {`p+0%l.u\s$-:*E[YDZ"K3T$w/RSVwb"!!y:p~VWyJ#8ZTcZ{?]>'u@,4fTm/NxVdlPqH
X-Hue: cyan
X-Debbugs-No-Ack: yes
X-Debbugs-Cc: cedet-devel@HIDDEN
X-Attribution: GM
Date: Fri, 29 Nov 2013 21:07:30 -0500
Message-ID: <677gbqhcbh.fsf@HIDDEN>
User-Agent: Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Spam-Score: -5.0 (-----)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -5.0 (-----)

Package: emacs
Version: 24.3.50
User: emacs
Usertags: cedet

semantic/grammar-wy.el is a generated file and therefore ideally should
not be kept in the Emacs VCS.

It is generated by semantic/grammar.el.
semantic/grammar.el requires semantic/grammar-wy.el, therefore
it is not possible to bootstrap without semantic/grammar-wy.el already
present.

I should also note that the version of semantic/grammar-wy.el in the
Emacs trunk does not match up with its sources.

It contains:

  (require 'semantic)

Yet if you regenerate it, it contains:

  (require 'semantic/lex)
  (eval-when-compile (require 'semantic/bovine))