3
<link rel="stylesheet" href="style.css" type="text/css">
4
<link rel="Start" href="index.html">
5
<link rel="previous" href="Token.html">
6
<link rel="Up" href="index.html">
7
<link title="Index of types" rel=Appendix href="index_types.html">
8
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
9
<link title="Index of values" rel=Appendix href="index_values.html">
10
<link title="Index of modules" rel=Appendix href="index_modules.html">
11
<link title="Index of module types" rel=Appendix href="index_module_types.html">
12
<link title="Grammar" rel="Chapter" href="Grammar.html">
13
<link title="Extfun" rel="Chapter" href="Extfun.html">
14
<link title="Pcaml" rel="Chapter" href="Pcaml.html">
15
<link title="Plexer" rel="Chapter" href="Plexer.html">
16
<link title="Quotation" rel="Chapter" href="Quotation.html">
17
<link title="Token" rel="Chapter" href="Token.html">
18
<link title="Stdpp" rel="Chapter" href="Stdpp.html"><title>Stdpp</title>
21
<div class="navbar"><a href="Token.html">Previous</a>
22
<a href="index.html">Up</a>
24
<center><h1>Module <a href="type_Stdpp.html">Stdpp</a></h1></center>
26
<pre><span class="keyword">module</span> Stdpp: <code class="type">sig end</code></pre><div class="info">
27
Standard definitions.<br>
30
<pre><span class="keyword">exception</span> <a name="EXCEPTIONExc_located"></a>Exc_located <span class="keyword">of</span> <code class="type">((int * int) * exn)</code></pre>
32
<code class="code">Exc_located loc e</code> is an encapsulation of the exception <code class="code">e</code> with
33
the input location <code class="code">loc</code>. To be used in quotation expanders
34
and in grammars to specify some input location for an error.
35
Do not raise this exception directly: rather use the following
36
function <code class="code">raise_with_loc</code>.<br>
38
<pre><span class="keyword">val</span> <a name="VALraise_with_loc"></a>raise_with_loc : <code class="type">int * int -> exn -> 'a</code></pre><div class="info">
39
<code class="code">raise_with_loc loc e</code>, if <code class="code">e</code> is already the exception <code class="code">Exc_located</code>,
40
re-raise it, else raise the exception <code class="code">Exc_located loc e</code>.<br>
42
<pre><span class="keyword">val</span> <a name="VALline_of_loc"></a>line_of_loc : <code class="type">string -> int * int -> string * int * int * int</code></pre><div class="info">
43
<code class="code">line_of_loc fname loc</code> reads the file <code class="code">fname</code> up to the
44
location <code class="code">loc</code> and returns the real input file, the line number
45
and the characters location in the line; the real input file
46
can be different from <code class="code">fname</code> because of possibility of line
47
directives typically generated by /lib/cpp.<br>
49
<pre><span class="keyword">val</span> <a name="VALloc_name"></a>loc_name : <code class="type">string ref</code></pre><div class="info">
50
Name of the location variable used in grammars and in the predefined
51
quotations for OCaml syntax trees. Default: <code class="code">loc</code><br>
b'\\ No newline at end of file'