bundles/menhirLib/menhir-20120123/demos/calc-two/tokens.mly

   1 /**************************************************************************/
   2 /*                                                                        */
   3 /*  Menhir                                                                */
   4 /*                                                                        */
   5 /*  François Pottier, INRIA Rocquencourt                                  */
   6 /*  Yann Régis-Gianas, PPS, Université Paris Diderot                      */
   7 /*                                                                        */
   8 /*  Copyright 2005-2008 Institut National de Recherche en Informatique    */
   9 /*  et en Automatique. All rights reserved. This file is distributed      */
  10 /*  under the terms of the Q Public License version 1.0, with the change  */
  11 /*  described in file LICENSE.                                            */
  12 /*                                                                        */
  13 /**************************************************************************/
  14
  15 (* This partial grammar specification defines the set of tokens. *)
  16
  17 %token <int> INT
  18 %token PLUS MINUS TIMES DIV
  19 %token LPAREN RPAREN
  20 %token EOL
  21
  22 %%
  23