✨ Add code location info

React-Analysis · Nov 28, 2024 · d95b99a · d95b99a
1 parent 9656881
commit d95b99a
Show file tree

Hide file tree

Showing 7 changed files with 1,421 additions and 1,455 deletions.
diff --git a/bin/native/main.ml b/bin/native/main.ml
@@ -58,11 +58,11 @@ let () =
   in
   Arg.parse speclist (fun x -> filename := x) usage_msg;
   if String.is_empty !filename then Arg.usage speclist usage_msg
-  else if !opt_parse_js then (
-    let js_syntax, _ = Js_syntax.parse !filename in
-    print_endline (Js_syntax.show js_syntax);
-    let prog = Js_syntax.convert js_syntax in
-    Sexp.pp_hum Stdlib.Format.std_formatter (Syntax.Prog.sexp_of_t prog))
+  else if !opt_parse_js then failwith "Not implemented"
+    (* (let js_syntax, _ = Js_syntax.parse !filename in *)
+    (* print_endline (Js_syntax.show js_syntax); *)
+    (* let prog = Js_syntax.convert js_syntax in *)
+    (* Sexp.pp_hum Stdlib.Format.std_formatter (Syntax.Prog.sexp_of_t prog)) *)
   else (
     Fmt_tty.setup_std_outputs ();
     Logs.set_reporter (Logs_fmt.reporter ());

diff --git a/lib/interp.ml b/lib/interp.ml
@@ -259,7 +259,7 @@ end
 let rec eval : type a. a Expr.t -> value =
  fun expr ->
   Logger.eval expr;
-  match expr with
+  match expr.desc with
   | Const Unit -> Unit
   | Const (Bool b) -> Bool b
   | Const (Int i) -> Int i