Fix formatting call_intersect error

Author: Premwoik

lib/gradient/elixir_expr.ex

@@ -55,6 +55,10 @@ defmodule Gradient.ElixirExpr do
     "\'" <> List.to_string(charlist) <> "\'"
   end
 
+  def pp_expr({:remote, _, _, _} = remote_name) do
+    pp_name(remote_name)
+  end
+
   def pp_expr({:cons, _, _, _} = cons) do
     case cons_to_int_list(cons) do
       {:ok, l} ->
@@ -291,6 +295,9 @@ defmodule Gradient.ElixirExpr do
       {:throw, :not_found} ->
         # throw
         pp_expr(type) <> ", " <> pp_expr(var) <> " -> " <> pp_expr(body)
+
+      {_variable, :not_found} ->
+        pp_expr(type) <> ", " <> pp_expr(var) <> " -> " <> pp_expr(body)
     end
   end
 
@@ -482,6 +489,9 @@ defmodule Gradient.ElixirExpr do
   defp pp_cons({:cons, _, h, {:var, _, _} = v}), do: pp_expr(h) <> " | " <> pp_expr(v)
   defp pp_cons({:cons, _, h, t}), do: pp_expr(h) <> ", " <> pp_cons(t)
 
+  defp pp_name({:remote, _, {:var, _, _} = var, {:atom, _, n}}),
+    do: pp_expr(var) <> "." <> to_string(n)
+
   defp pp_name({:remote, _, {:atom, _, m}, {:atom, _, n}}),
     do: ElixirFmt.parse_module(m) <> to_string(n)
 

test/examples/Elixir.CallRemoteException.beam

@@ -0,0 +1,22 @@
+defmodule CallRemoteException do
+  def call(conn, opts) do
+    try do
+      :ok
+    rescue
+      e in Plug.Conn.WrapperError ->
+        exception = Exception.normalize(:error, e.reason, e.stack)
+        _ = Sentry.capture_exception(exception, stacktrace: e.stack, event_source: :plug)
+        Plug.Conn.WrapperError.reraise(e)
+
+      e ->
+        _ = Sentry.capture_exception(e, stacktrace: __STACKTRACE__, event_source: :plug)
+        :erlang.raise(:error, e, __STACKTRACE__)
+    catch
+      kind, reason ->
+        message = "Uncaught #{kind} - #{inspect(reason)}"
+        stack = __STACKTRACE__
+        _ = Sentry.capture_message(message, stacktrace: stack, event_source: :plug)
+        :erlang.raise(kind, reason, stack)
+    end
+  end
+end

test/examples/call_remote_exception.ex

@@ -239,6 +239,52 @@ defmodule Gradient.ElixirFmtTest do
     end
   end
 
+  test "format call_intersect error" do
+    error =
+      {:type_error, :call_intersect, 7,
+       [
+         {:type, 0, :bounded_fun,
+          [
+            {:type, 0, :fun,
+             [
+               {:type, 0, :product,
+                [
+                  {:atom, 0, :error},
+                  {:type, 0, :any, []},
+                  {:user_type, [file: 'Elixir.Exception.erl', location: 0], :stacktrace, []}
+                ]},
+               {:user_type, [file: 'Elixir.Exception.erl', location: 0], :t, []}
+             ]},
+            []
+          ]},
+         {:type, 0, :bounded_fun,
+          [
+            {:type, 0, :fun,
+             [
+               {:type, 0, :product,
+                [
+                  {:user_type, [file: 'Elixir.Exception.erl', location: 0], :non_error_kind, []},
+                  {:var, 0, :payload},
+                  {:user_type, [file: 'Elixir.Exception.erl', location: 0], :stacktrace, []}
+                ]},
+               {:var, 0, :payload}
+             ]},
+            []
+          ]}
+       ], {:remote, 7, {:atom, 7, Exception}, {:atom, 7, :normalize}}}
+
+    res = ElixirFmt.format_error(error, [])
+
+    expected = ~s"""
+    The type of the function Exception.normalize, called on line 7 doesn't match the surrounding calling context.
+    It has the following type
+    \e[35m(:error, any(), stacktrace() -> t())\e[0m
+    \e[35m(non_error_kind(), payload, stacktrace() -> payload)\e[0m\n
+    """
+
+    assert expected == :erlang.iolist_to_binary(res)
+  end
+
   @tag :skip
   test "format_expr_type_error/4" do
     opts = [forms: basic_erlang_forms()]

test/gradient/elixir_fmt_test.exs

@@ -28,7 +28,9 @@ defmodule Gradient.ExprData do
       {"char", {:char, 0, ?c}, "?c"},
       {"float", {:float, 0, 12.0}, "12.0"},
       {"integer", {:integer, 0, 1}, "1"},
-      {"erlang string", {:string, 0, 'ala ma kota'}, ~s('ala ma kota')}
+      {"erlang string", {:string, 0, 'ala ma kota'}, ~s('ala ma kota')},
+      {"remote name", {:remote, 7, {:atom, 7, Exception}, {:atom, 7, :normalize}},
+       "Exception.normalize"}
     ]
   end