X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_position.ml;h=217de6b660064109c2154a4ca1c894b6aae19e4c;hb=ef79993b1016fbaa73b0993c88a16b23f8cb7408;hp=01c230cac4548ed484642ba016de7a0a0ef4b9c2;hpb=cda83e5ec171672a59966d2bd9cd28bd7a8fe083;p=tiger.ml.git diff --git a/compiler/src/lib/tiger/tiger_position.ml b/compiler/src/lib/tiger/tiger_position.ml index 01c230c..217de6b 100644 --- a/compiler/src/lib/tiger/tiger_position.ml +++ b/compiler/src/lib/tiger/tiger_position.ml @@ -19,3 +19,15 @@ let of_lexing_positions ; end_char = ecnum - ebol ; end_line = eline } + +let to_string + { file + ; start_char + ; start_line + ; end_char + ; end_line + } += + Printf.sprintf + "file: %S, between (line/char) %d/%d and %d/%d" + file start_line start_char end_line end_char