2003-11-21 08:10:57 -08:00
|
|
|
(***********************************************************************)
|
|
|
|
|
(* *)
|
2011-07-27 07:17:02 -07:00
|
|
|
(* OCaml *)
|
2003-11-21 08:10:57 -08:00
|
|
|
(* *)
|
|
|
|
|
(* Damien Doligez, projet Moscova, INRIA Rocquencourt *)
|
|
|
|
|
(* *)
|
|
|
|
|
(* Copyright 2003 Institut National de Recherche en Informatique et *)
|
|
|
|
|
(* en Automatique. All rights reserved. This file is distributed *)
|
|
|
|
|
(* under the terms of the Q Public License version 1.0. *)
|
|
|
|
|
(* *)
|
|
|
|
|
(***********************************************************************)
|
|
|
|
|
|
|
|
|
|
open Instruct;;
|
|
|
|
|
open Lexing;;
|
2005-08-25 08:35:16 -07:00
|
|
|
open Location;;
|
2003-11-21 08:10:57 -08:00
|
|
|
open Primitives;;
|
|
|
|
|
open Source;;
|
|
|
|
|
|
|
|
|
|
let get_desc ev =
|
2005-08-25 08:35:16 -07:00
|
|
|
let loc = ev.ev_loc in
|
2011-08-04 07:59:13 -07:00
|
|
|
Printf.sprintf "file %s, line %d, characters %d-%d"
|
|
|
|
|
loc.loc_start.pos_fname loc.loc_start.pos_lnum
|
|
|
|
|
(loc.loc_start.pos_cnum - loc.loc_start.pos_bol + 1)
|
|
|
|
|
(loc.loc_end.pos_cnum - loc.loc_start.pos_bol + 1)
|
2003-11-21 08:10:57 -08:00
|
|
|
;;
|
