Report error in Reason syntax when the error happens in a Reason file

Author: chenglou

Diff for: jscomp/Makefile

@@ -342,7 +342,7 @@ BSB_SRCS= bsb_config\
 	oCamlRes\
 	bsb_templates\
 	bsb_init
-SUPER_ERRORS_SRCS=super_misc super_warnings super_typecore super_typetexp super_location super_main
+SUPER_ERRORS_SRCS=super_reason_oprint super_misc super_warnings super_typemod super_typecore super_typetexp super_location super_main
 
 BSB_CMXS=$(addprefix bsb/, $(addsuffix .cmx, $(BSB_SRCS)))
 BSB_CMOS=$(addprefix bsb/, $(addsuffix .cmo, $(BSB_SRCS)))

Diff for: jscomp/super_errors/README.md

@@ -1,4 +1,4 @@
-Hello! This is the subdirectory for the new, newcomer-friendly OCaml/Reason warning & error report system. Most of the logic are lifted from the compiler (https://github.com/ocaml/ocaml/tree/4.02). The convention here is to have a `super_foo` for each corresponding compiler's file `foo`. So, for example, `warnings.ml` becomes `super_warnings.ml`. The exception is `super_main`, the entry point.
+Hello! This is the subdirectory for the new, newcomer-friendly OCaml/Reason warning & error report system. Most of the logic are lifted from the compiler (https://github.com/ocaml/ocaml/tree/4.02). The convention here is to have a `super_foo` for each corresponding compiler's file `foo`. So, for example, `warnings.ml` becomes `super_warnings.ml`. The exception is `super_main`, `super_reason_oprint` and `super_misc`. `super_main` is the entry point.
 
 Feel free to submit new ones or tweak existing messages in these files! They also have more precise comments in them that tells you how they work.
 

Diff for: jscomp/super_errors/super_location.ml

@@ -9,8 +9,6 @@ open Ctype
 open Format
 open Printtyp
 
-open Location
-
 let file_lines filePath =
   (* open_in_bin works on windows, as opposed to open_in, afaik? *)
   let chan = open_in_bin filePath in
@@ -33,23 +31,23 @@ let setup_colors () =
 let print_filename ppf file =
   Format.fprintf ppf "%s" (Location.show_filename file)
 
-let print_loc ppf loc =
+let print_loc ppf (loc: Location.t) =
   setup_colors ();
   let (file, _, _) = Location.get_pos_info loc.loc_start in
   if file = "//toplevel//" then begin
-    if highlight_locations ppf [loc] then () else
+    if Location.highlight_locations ppf [loc] then () else
       fprintf ppf "Characters %i-%i"
               loc.loc_start.pos_cnum loc.loc_end.pos_cnum
   end else begin
     fprintf ppf "@{<filename>%a@}" print_filename file;
   end
 ;;
 
-let print ~is_warning intro ppf loc =
+let print ~is_warning intro ppf (loc: Location.t) =
   setup_colors ();
   (* TODO: handle locations such as _none_ and "" *)
   if loc.loc_start.pos_fname = "//toplevel//"
-  && highlight_locations ppf [loc] then ()
+  && Location.highlight_locations ppf [loc] then ()
   else
     if is_warning then 
       fprintf ppf "@[@{<info>%s@}@]@," intro
@@ -106,7 +104,7 @@ let rec super_error_reporter ppf ({Location.loc; msg; sub; if_highlight} as err)
 
 (* extracted from https://github.com/ocaml/ocaml/blob/4.02/parsing/location.ml#L280 *)
 (* This is the warning report entry point. We'll replace the default printer with this one *)
-let super_warning_printer loc ppf w =
+let super_warning_printer (loc: Location.t) ppf w =
   if Warnings.is_active w then begin
     Super_misc.setup_colors ppf;
     Misc.Color.setup !Clflags.color;

Diff for: jscomp/super_errors/super_main.ml

@@ -3,3 +3,4 @@ let setup () =
   Super_location.setup ();
   Super_typetexp.setup ();
   Super_typecore.setup ();
+  Super_typemod.setup ();

Diff for: jscomp/super_errors/super_misc.ml

@@ -21,7 +21,7 @@ let pad ?(ch=' ') content n =
 let leading_space_count str =
   let rec _leading_space_count str str_length current_index =
     if current_index == str_length then current_index
-    else if (str.[current_index]) <> ' ' then current_index 
+    else if (str.[current_index]) <> ' ' then current_index
     else _leading_space_count str str_length (current_index + 1)
   in
   _leading_space_count str (String.length str) 0
@@ -63,7 +63,7 @@ let print_file ~is_warning ~range:((start_line, start_char), (end_line, end_char
     explicitly tell Format to treat them as length 1 below *)
   let separator = if columns_to_cut = 0 then "│" else "┆" in
   (* coloring *)
-  let (highlighted_line_number, highlighted_content): (string -> string -> unit, Format.formatter, unit) format * (unit, Format.formatter, unit) format = 
+  let (highlighted_line_number, highlighted_content): (string -> string -> unit, Format.formatter, unit) format * (unit, Format.formatter, unit) format =
     if is_warning then ("@{<info>%s@}@{<dim> @<1>%s @}", "@{<info>")
     else ("@{<error>%s@}@{<dim> @<1>%s @}", "@{<error>")
   in
@@ -125,6 +125,23 @@ let print_file ~is_warning ~range:((start_line, start_char), (end_line, end_char
   done;
   fprintf ppf "@]" (* v *)
 
+let is_reason_file file =
+  let extension = Ext_filename.get_extension file in
+  extension = ".re" || extension = ".rei"
+
+let setup_reason_syntax_printing_if_file_is_reason loc =
+  let (file, _, _) = Location.get_pos_info loc.Location.loc_start in
+  if is_reason_file file then begin
+    Oprint.out_value := Super_reason_oprint.print_out_value;
+    Oprint.out_type := Super_reason_oprint.print_out_type;
+    Oprint.out_class_type := Super_reason_oprint.print_out_class_type;
+    Oprint.out_module_type := Super_reason_oprint.print_out_module_type;
+    Oprint.out_sig_item := Super_reason_oprint.print_out_sig_item;
+    Oprint.out_signature := Super_reason_oprint.print_out_signature;
+    Oprint.out_type_extension := Super_reason_oprint.print_out_type_extension;
+    Oprint.out_phrase := Super_reason_oprint.print_out_phrase
+  end
+
 let setup_colors ppf =
   Format.pp_set_formatter_tag_functions ppf
     ({ (Format.pp_get_formatter_tag_functions ppf () ) with

Diff for: jscomp/super_errors/super_misc.mli

@@ -1,5 +1,7 @@
+val print_file: is_warning:bool -> range:(int * int) * (int * int) -> lines:string array -> Format.formatter -> unit -> unit
 (** Range coordinates all 1-indexed, like for editors. Otherwise this code
   would have way too many off-by-one errors *)
-val print_file: is_warning:bool -> range:(int * int) * (int * int) -> lines:string array -> Format.formatter -> unit -> unit
 
 val setup_colors: Format.formatter -> unit
+
+val setup_reason_syntax_printing_if_file_is_reason: Location.t -> unit