PoC for adding a %todo extension that warns with proper locations

Author: zth

jscomp/build_tests/super_errors/expected/todo_with_no_payload.res.expected

@@ -0,0 +1,11 @@
+
+  Warning number 110
+  /.../fixtures/todo_with_no_payload.res:1:38-42
+
+  1 │ let implementMeLater = (): string => %todo
+  2 │ 
+  3 │ let x = implementMeLater()
+
+  Todo found.
+
+This code will crash if it's run. Be sure to finish it before running your program.

jscomp/build_tests/super_errors/expected/todo_with_payload.res.expected

@@ -0,0 +1,12 @@
+
+  Warning number 110
+  /.../fixtures/todo_with_payload.res:1:38-85
+
+  1 │ let implementMeLater = (): string => %todo("This should return a string 
+    │ eventually.")
+  2 │ 
+  3 │ let x = implementMeLater()
+
+  Todo found: This should return a string eventually.
+
+This code will crash if it's run. Be sure to finish it before running your program.

jscomp/build_tests/super_errors/fixtures/todo_with_no_payload.res

@@ -0,0 +1,5 @@
+let implementMeLater = (): string => %todo
+
+let x = implementMeLater()
+
+Js.log(x->Js.String2.includes("x"))

jscomp/build_tests/super_errors/fixtures/todo_with_payload.res

@@ -0,0 +1,5 @@
+let implementMeLater = (): string => %todo("This should return a string eventually.")
+
+let x = implementMeLater()
+
+Js.log(x->Js.String2.includes("x"))

jscomp/ext/warnings.ml

@@ -86,6 +86,7 @@ type t =
   | Bs_integer_literal_overflow (* 107 *)
   | Bs_uninterpreted_delimiters of string (* 108 *)
   | Bs_toplevel_expression_unit of (string * topLevelUnitHelp) option (* 109 *)
+  | Bs_todo of string option (* 110 *)
 
 (* If you remove a warning, leave a hole in the numbering.  NEVER change
    the numbers of existing warnings.
@@ -151,6 +152,7 @@ let number = function
   | Bs_integer_literal_overflow -> 107
   | Bs_uninterpreted_delimiters _ -> 108
   | Bs_toplevel_expression_unit _ -> 109
+  | Bs_todo _ -> 110
 
 let last_warning_number = 110
 
@@ -509,6 +511,11 @@ let message = function
           | Other -> "yourExpression") in
           Printf.sprintf "\n\n  Possible solutions:\n  - Assigning to a value that is then ignored: `let _ = %s`\n  - Piping into the built-in ignore function to ignore the result: `%s->ignore`" helpText helpText
         | _ -> "") 
+    | Bs_todo maybe_text -> (
+      match maybe_text with 
+      | None -> "Todo found." 
+      | Some todo -> "Todo found: " ^ todo
+    ) ^ "\n\nThis code will crash if it's run. Be sure to finish it before running your program."
 
 let sub_locs = function
   | Deprecated (_, def, use) ->

jscomp/ext/warnings.mli

@@ -79,6 +79,7 @@ type t =
   | Bs_integer_literal_overflow (* 107 *)
   | Bs_uninterpreted_delimiters of string (* 108 *)
   | Bs_toplevel_expression_unit of (string * topLevelUnitHelp) option (* 109 *)
+  | Bs_todo of string option (* 110 *)
 
 val parse_options : bool -> string -> unit
 

jscomp/frontend/ast_exp_extension.ml

@@ -26,6 +26,15 @@ open Ast_helper
 let handle_extension e (self : Bs_ast_mapper.mapper)
     (({txt; loc}, payload) : Parsetree.extension) =
   match txt with
+  | "todo" ->
+    Location.prerr_warning e.Parsetree.pexp_loc
+      (Bs_todo
+         (match Ast_payload.is_single_string payload with
+         | Some (s, _) -> Some s
+         | None -> None));
+    Exp.apply ~loc
+      (Exp.ident ~loc {txt = Longident.parse "Obj.magic"; loc})
+      [(Nolabel, Exp.construct ~loc {txt = Longident.Lident "()"; loc} None)]
   | "ffi" -> Ast_exp_handle_external.handle_ffi ~loc ~payload
   | "bs.raw" | "raw" ->
     Ast_exp_handle_external.handle_raw ~kind:Raw_exp loc payload