Do no infer signatures on Elixir first pass

Author: josevalim

Makefile

@@ -95,9 +95,11 @@ $(KERNEL): lib/elixir/src/* lib/elixir/lib/*.ex lib/elixir/lib/*/*.ex lib/elixir
 		echo "==> bootstrap (compile)"; \
 		$(ERL) -s elixir_compiler bootstrap -s erlang halt; \
 		"$(MAKE)" unicode; \
+		cd lib/elixir && ../../$(ELIXIRC) "lib/**/*.ex" -o ebin --no-infer-signatures; \
+	else \
+		@ echo "==> elixir (compile)"; \
+		$(Q) cd lib/elixir && ../../$(ELIXIRC) "lib/**/*.ex" -o ebin; \
 	fi
-	@ echo "==> elixir (compile)";
-	$(Q) cd lib/elixir && ../../$(ELIXIRC) "lib/**/*.ex" -o ebin;
 
 $(APP): lib/elixir/src/elixir.app.src lib/elixir/ebin VERSION $(GENERATE_APP)
 	$(Q) $(GENERATE_APP) $(VERSION)

bin/elixirc

@@ -12,6 +12,7 @@ Usage: $(basename "$0") [elixir switches] [compiler switches] [.ex files]
   --ignore-module-conflict  Does not emit warnings if a module was previously defined
   --no-debug-info           Does not attach debug info to compiled modules
   --no-docs                 Does not attach documentation to compiled modules
+  --no-infer-signatures     Does not infer signatures for compiled modules
   --profile time            Profile the time to compile modules
   --verbose                 Prints compilation status
   --warnings-as-errors      Treats warnings as errors and return non-zero exit status

bin/elixirc.bat

@@ -21,6 +21,7 @@ echo.
 echo   --ignore-module-conflict  Does not emit warnings if a module was previously defined
 echo   --no-debug-info           Does not attach debug info to compiled modules
 echo   --no-docs                 Does not attach documentation to compiled modules
+echo   --no-infer-signatures     Does not infer signatures for compiled modules
 echo   --profile time            Profile the time to compile modules
 echo   --verbose                 Prints compilation status
 echo   --warnings-as-errors      Treats warnings as errors and returns non-zero exit status

lib/elixir/lib/kernel/cli.ex

@@ -320,6 +320,13 @@ defmodule Kernel.CLI do
     parse_argv(t, %{config | compiler_options: compiler_options})
   end
 
+  defp parse_argv([~c"--no-infer-signatures" | t], %{mode: :elixirc} = config) do
+    parse_argv(t, %{
+      config
+      | compiler_options: [{:infer_signatures, false} | config.compiler_options]
+    })
+  end
+
   defp parse_argv([~c"--ignore-module-conflict" | t], %{mode: :elixirc} = config) do
     compiler_options = [{:ignore_module_conflict, true} | config.compiler_options]
     parse_argv(t, %{config | compiler_options: compiler_options})