Add more pointers, remove some cruft

Author: erszcz

examples/typed_gen_server/lib/typed_gen_server/stage1.ex

@@ -23,7 +23,6 @@ defmodule TypedGenServer.Stage1.Server do
   end
 
   @spec echo(pid(), String.t()) :: String.t()
-  # @spec echo(pid(), String.t()) :: {:echo_req, String.t()}
   def echo(pid, message) do
     case annotate_type(GenServer.call(pid, {:echo_req, message}), Contract.Echo.res()) do
       # case call_echo(pid, message) do

examples/typed_gen_server/lib/typed_gen_server/stage2.ex

@@ -27,7 +27,6 @@ defmodule TypedGenServer.Stage2.Server do
   end
 
   @spec echo(t(), String.t()) :: String.t()
-  # @spec echo(t(), String.t()) :: {:echo_req, String.t()}
   def echo(pid, message) do
     case annotate_type(GenServer.call(pid, {:echo_req, message}), Contract.Echo.res()) do
       # case call_echo(pid, message) do
@@ -81,6 +80,9 @@ end
 defmodule Test.TypedGenServer.Stage2.Server do
   alias TypedGenServer.Stage2.Server
 
+  ## Run with:
+  ##   recompile(); Test.TypedGenServer.Stage2.Server.test()
+  ##
   ## Typecheck with:
   ##   recompile(); Gradient.type_check_file(:code.which( Test.TypedGenServer.Stage2.Server ), [:infer])
   ##   recompile(); Gradient.type_check_file(:code.which( Test.TypedGenServer.Stage2.Server ), [:infer, ex_check: false])

examples/typed_gen_server/lib/typed_gen_server/stage4.ex

@@ -12,6 +12,7 @@ defmodule TypedGenServer.Stage4.Server do
   ##
   ## Then use the following to recheck the file on any change:
   ##   recompile(); Gradient.type_check_file(:code.which( TypedGenServer.Stage4.Server ), [:infer])
+  ##   recompile(); Gradient.type_check_file(:code.which( TypedGenServer.Stage4.Server ), [:infer, ex_check: false])
 
   @opaque t :: pid()