diff options
Diffstat (limited to 'camlp4/lib/stdpp.mli')
| -rw-r--r-- | camlp4/lib/stdpp.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/camlp4/lib/stdpp.mli b/camlp4/lib/stdpp.mli index 069e56bee3..a260cc69df 100644 --- a/camlp4/lib/stdpp.mli +++ b/camlp4/lib/stdpp.mli @@ -14,18 +14,18 @@ (** Standard definitions. *) -exception Exc_located of (int * int) and exn; +exception Exc_located of Token.flocation and 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]. *) -value raise_with_loc : (int * int) -> exn -> 'a; +value raise_with_loc : Token.flocation -> 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]. *) -value line_of_loc : string -> (int * int) -> (string * int * int * int); +value line_of_loc : string -> Token.flocation -> (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 |