/***********************************************************************/

/*                                                                     */

/*                 MLTk, Tcl/Tk interface of OCaml                     */

/*                                                                     */

/*    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 }

;

%%