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 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 }
;
%%
|
