X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_position.ml;h=217de6b660064109c2154a4ca1c894b6aae19e4c;hp=01c230cac4548ed484642ba016de7a0a0ef4b9c2;hb=7c14a966d15aab098a4239b6ae6a3fc207504e7f;hpb=2eadd9297a93ac7776a810ed44a547b67dddf32b 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