coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Problemes with extendable grammars

From: Hugo Herbelin <herbelin AT pauillac.inria.fr>
To: casteran AT labri.fr (Pierre Casteran)
Cc: hugo.herbelin AT inria.fr, coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] Problemes with extendable grammars
Date: Wed, 4 Dec 2002 23:59:29 +0100 (MET)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

  Hi Pierre,

> Toplevel input, characters 136-137
>  > Grammar mytypes2 int_chevrons2 :=     chevrons2 [ ">>"] -> [(nil ?)].
>  >                                                                  ^
> Syntax error: [Prim.ast] expected after [astident] (in [Prim.ast])

  The problem is that you should tell the parser that the
right-hand-side is a term. You should do it this way:

  Grammar mytypes2 int_chevrons2 : constr := chevrons2 [ ">>"] -> [(nil ?)].

  Best regards,

  Hugo

Re: [Coq-Club] Problemes with extendable grammars, Pierre Casteran
- Re: [Coq-Club] Problemes with extendable grammars, Hugo Herbelin