blob: 68c0cb6adafb928faaa1084bb6bfd40fc25a7bdb (
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
34
35
36
37
|
(* camlp4r *)
(***********************************************************************)
(* *)
(* Camlp4 *)
(* *)
(* Daniel de Rauglaudre, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 2002 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
(* This file has been generated by program: do not edit! *)
(** Standard definitions. *)
exception Exc_located of (int * int) * exn;;
(** [Exc_located loc e] is an encapsulation of the exception [e] with
the input location [loc]. To be used in quotation expanders
and in grammars to specify some input location for an error.
Do not raise this exception directly: rather use the following
function [raise_with_loc]. *)
val raise_with_loc : int * int -> exn -> 'a;;
(** [raise_with_loc loc e], if [e] is already the exception [Exc_located],
re-raise it, else raise the exception [Exc_located loc e]. *)
val line_of_loc : string -> int * int -> string * int * int * int;;
(** [line_of_loc fname loc] reads the file [fname] up to the
location [loc] and returns the real input file, the line number
and the characters location in the line; the real input file
can be different from [fname] because of possibility of line
directives typically generated by /lib/cpp. *)
val loc_name : string ref;;
(** Name of the location variable used in grammars and in the predefined
quotations for OCaml syntax trees. Default: [loc] *)
|
