anchor.diff:  analyze_result(show_succ, Args, Analysis) ->
     {Args, Analysis#analysis{show_succ = true}};
   analyze_result(no_spec, Args, Analysis) ->
  -  {Args, Analysis#analysis{no_spec = true}}.
  +  {Args, Analysis#analysis{no_spec = true}};
  +analyze_result({pa, Dir}, Args, Analysis) ->
  +  code:add_patha(Dir),
  +  {Args, Analysis};
  +analyze_result({pz, Dir}, Args, Analysis) ->
  +  code:add_pathz(Dir),
  +  {Args, Analysis}.
   
   %%--------------------------------------------------------------------
   %% File processing.
  
positive.code:    -I include_dir
         pass the include_dir to TypEr
         (The syntax of includes is the same as that used by \"erlc\".)
     --version (or -v)
         prints the Typer version and exits
     --help (or -h)
  
negative.code: help_message() ->
    S = <<" Usage: typer [--help] [--version] [--plt PLT] [--edoc]
                [--show | --show-exported | --annotate | --annotate-inc-files]
                [-Ddefine]* [-I include_dir]* [-pa dir]* [-pz dir]*
                [-T application]* [-r] file*
  
   Options:
     -r dir*
  