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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
(* Js_of_ocaml compiler
* http://www.ocsigen.org/js_of_ocaml/
* Copyright (C) 2013 Hugo Heuzard
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as published by
* the Free Software Foundation, with linking exception;
* either version 2.1 of the License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
*)
%token TProvides TRequires TVersion TWeakdef TIf TAlways TAlias
%token TA_Pure TA_Const TA_Mutable TA_Mutator TA_Shallow TA_Object_literal
%token<string> TIdent TVNum
%token TComma TColon EOF EOL LE LT GE GT EQ LPARENT RPARENT
%token<string> TOTHER
%token<string> TDeprecated
%token TBang
%start annot
%type <Primitive.t> annot
%%
annot:
| TProvides TColon id=TIdent opt=option(prim_annot)
args=option(delimited(LPARENT, separated_list(TComma,arg_annot),RPARENT))
endline
{ `Provides (id,(match opt with None -> `Mutator | Some k -> k),args) }
| TRequires TColon l=separated_nonempty_list(TComma,TIdent) endline
{ `Requires (l) }
| TVersion TColon l=separated_nonempty_list(TComma,version) endline
{ `Version (l) }
| TWeakdef endline { `Weakdef }
| TAlways endline { `Always }
| TDeprecated endline { `Deprecated $1 }
| TAlias TColon name=TIdent endline { `Alias (name) }
| TIf TColon name=TIdent endline { `If (name) }
| TIf TColon TBang name=TIdent endline { `Ifnot (name) }
prim_annot:
| TA_Pure {`Pure}
| TA_Const {`Pure}
| TA_Mutable {`Mutable}
| TA_Mutator {`Mutator}
arg_annot:
| TA_Const { `Const }
| TA_Shallow { `Shallow_const}
| TA_Object_literal { `Object_literal}
| TA_Mutable { `Mutable}
op:
| LE {(<=)}
| LT {(<)}
| GT {(>)}
| GE {(>=)}
| EQ {(=)}
version:
| op TVNum { $1,$2 }
endline:
| EOL { () }
| EOF { () }
| TOTHER { failwith $1 }
|
