2
<link rel="stylesheet" href="style.css" type="text/css">
3
<link rel="Start" href="index.html">
4
<link title="Index of types" rel=Appendix href="index_types.html">
5
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
6
<link title="Index of values" rel=Appendix href="index_values.html">
7
<link title="Index of modules" rel=Appendix href="index_modules.html">
8
<link title="Index of module types" rel=Appendix href="index_module_types.html">
9
<link title="Grammar" rel="Chapter" href="Grammar.html">
10
<link title="Extfun" rel="Chapter" href="Extfun.html">
11
<link title="Pcaml" rel="Chapter" href="Pcaml.html">
12
<link title="Plexer" rel="Chapter" href="Plexer.html">
13
<link title="Quotation" rel="Chapter" href="Quotation.html">
14
<link title="Token" rel="Chapter" href="Token.html">
15
<link title="Stdpp" rel="Chapter" href="Stdpp.html"><title>Pcaml</title>
18
<code class="code"><span class="keyword">sig</span><br>
19
<span class="keyword">val</span> syntax_name : string <span class="constructor">Pervasives</span>.ref<br>
20
<span class="keyword">val</span> parse_interf :<br>
21
(char <span class="constructor">Stream</span>.t <span class="keywordsign">-></span> (<span class="constructor">MLast</span>.sig_item * <span class="constructor">MLast</span>.loc) list * bool)<br>
22
<span class="constructor">Pervasives</span>.ref<br>
23
<span class="keyword">val</span> parse_implem :<br>
24
(char <span class="constructor">Stream</span>.t <span class="keywordsign">-></span> (<span class="constructor">MLast</span>.str_item * <span class="constructor">MLast</span>.loc) list * bool)<br>
25
<span class="constructor">Pervasives</span>.ref<br>
26
<span class="keyword">val</span> gram : <span class="constructor">Grammar</span>.g<br>
27
<span class="keyword">val</span> interf : ((<span class="constructor">MLast</span>.sig_item * <span class="constructor">MLast</span>.loc) list * bool) <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
28
<span class="keyword">val</span> implem : ((<span class="constructor">MLast</span>.str_item * <span class="constructor">MLast</span>.loc) list * bool) <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
29
<span class="keyword">val</span> top_phrase : <span class="constructor">MLast</span>.str_item option <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
30
<span class="keyword">val</span> use_file : (<span class="constructor">MLast</span>.str_item list * bool) <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
31
<span class="keyword">val</span> module_type : <span class="constructor">MLast</span>.module_type <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
32
<span class="keyword">val</span> module_expr : <span class="constructor">MLast</span>.module_expr <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
33
<span class="keyword">val</span> sig_item : <span class="constructor">MLast</span>.sig_item <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
34
<span class="keyword">val</span> str_item : <span class="constructor">MLast</span>.str_item <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
35
<span class="keyword">val</span> expr : <span class="constructor">MLast</span>.expr <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
36
<span class="keyword">val</span> patt : <span class="constructor">MLast</span>.patt <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
37
<span class="keyword">val</span> ctyp : <span class="constructor">MLast</span>.ctyp <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
38
<span class="keyword">val</span> let_binding : (<span class="constructor">MLast</span>.patt * <span class="constructor">MLast</span>.expr) <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
39
<span class="keyword">val</span> type_declaration : <span class="constructor">MLast</span>.type_decl <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
40
<span class="keyword">val</span> class_sig_item : <span class="constructor">MLast</span>.class_sig_item <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
41
<span class="keyword">val</span> class_str_item : <span class="constructor">MLast</span>.class_str_item <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
42
<span class="keyword">val</span> class_expr : <span class="constructor">MLast</span>.class_expr <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
43
<span class="keyword">val</span> class_type : <span class="constructor">MLast</span>.class_type <span class="constructor">Grammar</span>.<span class="constructor">Entry</span>.e<br>
44
<span class="keyword">val</span> input_file : string <span class="constructor">Pervasives</span>.ref<br>
45
<span class="keyword">val</span> output_file : string option <span class="constructor">Pervasives</span>.ref<br>
46
<span class="keyword">val</span> report_error : exn <span class="keywordsign">-></span> unit<br>
47
<span class="keyword">val</span> quotation_dump_file : string option <span class="constructor">Pervasives</span>.ref<br>
48
<span class="keyword">val</span> version : string<br>
49
<span class="keyword">val</span> add_option : string <span class="keywordsign">-></span> <span class="constructor">Arg</span>.spec <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br>
50
<span class="keyword">val</span> no_constructors_arity : bool <span class="constructor">Pervasives</span>.ref<br>
51
<span class="keyword">val</span> sync : (char <span class="constructor">Stream</span>.t <span class="keywordsign">-></span> unit) <span class="constructor">Pervasives</span>.ref<br>
52
<span class="keyword">val</span> handle_expr_quotation : <span class="constructor">MLast</span>.loc <span class="keywordsign">-></span> string * string <span class="keywordsign">-></span> <span class="constructor">MLast</span>.expr<br>
53
<span class="keyword">val</span> handle_expr_locate : <span class="constructor">MLast</span>.loc <span class="keywordsign">-></span> int * string <span class="keywordsign">-></span> <span class="constructor">MLast</span>.expr<br>
54
<span class="keyword">val</span> handle_patt_quotation : <span class="constructor">MLast</span>.loc <span class="keywordsign">-></span> string * string <span class="keywordsign">-></span> <span class="constructor">MLast</span>.patt<br>
55
<span class="keyword">val</span> handle_patt_locate : <span class="constructor">MLast</span>.loc <span class="keywordsign">-></span> int * string <span class="keywordsign">-></span> <span class="constructor">MLast</span>.patt<br>
56
<span class="keyword">val</span> expr_reloc :<br>
57
(<span class="constructor">MLast</span>.loc <span class="keywordsign">-></span> <span class="constructor">MLast</span>.loc) <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">MLast</span>.expr <span class="keywordsign">-></span> <span class="constructor">MLast</span>.expr<br>
58
<span class="keyword">val</span> patt_reloc :<br>
59
(<span class="constructor">MLast</span>.loc <span class="keywordsign">-></span> <span class="constructor">MLast</span>.loc) <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">MLast</span>.patt <span class="keywordsign">-></span> <span class="constructor">MLast</span>.patt<br>
60
<span class="keyword">val</span> rename_id : (string <span class="keywordsign">-></span> string) <span class="constructor">Pervasives</span>.ref<br>
61
<span class="keyword">type</span> err_ctx =<br>
62
<span class="constructor">Finding</span><br>
63
<span class="keywordsign">|</span> <span class="constructor">Expanding</span><br>
64
<span class="keywordsign">|</span> <span class="constructor">ParsingResult</span> <span class="keyword">of</span> (int * int) * string<br>
65
<span class="keywordsign">|</span> <span class="constructor">Locating</span><br>
66
<span class="keyword">exception</span> <span class="constructor">Qerror</span> <span class="keyword">of</span> string * <span class="constructor">Pcaml</span>.err_ctx * exn<br>
67
<span class="keyword">val</span> print_interf :<br>
68
((<span class="constructor">MLast</span>.sig_item * <span class="constructor">MLast</span>.loc) list <span class="keywordsign">-></span> unit) <span class="constructor">Pervasives</span>.ref<br>
69
<span class="keyword">val</span> print_implem :<br>
70
((<span class="constructor">MLast</span>.str_item * <span class="constructor">MLast</span>.loc) list <span class="keywordsign">-></span> unit) <span class="constructor">Pervasives</span>.ref<br>
71
<span class="keyword">type</span> <span class="keywordsign">'</span>a printer_t = {<br>
72
<span class="keyword">mutable</span> pr_fun : string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pcaml</span>.kont <span class="keywordsign">-></span> <span class="constructor">Spretty</span>.pretty;<br>
73
<span class="keyword">mutable</span> pr_levels : <span class="keywordsign">'</span>a <span class="constructor">Pcaml</span>.pr_level list;<br>
75
<span class="keyword">and</span> <span class="keywordsign">'</span>a pr_level = {<br>
76
pr_label : string;<br>
77
pr_box : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Spretty</span>.pretty <span class="constructor">Stream</span>.t <span class="keywordsign">-></span> <span class="constructor">Spretty</span>.pretty;<br>
78
<span class="keyword">mutable</span> pr_rules : <span class="keywordsign">'</span>a <span class="constructor">Pcaml</span>.pr_rule;<br>
80
<span class="keyword">and</span> <span class="keywordsign">'</span>a pr_rule =<br>
81
(<span class="keywordsign">'</span>a,<br>
82
<span class="keywordsign">'</span>a <span class="constructor">Pcaml</span>.curr <span class="keywordsign">-></span><br>
83
<span class="keywordsign">'</span>a <span class="constructor">Pcaml</span>.next <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pcaml</span>.kont <span class="keywordsign">-></span> <span class="constructor">Spretty</span>.pretty <span class="constructor">Stream</span>.t)<br>
84
<span class="constructor">Extfun</span>.t<br>
85
<span class="keyword">and</span> <span class="keywordsign">'</span>a curr = <span class="keywordsign">'</span>a <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pcaml</span>.kont <span class="keywordsign">-></span> <span class="constructor">Spretty</span>.pretty <span class="constructor">Stream</span>.t<br>
86
<span class="keyword">and</span> <span class="keywordsign">'</span>a next = <span class="keywordsign">'</span>a <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="constructor">Pcaml</span>.kont <span class="keywordsign">-></span> <span class="constructor">Spretty</span>.pretty<br>
87
<span class="keyword">and</span> kont = <span class="constructor">Spretty</span>.pretty <span class="constructor">Stream</span>.t<br>
88
<span class="keyword">val</span> pr_sig_item : <span class="constructor">MLast</span>.sig_item <span class="constructor">Pcaml</span>.printer_t<br>
89
<span class="keyword">val</span> pr_str_item : <span class="constructor">MLast</span>.str_item <span class="constructor">Pcaml</span>.printer_t<br>
90
<span class="keyword">val</span> pr_module_type : <span class="constructor">MLast</span>.module_type <span class="constructor">Pcaml</span>.printer_t<br>
91
<span class="keyword">val</span> pr_module_expr : <span class="constructor">MLast</span>.module_expr <span class="constructor">Pcaml</span>.printer_t<br>
92
<span class="keyword">val</span> pr_expr : <span class="constructor">MLast</span>.expr <span class="constructor">Pcaml</span>.printer_t<br>
93
<span class="keyword">val</span> pr_patt : <span class="constructor">MLast</span>.patt <span class="constructor">Pcaml</span>.printer_t<br>
94
<span class="keyword">val</span> pr_ctyp : <span class="constructor">MLast</span>.ctyp <span class="constructor">Pcaml</span>.printer_t<br>
95
<span class="keyword">val</span> pr_class_sig_item : <span class="constructor">MLast</span>.class_sig_item <span class="constructor">Pcaml</span>.printer_t<br>
96
<span class="keyword">val</span> pr_class_str_item : <span class="constructor">MLast</span>.class_str_item <span class="constructor">Pcaml</span>.printer_t<br>
97
<span class="keyword">val</span> pr_class_type : <span class="constructor">MLast</span>.class_type <span class="constructor">Pcaml</span>.printer_t<br>
98
<span class="keyword">val</span> pr_class_expr : <span class="constructor">MLast</span>.class_expr <span class="constructor">Pcaml</span>.printer_t<br>
99
<span class="keyword">val</span> pr_expr_fun_args :<br>
100
(<span class="constructor">MLast</span>.expr, <span class="constructor">MLast</span>.patt list * <span class="constructor">MLast</span>.expr) <span class="constructor">Extfun</span>.t <span class="constructor">Pervasives</span>.ref<br>
101
<span class="keyword">val</span> find_pr_level : string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pcaml</span>.pr_level list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Pcaml</span>.pr_level<br>
102
<span class="keyword">val</span> top_printer : <span class="keywordsign">'</span>a <span class="constructor">Pcaml</span>.printer_t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit<br>
103
<span class="keyword">val</span> string_of : <span class="keywordsign">'</span>a <span class="constructor">Pcaml</span>.printer_t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> string<br>
104
<span class="keyword">val</span> inter_phrases : string option <span class="constructor">Pervasives</span>.ref<br>
105
<span class="keyword">end</span></code></body></html>
b'\\ No newline at end of file'