%% This tests that warnings do appear when there is no specific
%% information about the types and the variables are bound.

-module(whereis_vars12).
-export([start/2]).

start(AnAtom, Fun) ->
  case whereis(AnAtom) of
    undefined ->
      Pid = spawn(Fun),
      OtherAtom = kostis,
      case Pid =:= self() of
        true -> ok;
        false ->
          if
            AnAtom =:= OtherAtom -> register(OtherAtom, Pid);
            AnAtom =/= OtherAtom -> ok
	  end
      end;
    P when is_pid(P) ->
      ok
  end.