labltk-ppyac.mly 1.73 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
/***********************************************************************/
/*                                                                     */
/*                 MLTk, Tcl/Tk interface of Objective Caml            */
/*                                                                     */
/*    Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis    */
/*               projet Cristal, INRIA Rocquencourt                    */
/*            Jacques Garrigue, Kyoto University RIMS                  */
/*                                                                     */
/*  Copyright 2002 Institut National de Recherche en Informatique et   */
/*  en Automatique and Kyoto University.  All rights reserved.         */
/*  This file is distributed under the terms of the GNU Library        */
/*  General Public License, with the special exception on linking      */
/*  described in file ../LICENSE.                                      */
/*                                                                     */
/***********************************************************************/

%{
open Code
%}

%token <string> IFDEF
%token <string> IFNDEF
%token ELSE
%token ENDIF
%token <string> DEFINE
%token <string> UNDEF
%token <string> OTHER
%token EOF

/* entry */

%start code_list
%type <Code.code list> code_list

%%

code_list:
    /* empty */ { [] }
  | code code_list { $1 :: $2 }
;

code:
  | DEFINE { Define $1 }
  | UNDEF { Undef $1 }
  | IFDEF code_list ELSE code_list ENDIF { Ifdef (true, $1, $2, Some ($4)) }
  | IFNDEF code_list ELSE code_list ENDIF { Ifdef (false, $1, $2, Some ($4)) }
  | IFDEF code_list ENDIF { Ifdef (true, $1, $2, None) }
  | IFNDEF code_list ENDIF { Ifdef (false, $1, $2, None) }
  | OTHER { Line $1 }
;

%%