1d2850cab2d965bd58dcbf29804973254755ccdb
[Faustine.git] / interpretor / parser.ml
1 type token =
2 | CONST of (string)
3 | IDENT of (Types.symbol)
4 | LPAR
5 | RPAR
6 | SEQ
7 | SPLIT
8 | MERGE
9 | PAR
10 | REC
11 | EOF
12 | POINT
13
14 open Parsing;;
15 # 1 "parser.mly"
16
17 open Types
18 # 19 "parser.ml"
19 let yytransl_const = [|
20 259 (* LPAR *);
21 260 (* RPAR *);
22 261 (* SEQ *);
23 262 (* SPLIT *);
24 263 (* MERGE *);
25 264 (* PAR *);
26 265 (* REC *);
27 0 (* EOF *);
28 266 (* POINT *);
29 0|]
30
31 let yytransl_block = [|
32 257 (* CONST *);
33 258 (* IDENT *);
34 0|]
35
36 let yylhs = "\255\255\
37 \001\000\002\000\002\000\002\000\002\000\002\000\002\000\002\000\
38 \002\000\002\000\002\000\000\000"
39
40 let yylen = "\002\000\
41 \002\000\001\000\002\000\003\000\001\000\003\000\003\000\003\000\
42 \003\000\003\000\003\000\002\000"
43
44 let yydefred = "\000\000\
45 \000\000\000\000\000\000\005\000\000\000\012\000\000\000\000\000\
46 \000\000\000\000\000\000\000\000\000\000\000\000\001\000\004\000\
47 \006\000\000\000\000\000\000\000\000\000\011\000"
48
49 let yydgoto = "\002\000\
50 \006\000\007\000"
51
52 let yysindex = "\255\255\
53 \008\255\000\000\024\255\000\000\008\255\000\000\012\000\032\255\
54 \023\255\008\255\008\255\008\255\008\255\008\255\000\000\000\000\
55 \000\000\016\255\253\254\253\254\011\255\000\000"
56
57 let yyrindex = "\000\000\
58 \000\000\000\000\001\000\000\000\000\000\000\000\000\000\007\000\
59 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
60 \000\000\022\000\023\000\026\000\018\000\000\000"
61
62 let yygindex = "\000\000\
63 \000\000\003\000"
64
65 let yytablesize = 286
66 let yytable = "\001\000\
67 \002\000\010\000\011\000\012\000\013\000\014\000\003\000\009\000\
68 \003\000\004\000\005\000\015\000\018\000\019\000\020\000\021\000\
69 \022\000\007\000\013\000\014\000\010\000\010\000\008\000\013\000\
70 \014\000\009\000\017\000\010\000\011\000\012\000\013\000\014\000\
71 \016\000\008\000\000\000\000\000\000\000\000\000\000\000\000\000\
72 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
73 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
74 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
75 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
76 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
77 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
78 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
79 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
80 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
81 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
82 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
83 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
84 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
85 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
86 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
87 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
88 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
89 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
90 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
91 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
92 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
93 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
94 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
95 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
96 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
97 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
98 \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
99 \000\000\000\000\000\000\000\000\002\000\002\000\002\000\002\000\
100 \002\000\002\000\003\000\003\000\003\000\003\000\003\000\003\000\
101 \010\000\011\000\012\000\013\000\014\000\007\000\007\000\007\000\
102 \007\000\010\000\008\000\010\000\010\000\009\000"
103
104 let yycheck = "\001\000\
105 \000\000\005\001\006\001\007\001\008\001\009\001\000\000\005\000\
106 \001\001\002\001\003\001\000\000\010\000\011\000\012\000\013\000\
107 \014\000\000\000\008\001\009\001\005\001\000\000\000\000\008\001\
108 \009\001\000\000\004\001\005\001\006\001\007\001\008\001\009\001\
109 \001\001\010\001\255\255\255\255\255\255\255\255\255\255\255\255\
110 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
111 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
112 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
113 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
114 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
115 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
116 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
117 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
118 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
119 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
120 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
121 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
122 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
123 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
124 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
125 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
126 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
127 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
128 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
129 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
130 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
131 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
132 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
133 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
134 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
135 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
136 \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
137 \255\255\255\255\255\255\255\255\004\001\005\001\006\001\007\001\
138 \008\001\009\001\004\001\005\001\006\001\007\001\008\001\009\001\
139 \005\001\006\001\007\001\008\001\009\001\004\001\005\001\006\001\
140 \007\001\004\001\004\001\006\001\007\001\004\001"
141
142 let yynames_const = "\
143 LPAR\000\
144 RPAR\000\
145 SEQ\000\
146 SPLIT\000\
147 MERGE\000\
148 PAR\000\
149 REC\000\
150 EOF\000\
151 POINT\000\
152 "
153
154 let yynames_block = "\
155 CONST\000\
156 IDENT\000\
157 "
158
159 let yyact = [|
160 (fun _ -> failwith "parser")
161 ; (fun __caml_parser_env ->
162 let _1 = (Parsing.peek_val __caml_parser_env 1 : 'faust_exp) in
163 Obj.repr(
164 # 16 "parser.mly"
165 ( _1 )
166 # 167 "parser.ml"
167 : Types.faust_exp))
168 ; (fun __caml_parser_env ->
169 let _1 = (Parsing.peek_val __caml_parser_env 0 : string) in
170 Obj.repr(
171 # 17 "parser.mly"
172 ( Const(N (int_of_string _1)) )
173 # 174 "parser.ml"
174 : 'faust_exp))
175 ; (fun __caml_parser_env ->
176 let _1 = (Parsing.peek_val __caml_parser_env 1 : string) in
177 Obj.repr(
178 # 18 "parser.mly"
179 ( Const(R (float_of_string _1)) )
180 # 181 "parser.ml"
181 : 'faust_exp))
182 ; (fun __caml_parser_env ->
183 let _1 = (Parsing.peek_val __caml_parser_env 2 : string) in
184 let _3 = (Parsing.peek_val __caml_parser_env 0 : string) in
185 Obj.repr(
186 # 19 "parser.mly"
187 ( Const(R (float_of_string (_1 ^ "." ^ _3))) )
188 # 189 "parser.ml"
189 : 'faust_exp))
190 ; (fun __caml_parser_env ->
191 let _1 = (Parsing.peek_val __caml_parser_env 0 : Types.symbol) in
192 Obj.repr(
193 # 20 "parser.mly"
194 ( Ident(_1) )
195 # 196 "parser.ml"
196 : 'faust_exp))
197 ; (fun __caml_parser_env ->
198 let _2 = (Parsing.peek_val __caml_parser_env 1 : 'faust_exp) in
199 Obj.repr(
200 # 21 "parser.mly"
201 ( _2 )
202 # 203 "parser.ml"
203 : 'faust_exp))
204 ; (fun __caml_parser_env ->
205 let _1 = (Parsing.peek_val __caml_parser_env 2 : 'faust_exp) in
206 let _3 = (Parsing.peek_val __caml_parser_env 0 : 'faust_exp) in
207 Obj.repr(
208 # 22 "parser.mly"
209 ( Par(_1,_3) )
210 # 211 "parser.ml"
211 : 'faust_exp))
212 ; (fun __caml_parser_env ->
213 let _1 = (Parsing.peek_val __caml_parser_env 2 : 'faust_exp) in
214 let _3 = (Parsing.peek_val __caml_parser_env 0 : 'faust_exp) in
215 Obj.repr(
216 # 23 "parser.mly"
217 ( Split(_1,_3) )
218 # 219 "parser.ml"
219 : 'faust_exp))
220 ; (fun __caml_parser_env ->
221 let _1 = (Parsing.peek_val __caml_parser_env 2 : 'faust_exp) in
222 let _3 = (Parsing.peek_val __caml_parser_env 0 : 'faust_exp) in
223 Obj.repr(
224 # 24 "parser.mly"
225 ( Merge(_1,_3) )
226 # 227 "parser.ml"
227 : 'faust_exp))
228 ; (fun __caml_parser_env ->
229 let _1 = (Parsing.peek_val __caml_parser_env 2 : 'faust_exp) in
230 let _3 = (Parsing.peek_val __caml_parser_env 0 : 'faust_exp) in
231 Obj.repr(
232 # 25 "parser.mly"
233 ( Seq(_1,_3) )
234 # 235 "parser.ml"
235 : 'faust_exp))
236 ; (fun __caml_parser_env ->
237 let _1 = (Parsing.peek_val __caml_parser_env 2 : 'faust_exp) in
238 let _3 = (Parsing.peek_val __caml_parser_env 0 : 'faust_exp) in
239 Obj.repr(
240 # 26 "parser.mly"
241 ( Rec(_1,_3) )
242 # 243 "parser.ml"
243 : 'faust_exp))
244 (* Entry main *)
245 ; (fun __caml_parser_env -> raise (Parsing.YYexit (Parsing.peek_val __caml_parser_env 0)))
246 |]
247 let yytables =
248 { Parsing.actions=yyact;
249 Parsing.transl_const=yytransl_const;
250 Parsing.transl_block=yytransl_block;
251 Parsing.lhs=yylhs;
252 Parsing.len=yylen;
253 Parsing.defred=yydefred;
254 Parsing.dgoto=yydgoto;
255 Parsing.sindex=yysindex;
256 Parsing.rindex=yyrindex;
257 Parsing.gindex=yygindex;
258 Parsing.tablesize=yytablesize;
259 Parsing.table=yytable;
260 Parsing.check=yycheck;
261 Parsing.error_function=parse_error;
262 Parsing.names_const=yynames_const;
263 Parsing.names_block=yynames_block }
264 let main (lexfun : Lexing.lexbuf -> token) (lexbuf : Lexing.lexbuf) =
265 (Parsing.yyparse yytables 1 lexfun lexbuf : Types.faust_exp)