Fix gyson#20 (gyson#22)

* Add regression test for gyson#20 * Allow functions without argument brackets. Fix gyson#20. Co-authored-by: Manuel Bärenz <m.baerenz@sonnen.de>
turion · Dec 25, 2020 · 57262fe · 57262fe
1 parent 25e4ef6
commit 57262fe
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/lib/ex_type/custom_env.ex b/lib/ex_type/custom_env.ex
@@ -34,6 +34,13 @@ defmodule ExType.CustomEnv do
 
       (defs ++ defps)
       # support "mix type" with filter
+      |> Enum.map(fn
+        {{:when, meta_when, [{name, meta, args}, guards]}, block} ->
+          {{:when, meta_when, [{name, meta, args || []}, guards]}, block}
+
+        {{name, meta, args}, block} ->
+          {{name, meta, args || []}, block}
+      end)
       |> Enum.map(fn
         {{:when, _, [{name, _meta, args}, _guards]} = call, block} ->
           {call, block, name, length(args)}

diff --git a/test/ex_type/checker_test_case.ex b/test/ex_type/checker_test_case.ex
@@ -32,4 +32,10 @@ defmodule ExType.CheckerTestCase do
         other
     end
   end
+
+  @spec test_case_3() :: integer()
+
+  def test_case_3 do
+    23
+  end
 end
-Original file line number
+Diff line change
@@ Expand Up / @@ -32,4 +32,10 @@ defmodule ExType.CheckerTestCase do @@
             other
         end
       end
+      @spec test_case_3() :: integer()
+      def test_case_3 do
+      end
     end