let string_of_location = function Linechar (l, c) -> Printf.sprintf "%d,%d" l c | Linechars (l, (c1,c2)) -> Printf.sprintf "%d,%d-%d" l c1 c2 | Char c -> string_of_int c | Chars (c1,c2) -> Printf.sprintf "%d-%d" c1 c2