Test --infer option

Author: Premwoik

test/examples/type/Elixir.ListInfer.beam

@@ -0,0 +1,9 @@
+defmodule ListInfer do
+  def f() do
+    v = [1, 2]
+    g(v)
+  end
+
+  @spec g(integer()) :: any()
+  def g(val), do: val + 1
+end

test/examples/type/list_infer.ex

@@ -3,6 +3,8 @@ defmodule Mix.Tasks.GradientTest do
 
   import ExUnit.CaptureIO
 
+  @no_problems_msg "No problems found!"
+
   @examples_path "test/examples/"
   @type_path Path.join([@examples_path, "type"])
 
@@ -153,7 +155,13 @@ defmodule Mix.Tasks.GradientTest do
   end
 
   test "--infer option" do
-    # FIXME provide implementation
+    beam = "Elixir.ListInfer.beam"
+    output = run_task(@type_path, ["--no-compile", "--", beam])
+    assert String.contains?(output, @no_problems_msg)
+
+    output = run_task(@type_path, ["--no-compile", "--infer", "--", beam])
+    assert not String.contains?(output, @no_problems_msg)
+    assert String.contains?(output, "list_infer.ex: The variable on line 4")
   end
 
   test "--code-path option" do