X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_position.ml;h=6d69ecb19dd1575df465439519d2456372ac3468;hb=35dccbd3999a8c3bb1dc9e96e21b69a39f44fc6f;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..6d69ecb 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