Previous Next Contents

6.6   Module Stdpp: 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.



Previous Next Contents