blob: 75f40abbf4e836289467b627502a0798f042c71c (
plain)
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
|
(* camlp4r pa_extend.cmo *)
(****************************************)
value interf_p =
Grammar.Entry.of_parser Pcaml.gram "interf" interf_0
;
value implem_p =
Grammar.Entry.of_parser Pcaml.gram "implem" implem_0
;
value top_phrase_p =
Grammar.Entry.of_parser Pcaml.gram "top_phrase" top_phrase_0
;
value use_file_p =
Grammar.Entry.of_parser Pcaml.gram "use_file" use_file_0
;
EXTEND
interf:
[ [ x = interf_p -> x ] ]
;
implem:
[ [ x = implem_p -> x ] ]
;
top_phrase:
[ [ x = top_phrase_p -> x ] ]
;
use_file:
[ [ x = use_file_p -> x ] ]
;
END;
|
