Merge branch 'jam/dialyzer-format-fixes' into base

Author: l4e21

lib/examples/e_node.ex

@@ -32,13 +32,13 @@ defmodule Examples.ENode do
   end
 
   @spec start_two_different_nodes() ::
-          {pid()} | {:error, :failed_to_start_node}
+          {:ok, pid(), pid()} | {:error, :failed_to_start_node}
   def start_two_different_nodes() do
     assert {:ok, pid1} = Anoma.LocalDomain.OTPApplication.start_node()
     assert {:ok, pid2} = Anoma.LocalDomain.OTPApplication.start_node()
 
     assert pid1 != pid2
 
-    {pid1, pid2}
+    {:ok, pid1, pid2}
   end
 end

lib/local_domain/system/prover.ex

@@ -26,9 +26,9 @@ defmodule Anoma.LocalDomain.System.Prover do
   end
 
   @callback prove(binary(), term(), term()) ::
-              {:ok, term()} | {:error, term()}
+              :ok | {:ok, term()} | {:error, term()}
   @callback verify(binary(), term(), term()) ::
-              {:ok, term()} | {:error, term()}
+              :ok | {:ok, term()} | {:error, term()}
 
   def get_systems(node_id) do
     Anoma.LocalDomain.Storage.read_local(node_id, ~k"/prover/systems")

mix.exs

@@ -14,8 +14,8 @@ defmodule Anoma.LocalDomain.MixProject do
   # Run "mix help compile.app" to learn about applications.
   def application do
     [
-      extra_applications: [:logger, :observer, :wx],
-      included_applications: [:anoma],
+      extra_applications: [:logger],
+      included_applications: [],
       mod: {Anoma.LocalDomain.OTPApplication, []}
     ]
   end

test/node_test.exs

@@ -7,7 +7,7 @@ defmodule NodeTest do
     Examples.ENode.stop_node(pid)
     pid = Examples.ENode.extra_node_fails()
     Examples.ENode.stop_node(pid)
-    {pid1, pid2} = Examples.ENode.start_two_different_nodes()
+    {:ok, pid1, pid2} = Examples.ENode.start_two_different_nodes()
     Examples.ENode.stop_node(pid1)
     Examples.ENode.stop_node(pid2)
   end