The Coq mailing list

[Pierre Casteran <casteran AT labri.fr>]

Hello,

 I wanted to have some notation for some kinds of lists.
What is wrong with the following definition ?
Pierre

Require PolyList.

Grammar listes inside_list : ast list :=
  inside_cons  [constr($a)  listes:inside_list($b)] ->
                [(cons $a $b)]

|inside_one  [constr0($a) ">>"] ->[(cons $a (nil ?))].


Syntax error: [Prim.ast] expected after [astident] (in [Prim.ast])




--
Pierre Casteran,
LaBRI, Universite Bordeaux-I      |
351 Cours de la Liberation        |
F-33405 TALENCE Cedex             |
France                            |
tel : (+ 33) 5 56 84 69 31
fax : (+ 33) 5 56 84 66 69
email: Pierre . Casteran @ labri . u-bordeaux . fr  (but whithout white 
space)
www: http://dept-info.labri.u-bordeaux.fr/~casteran