From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA25448; Fri, 12 Sep 2003 11:20:14 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA22782 for <caml-list@pauillac.inria.fr>; Fri, 12 Sep 2003 11:20:12 +0200 (MET DST)
Received: from intmail.imperium.ph ([202.175.240.154])
	by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h8C9K8T02345
	for <caml-list@inria.fr>; Fri, 12 Sep 2003 11:20:11 +0200 (MET DST)
Received: from morgoth.imperium.ph (unknown [192.168.1.35])
	by intmail.imperium.ph (Postfix) with SMTP
	id 4D68D46AB8; Fri, 12 Sep 2003 17:20:07 +0800 (PHT)
Received: by morgoth.imperium.ph (sSMTP sendmail emulation); Fri, 12 Sep 2003 17:22:24 +0800
Date: Fri, 12 Sep 2003 17:22:24 +0800
From: "Rafael 'Dido' Sevilla" <dido@imperium.ph>
To: Christian Lindig <lindig@cs.uni-sb.de>, caml-list@inria.fr
Subject: Re: [Caml-list] eliminating shift/reduce conflicts
Message-ID: <20030912092224.GA9332@imperium.ph>
References: <20030912082632.GA9048@imperium.ph> <20030912084047.GB31078@st>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20030912084047.GB31078@st>
X-Operating-System: Linux morgoth 2.4.20-gentoo-r5
User-Agent: Mutt/1.5.4i
X-Loop: caml-list@inria.fr
X-Spam: no; 0.00; rafael:01 'dido':01 dido:01 caml-list:01 lindig:01 foo:01 baz:01 baz:01 foo:01 token:01 0200,:01 sep:01 unit:03 wrote:03 reproduce:03 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

On Fri, Sep 12, 2003 at 10:40:47AM +0200, Christian Lindig wrote:
> I have tried to build a little grammar to reproduce your problem but
> failed. If you could post a small stand-alone grammar for OCamlyacc
> somebody might be able to help you.

Here then:

%token COLON COMMA FOO BAR BAZ
%start start
%type <unit>start
%%

start: bar {}
  | baz {}
  ;

foo_list: FOO {}
  | foo_list COMMA FOO {}
  ;

bar: foo_list COLON BAR {}
  ;

baz: FOO COLON BAZ {}
  ;

produces a shift/reduce on COLON.


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners