Make minor updates to the extraction of spans

1 files changed, 5 insertions, 4 deletions

diff --git a/compiler/ExtractTypes.ml b/compiler/ExtractTypes.ml
index 4dcefabc..3a81e6fe 100644
--- a/compiler/ExtractTypes.ml
+++ b/compiler/ExtractTypes.ml
@@ -1816,11 +1816,12 @@ let extract_comment (fmt : F.formatter) (sl : string list) : unit =
 let extract_comment_with_span (fmt : F.formatter) (sl : string list)
     (span : Meta.span) : unit =
   let file = match span.file with Virtual s | Local s -> s in
+  let loc_to_string (l : Meta.loc) : string =
+    string_of_int l.line ^ ":" ^ string_of_int l.col
+  in
   let span =
-    "Source: '" ^ file ^ "': lines "
-    ^ string_of_int span.beg_loc.line
-    ^ "-"
-    ^ string_of_int span.end_loc.line
+    "Source: '" ^ file ^ "', lines " ^ loc_to_string span.beg_loc ^ "-"
+    ^ loc_to_string span.end_loc
   in
   extract_comment fmt (sl @ [ span ])